From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-2.9 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,95dad97c56f9de95 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-09-25 05:21:27 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!skynet.be!skynet.be!freenix!enst!enst.fr!not-for-mail From: "M. A. Alves" Newsgroups: comp.lang.ada Subject: Re: Curiousity: pragma No_Run_Time for Gnat Date: Tue, 25 Sep 2001 14:09:34 +0000 (GMT) Organization: ENST, France Sender: comp.lang.ada-admin@ada.eu.org Message-ID: Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: avanie.enst.fr 1001419270 8153 137.194.161.2 (25 Sep 2001 12:01:10 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Tue, 25 Sep 2001 12:01:10 +0000 (UTC) To: Return-Path: X-X-Sender: Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.0.4 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: comp.lang.ada mail<->news gateway List-Unsubscribe: , List-Archive: Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org Xref: archiver1.google.com comp.lang.ada:13319 Date: 2001-09-25T14:09:34+00:00 or... The Meanings of "Pure" Sergey Koshcheyev wrote: > I don't know exactly what you [Marin Condic] mean by "pure" x86 code. > What you get from the compiler on x86 is a 32-bit executable in the > platform-specific executable format (ELF on Linux, PE on Win32) You man the _target_ platform? (If so then code not pure.) > which isn't linked to GNAT libraries, though I think it may be linked > dynamically to the C library. Linker switch -nostdlib can be used to > overcome this and get a completely stand-alone executable (tested on > Linux). Another linker switch can be used to link the C library in > statically (also tested on Linux). You mean _compiled_ on Linux or _executed_ on Linux? (If the latter then code not pure.) > GNAT doesn't insert any BIOS calls in the generated code when pragma > No_Run_Time is used. Good. But note that for OS execution it would be acceptable to depend on the BIOS (at least early on the startup process); after all the BIOS is there and it is running before the OS. *** But it is not acceptable at all for execution to depend on another OS. *** In fact, I have been thinking in terms of a MIOS (Minimal Input/Output System) package providing access to the "minimal system" I have suggested before (Ada_OS talk) as a starting target (floppy, keyboard, screen): MIOS would probably be implemented with BIOS services: hence, in part, the tribute in its name. BTW, what is GRUB? And where is GNORT? Thanks, -- , M A R I O data miner, LIACC, room 221 tel 351+226078830, ext 121 A M A D O Rua Campo Alegre, 823 fax 351+226003654 A L V E S P-4150 PORTO, Portugal mob 351+939354002