From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,T_SCC_BODY_TEXT_LINE
	autolearn=ham autolearn_force=no version=3.4.6
Path: eternal-september.org!reader01.eternal-september.org!aioe.org!Lx7EM+81f32E0bqku+QpCA.user.46.165.242.75.POSTED!not-for-mail
From: "Luke A. Guest" <laguest@archeia.com>
Newsgroups: comp.lang.ada
Subject: Re: MS going to rust (and Linux too)
Date: Sat, 24 Sep 2022 21:38:03 +0100
Organization: Aioe.org NNTP Server
Message-ID: <tgnpvv$1e11$1@gioia.aioe.org>
References: <tgmd02$eio$1@gioia.aioe.org> <tgmghd$1ppa$1@gioia.aioe.org>
 <tgmhn3$9tn$1@gioia.aioe.org> <tgmqd5$2vdu7$1@dont-email.me>
 <tgmveu$1svk$1@gioia.aioe.org> <tgnfv0$31gh1$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="47137"; posting-host="Lx7EM+81f32E0bqku+QpCA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.2.2
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-GB
Xref: reader01.eternal-september.org comp.lang.ada:64400
List-Id: <comp.lang.ada>

On 24/09/2022 18:49, G.B. wrote:
> On 24.09.22 15:05, Luke A. Guest wrote:
>> On 24/09/2022 12:41, G.B. wrote:
>>
>>> Write a really good driver for Linux using Ada 2012 and do not use
>>> capital letters in the source text, at least where Linux doesn't.
>>> Be silent about the language. Can an Adaist do that, to save the
>>> language?
>>
>> The biggest problem is that the compiled runtime is compiler version 
>> dependent and the pain of making a runtime for linux kernel dev 
>> available for each and every compiler version, remember these things 
>> can also change on a version change too.
> 
> Won't the Ada run-time need very little?

You would need to generate bindings to the linux header files per release.

1) I guarantee you he will have a hissy fit over having to have a 
bootstrap compiler.
2) Likely another hissy fit because gcc's binding generator has a 
propensity for stripping out names and replacing them with useless 
"arg*" type identifiers.

There are likely some small parts you might want, maybe a small 
secondary stack? Partial interfaces.c packages.