AdaBSD

In 1973 Unix was rewritten in C from PDP assembly.
AdaBSD is a project to build a 4.4BSD-lite based
operating system by rewriting it in Ada.

Our goal is to create an OS that is secure in realtime.

Right now the project is at a "planning" stage, and very
little code has been written.   First we will concentrate
on userland utilities.   Once most of the userland is
complete, we will begin writing a kernel.

We have decided on a mascot, Fuzzy the Octopus.

Development of AdaBSD is on OpenBSD, as it is a clean,
secure and free OS that we have been using for years.
The best way to support our project is to support OpenBSD
by donating to their effort to make an OS which is an
inspiration to AdaBSD.