@MSGID: 1@dont-email.me> 33d29b8e
@REPLY: 1@dont-email.me> 1196eb45
@REPLYADDR Kevin Chadwick
<kc-usenet@chadwicks.me.uk>
@REPLYTO 2:5075/128 Kevin Chadwick
@CHRS: CP866 2
@RFC: 1 0
@RFC-Message-ID: 1@dont-email.me>
@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>
@TZUTC: -0000
@PID: PhoNews/3.12.0 (Android/13)
@TID: FIDOGATE-5.12-ge4e8b94
>>>> 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.

-- 
Regards, Kc
--- PhoNews/3.12.0 (Android/13)
 * Origin: A noiseless patient Spider (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