Archeia

The Ada Microkernel Project (or TAMP): The plan

Following on from my hello world style kernel, I've decided to post a plan for what I intend to accomplish in regards to an OS design.

I've been thinking about OS designs for over 10 years on and off and have wanted to develop one.

Interfacing to C from Ada95

In this tutorial I will take you through the steps of interfacing to C variables and functions.

Dot notation for tagged types

Using the code from the interface types tutorial, we can now use the dot notation provided by Ada 2005.

Interface types

Carrying on from the abstract types tutorial, the natural progression is to add multiple inheritance.

Abstract types

This tutorial will show you what an abstract type is in Ada. I will also provide information on how the Ada type equates to the C++ class.

An abstract type provides the "specification" for a family of a user defined types.