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
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!1.eu.feeder.erje.net!bcyclone02.am1.xlned.com!bcyclone02.am1.xlned.com!posting2.xlned.com!feeder.cambriumusenet.nl!feed.tweaknews.nl!posting.tweaknews.nl!fx09.ams1.POSTED!not-for-mail
From: Nick Gordon <nicholas.gordon@operamail.com>
Subject: Stanford's Pintos Course
Newsgroups: comp.lang.ada
User-Agent: tin/2.2.1-20140504 ("Tober an Righ") (UNIX) (Linux/3.16.0-4-amd64
 (x86_64))
Message-ID: <Dv93y.180362$4Z7.102379@fx09.ams1>
X-Complaints-To: abuse@tweaknews.nl
NNTP-Posting-Date: Thu, 19 Nov 2015 01:22:43 UTC
Organization: Tweaknews
Date: Thu, 19 Nov 2015 01:22:43 GMT
X-Received-Bytes: 1364
X-Received-Body-CRC: 579339531
Xref: news.eternal-september.org comp.lang.ada:28447
Date: 2015-11-19T01:22:43+00:00
List-Id: <comp.lang.ada>

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.