Linux and Free Software
A full Ada kernel?

How can you do a full Ada kernel?
Start from scratch
Very lengthy process
Start from a commercial Unix
Kernel sources are not available
Start from a Free Software system
Replace and enhance parts of the kernel one at a time

What about Ada run time support?
Use a proprietary Ada compiler
Cannot be easily modified
Use a Free Software Ada compiler
Make a new runtime port for this system