OS written in Ada was "DDS and Ada"

[anon@att.net]

To write an OS using Gnat Ada you do not need Ada 2012, all you need is a 
working ADA compiler and knowledge of how to build an OS.

I have used Gnat 3.2, and Gnat 2007 both under Linux as well as other GNAT 
compilers under OS/2, and DOS back in the 1990s to built OSs. So, you do 
not need Ada 2012 or DOS version to build an OS.

An example of what can be done even with GNAT 3.15p is my "Protected-Mode" 
AdaBooter which replaces LIlO, GRUB and other boot loaders which execute 
in "Real-Mode".  One feature is the "Normal Boot" or light-weigh 
Virtualization system. Like you can boot DOS in true "Real-Mode" or a VM 
protected space. As for others Linux, OS/X it can loads and turns control 
over to booted Kernel or the AdaBooter can act like a simple Virtualization 
system controller. 

Do to a "Secure Risk" with use of "flat memory" including Intel 64-bit, 
I'm not saying to much about the 64-bit or the parallel version of the 
AdaBooter.

Note: It might be possible to use GNAT Ada for JAVA to build a VM based 
OS. Similar to Sun's discontinued "JavaOS".


In <ccd482d7-1693-4540-8e88-d552caa1c126@ct4g2000vbb.googlegroups.com>, Shark8 <onewingedshark@gmail.com> writes:
>On Jul 7, 8:04=A0pm, Gautier write-only <gautier_niou...@hotmail.com>
>wrote:
>> On 7 juil, 04:34, Shark8 <onewingedsh...@gmail.com> wrote:
>>
>> > Though a DOS Ada 2012 compiler might be very nice for one wishing to
>> > do an OS.
>>
>> Really?
>
>DOS is so minimal/unconstrained that one can easily make bootable
>program with a DOS compiler. I had the start of an OS (I got it to the
>point of being able to recognize commands and change video-modes)
>written purely in BP7 {100% Pascal, with the exception of something
>like 6-lines of inline assembler (to handle the keyboard/scan-codes)}.
>
>The problem currently stumping me regarding doing it in Ada is that my
>GNAT tries to hook the non-existent runtime OR (with the runtime-
>restriction pragma) gives me funny linker errors preventing a compile.
>
>
>> Anyway, if Ada 2012 is supported by GCC 4.6.1, you have your DOS Ada
>> 2012 compiler:
>>
>> http://groups.google.com/group/comp.os.msdos.djgpp/browse_frm/thread/...
>
>Oh, thanks for the lead.