@MSGID: 1@rasp.pasdenom.info>
8f457876
@REPLY: 1@dont-email.me> d87107df
@REPLYADDR DrPi <314@drpi.fr>
@REPLYTO 2:5075/128 DrPi
@CHRS: CP866 2
@RFC: 1 0
@RFC-Message-ID:
1@rasp.pasdenom.info>
@RFC-References: 1@dont-email.me>
1@dont-email.me> 1@dont-email.me> <lyr0mimnup.fsf@pushface.org>
1@rasp.pasdenom.info> <lyil7um345.fsf@pushface.org> 1@rasp.pasdenom.info>
1@dont-email.me> 1@dont-email.me> 1@dont-email.me>
@TZUTC: 0200
@PID: Mozilla Thunderbird
@TID: FIDOGATE-5.12-ge4e8b94
Le 29/09/2023 ? 12:42, Chris Townley a ?crit :
> On 29/09/2023 10:59, Kevin Chadwick wrote:
>>
>>>>>> Tasking is very limited. For example you can`t use
>>>>>> timeouts. Never. They propose a workaround but it is complex and not
>>>>>> equivalent to a real timeout management.
>>>>>
>>>>> Not sure what a "real timeout management" would look like?
>>>>>
>>>>>> I`d like to have a full Ada RTS for embedded targets, like on
>>>>>> desktop.
>>>>>
>>>>> Have you considered using something like a Raspberry Pi?
>>>> A RaspberryPi is a computer (based on a microprocessor with an OS), 
>>>> not an micro-controller. It consumes a lot of electrical power. The 
>>>> OS (linux) is not real time. It uses a lot of board space. The 
>>>> processor is a proprietary black box...
>>>>
>>>
>>> Plenty use the Raspberry Pi as a microcontroller
>>
>> I think Simons point was that Arm/Linux has a working full runtime. I 
>> guess
>> bare raspberry pie would not and I guess it would be a rather large 
>> module
>> or board or single board computer depending on the model.
>>
>> WRT energy use. I use a low power run feature on the STM32L4 which 
>> means the
>> system clock speed can change at any time. That seems to be incompatible
>> with any runtime that I have seen except the minimal light-cortex-m4 
>> one. I
>> assume working with clocks is more scalable than working with runtimes 
>> but
>> I do not know for sure.
>>
> 
> Agreed, but in addition to the mainline Pis there is the zero, and the 
> pico, which has a `RP2040` made by Raspberry Pi and is a dual-core ARM 
> Cortex M0+ processor, with a flexible clock running up to 133MHz
> 
A runtime for the RP2040 already exist. It is based on the Adacore ARM 
runtimes so has the same limitations.

--- Mozilla Thunderbird
 * Origin: <https://pasdenom.info/news.html> (2:5075/128)
SEEN-BY: 5001/100 5005/49 5015/255 5019/40 5020/715
848 1042 4441 12000
SEEN-BY: 5030/49 1081 5058/104 5075/128
@PATH: 5075/128 5020/1042 4441