Re: Stanford's Pintos Course

[Lucretia <laguest9000@googlemail.com>]

On Thursday, 19 November 2015 01:22:50 UTC, Nick Gordon  wrote:
> So I don't attend Stanford, and as a result as part of my undergraduate
> degree I haven't taken their operating systems course, which, I consider
> quite wonderfully, presents the students with a minimal kernel and simple
> threading support, etc. The course for the students is to improve these
> features, and implement virtual memory. The course has students doing this
> in C (naturally), but I'm wondering if a system like this could be used to
> test one's skills in OS development for any given language, so long as it 
> can interface with the kernel (which is probably to say, interface with C).
> 
> I haven't looked through it terribly thoroughly, but I'd like to know if any
> of the venerable here have experience with this system, or can recommend
> any other "frameworks" for developing OS-level code in Ada.

I don't have experience doing it, but I have built the relevent compilers and zero-overhead runtime required to do it before.

This is all you need. I assume you will be targetting ia32? If so, you can use the system GNAT and use the --RTS flag to point to your new runtime. You'll also need a linker script but that's trivial.

See my tutorial here http://wiki.osdev.org/Ada_Bare_bones for more info.

Luke.