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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: Mart van de Wege Newsgroups: comp.lang.ada Subject: Re: Linux kernel module - memory allocation Date: Tue, 19 May 2015 12:20:05 +0200 Message-ID: <86twv8q36y.fsf@gaheris.avalon.lan> References: <8759d49e-c30a-4c71-a3e5-fd7a818a30f6@googlegroups.com> <67a35f63-bd06-4fa5-9a1a-aaa14af29b43@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain X-Trace: individual.net a3FI41S9JcQXQJDR/YGG4gETFFlxon3deC+KHCnSl4p4zSA5T2 X-Orig-Path: gaheris.avalon.lan!not-for-mail Cancel-Lock: sha1:qVLvkfrSZsQHQFkZ8SPDJT6OpPk= sha1:6glCLdlTenBqmEtkqencs7jytB4= User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4 (gnu/linux) Xref: news.eternal-september.org comp.lang.ada:25924 Date: 2015-05-19T12:20:05+02:00 List-Id: jan.de.kruyf@gmail.com writes: > On Tuesday, May 19, 2015 at 9:57:09 AM UTC+2, q.kontinuum wrote: > >> > >> > file:///usr/gnat/share/doc/gnat/html/gnat_rm_2.html#SEC6 (on my machine) >> >> Ok, I guess I should be able to find this somewhere. Although >> a quick google search did not show a relevant package. >> > > GNAT Reference Manual - GCC - GNU On a Debian machine you would find that in the gnat-doc package. -- "We will need a longer wall when the revolution comes." --- AJS, quoting an uncertain source.