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=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable 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!.POSTED!not-for-mail From: Bob Duff Newsgroups: comp.lang.ada Subject: Re: Ravenscar and context switching for Cortex-M4 Date: Thu, 19 Feb 2015 16:03:44 -0500 Organization: A noiseless patient Spider Message-ID: <87ioexzk9b.fsf@theworld.com> References: <27492d6c-3bf8-4eb9-8ebb-4d9f621235eb@googlegroups.com> <247a5033-337c-4bf9-8b37-c82759d8a2dd@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: mx02.eternal-september.org; posting-host="392da8358db31b05042808b1fe3d9839"; logging-data="28807"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+kDwnXw40S/TAH/8SJ4RsZ" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) Cancel-Lock: sha1:/zqNqrHAKhU5rGFOFbO9342gSI8= sha1:mk38m8MJTrm8Aac5pdtAfVGhQlQ= Xref: news.eternal-september.org comp.lang.ada:24989 Date: 2015-02-19T16:03:44-05:00 List-Id: Patrick Noffke writes: > Thank you for all this! It helps a lot. I didn't know about -gnatdg > -- very useful. Also try -gnatDG. - Bob