From: Simon Wright <simon@pushface.org>
Subject: Re: Linux kernel module - memory allocation
Date: Tue, 19 May 2015 10:52:47 +0100
Date: 2015-05-19T10:52:47+01:00 [thread overview]
Message-ID: <lywq04yjv4.fsf@pushface.org> (raw)
In-Reply-To: c124e4d7-a661-4dbe-a7e5-e525679b2967@googlegroups.com
jan.de.kruyf@gmail.com writes:
> On Tuesday, May 19, 2015 at 7:30:37 AM UTC+2, q.kontinuum wrote:
>> > Somewhere in the discussion I saw "no runtime". This is obsolete
>> > now. you are supposed to have some runtime even if it is empty, I
>> > suppose.
>>
>> I didn't find anything about this. Do you have some additional
>> information?
>>
>
> file:///usr/gnat/share/doc/gnat/html/gnat_rm_2.html#SEC6 (on my machine)
> --------------------
> pragma No_Run_Time;
>
> This is an obsolete configuration pragma that historically was used to
> setup what is now called the "zero footprint" library. It causes any
> library units outside this basic library to be ignored. The use of
> this pragma has been superseded by the general configurable run-time
> capability of GNAT where the compiler takes into account whatever
> units happen to be accessible in the library.
Has anyone pointed to http://wiki.osdev.org/Ada_Bare_bones yet?
next prev parent reply other threads:[~2015-05-19 9:52 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-05-18 8:27 Linux kernel module - memory allocation q.kontinuum
2015-05-18 8:56 ` Niklas Holsti
2015-05-18 9:19 ` q.kontinuum
2015-05-18 16:02 ` Niklas Holsti
2015-05-18 17:34 ` Simon Clubley
2015-05-18 19:25 ` jan.de.kruyf
2015-05-19 5:30 ` q.kontinuum
2015-05-19 7:18 ` jan.de.kruyf
2015-05-19 7:56 ` q.kontinuum
2015-05-19 8:06 ` jan.de.kruyf
2015-05-19 10:20 ` Mart van de Wege
2015-05-19 11:14 ` jan.de.kruyf
2015-05-19 11:16 ` G.B.
2015-05-19 9:52 ` Simon Wright [this message]
2015-05-19 11:11 ` jan.de.kruyf
2015-05-18 19:48 ` q.kontinuum
2015-05-18 20:18 ` rrr.eee.27
2015-05-18 21:09 ` q.kontinuum
2015-05-18 19:35 ` q.kontinuum
2015-05-18 20:19 ` jan.de.kruyf
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox