Yes I think so, I downloaded the Template they provide into C:\pios\template then I saved the main.s in the the c:\pios\template\source folder and run the make command from the template folder.

I'm trying to follow the Cambridge Uni Baking Pi on-line course on OS developed but I'm stuck on the first lesson, I cannot 'make' my OS, when I run the make program I get an error: make (e=2): the system cannot find the specified file. I'm using the makefile script provided and I get the same error...