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.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC 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!news.eternal-september.org!.POSTED!not-for-mail
From: Coyo T Stormcaller <coyo@darkdna.net>
Newsgroups: comp.lang.ada
Subject: Re: Writing Linux Kernel Modules in Ada
Date: Fri, 28 Oct 2016 21:19:48 -0500
Organization: A noiseless patient Spider
Message-ID: <nv10up$fed$1@dont-email.me>
References: <d05ddadc-587e-46ba-82c0-e000c624fba3@googlegroups.com>
Reply-To: coyo@darkdna.net
Mime-Version: 1.0
Content-Type: text/plain; charset="ISO-8859-1"
Content-Transfer-Encoding: 7Bit
Injection-Date: Sat, 29 Oct 2016 02:19:05 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="c06af2c6f3056f381b15db0024074a3b";
	logging-data="15821"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+tIillWFBRo8Uwg2jV6YCko4jyr3I5CyM="
User-Agent: KNode/4.14.10
Cancel-Lock: sha1:nW5S/3VTjKVRRd3sPKvMljKWohQ=
Xref: news.eternal-september.org comp.lang.ada:32191
Date: 2016-10-28T21:19:48-05:00
List-Id: <comp.lang.ada>

artium@nihamkin.com wrote:

> I am experimenting with writing Linux kernel modules in Ada and document
> my attempts.
> 
> Thought some here would be interested to read about this:
> 
> http://www.nihamkin.com/2016/11/23/writing-linux-modules-in-ada-part-1/
> 
> https://github.com/alkhimey/Ada_Kernel_Module_Toolkit
> 
> 
> Any kind of criticism is welcomed.

This is a fascinating concept. It would make sense, given how security and 
stability focused Ada is. I wonder how Ada and Rust would compare on various 
aspects.