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
	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!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Stanford's Pintos Course
Date: Wed, 18 Nov 2015 18:18:37 -0800
Organization: A noiseless patient Spider
Message-ID: <87oaeqlojm.fsf@nightsong.com>
References: <Dv93y.180362$4Z7.102379@fx09.ams1>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="560a36ee31cc4bcf69e115b311f0cc5c";
	logging-data="29805"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18aVznwKt+2Sn9lx3x5beg8"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
Cancel-Lock: sha1:N7nB13XPcWIKzQEdrYE4ChZrwlo=
	sha1:0aHq8CTnObjrVSmkciYVaLH0bYM=
Xref: news.eternal-september.org comp.lang.ada:28449
Date: 2015-11-18T18:18:37-08:00
List-Id: <comp.lang.ada>

Nick Gordon <nicholas.gordon@operamail.com> writes:
> 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 know that course you describe, but the basic features you
mentioned are pretty standard in OS's, and you could read an OS book and
implement in Ada (with some intrinsics for raw memory access etc).
Tanenbaum's old book about OS's and Minix is pretty readable, describing
a simple message passing OS written in C.  You could do something
similar in Ada.  Of course I'm sure there's newer books now as well.