Archeia

First simple app for ARM

After managing to update the build scripts for TAMP's compilers, I have managed to build and run a very simple application on an STM32F4DISCOVERY board in Ada.

TAMP: Some success

After spending about 2 weeks basically compiling compilers pretty much constantly, I've managed to build gnat for arm-none-eabi with tools and without the runtime system, which is the most important part.

This isn't supported by AdaCore in the FSF release so I've had to hack into the makefi

Tamp started

I have been working on getting the basic toolchain created ready for the development of TAMP.

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.

An Ada95 "hello world" style kernel

Conversations on #Ada keep coming back to operating systems and their kernels so I decided to dig out some code I wrote in 2000 and get it working again. I intended this code to be the basis of a microkernel written in Ada.

Persistence makes you capable

During my research of operating systems kernels, I got side tracked towards security mechanisms in operating systems and their kernels.