From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.140.156.71 with SMTP id c68mr5968795qhc.3.1447939367982;
        Thu, 19 Nov 2015 05:22:47 -0800 (PST)
X-Received: by 10.182.144.200 with SMTP id so8mr101609obb.5.1447939367942;
 Thu, 19 Nov 2015 05:22:47 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!b51no798491qgf.0!news-out.google.com!l1ni2497igd.0!nntp.google.com!i2no5261331igv.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Thu, 19 Nov 2015 05:22:47 -0800 (PST)
In-Reply-To: <Dv93y.180362$4Z7.102379@fx09.ams1>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=90.200.204.201;
 posting-account=L2-UcQkAAAAfd_BqbeNHs3XeM0jTXloS
NNTP-Posting-Host: 90.200.204.201
References: <Dv93y.180362$4Z7.102379@fx09.ams1>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <df397912-04f5-4dbf-bda4-e06900c2ce98@googlegroups.com>
Subject: Re: Stanford's Pintos Course
From: Lucretia <laguest9000@googlemail.com>
Injection-Date: Thu, 19 Nov 2015 13:22:47 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: news.eternal-september.org comp.lang.ada:28461
Date: 2015-11-19T05:22:47-08:00
List-Id: <comp.lang.ada>

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.