@MSGID: 1@dont-email.me> d87107df
@REPLY: 1@dont-email.me> 33d29b8e
@REPLYADDR Chris Townley <news@cct-net.co.uk>
@REPLYTO 2:5075/128 Chris Townley
@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> 1@dont-email.me>
@TZUTC: 0100
@PID: Mozilla/5.0 (Windows NT 10.0; Win64; x64;
rv:102.0) Gecko/20100101 Thunderbird/102.15.1
@TID: FIDOGATE-5.12-ge4e8b94
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

-- 
Chris

 --- Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101
Thunderbird/102.15.1
 * 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