Archeia

An operating system design

Conversations in #Ada on IRC yesterday turned back to developing an OS in Ada, this has actually been a goal of mine for some time. I had written a demo hello world style kernel in Ada a few years ago, so I thought I'd try to recompile it using the newest version of FSF GNAT; this failed to build.

After looking through the manuals and finding pragma Restrictions, I stripped out all the other pragmas I had in there to reduce the runtime and tried it out using these pragma restrictions; all compiled ok and it even booted on QEMU!

So, I decided to try and put together a high level design document based on thoughts that I've had over the last 10 years or so, which outlines what I want in an OS. I may even get started on this thing!

Luke

Re: your interest
Reply #2 on : Fri January 04, 2008, 20:34:20

Well, I still don't actually get the capability stuff just yet, so will be forgetting about that aspect of OS design for now.

So really, the next step is to learn about how a microkernel fits together and how to get user-space applications running on top, so that is what I'm going to be looking at next.

Last Edit: January 04, 2008, 20:35:08 by Luke

Kay-Uwe

found your blog and I'm quite interested
Reply #1 on : Fri January 04, 2008, 20:06:08

Hi Luke,

maybe this is the wrong way, but I'll get it a try. By reading your post on comp.lang.ada I was interested in the topic. I'm followed the link to your blog and found a lot of parallels in your work. After years of programming in AmigaE and a move to Mac OS X, I've started with research in the L4 mikrokernel, go over to EROS and the capability system and finaly a start learning Ada half a year ago. I'm a hobbiest programmer looking for contact to like-minded people. And I've the hope, that you're interested in an interchange of ideas.

Best regards
Kay-Uwe

Write a comment

Required fields are marked with *.

Menu:

Tags

Blogroll

An operating system design

Write a comment