[SystemSafety] C for OSs

[Olwen Morgan]

Quick correction, for which apols: Actually, it seems to be running a 
cut-down Linux and the RTEMS RTOS ... but it's still a step in the right 
direction.

O

On 08/09/2019 21:43, Olwen Morgan wrote:
>
> All,
>
> Forgive me for multiple postings but ideas are occurring to me in fits 
> and starts on this one.
>
> Given a free hand to choose a language running on an x86_64 target for 
> implementing a highly concurrent critical system, I'd almost always go 
> for Erlang, whose track record at Ericsson is mind-bogglingly good. Of 
> course, the BEAM Erlang abstract machine needs a hosted environment in 
> which to run. One helpful development in this area is the GRiSP2, 
> single-board hardware abstract machine for Erlang/Elixir. This gets 
> rid of UNIX but still leaves dependency on an relatively 
> low-availability hardware.
>
> Now, if someone could implement a true bare-metal BEAM for x86_64 
> (possibly only a smallish step farther?), you wouldn't need 
> special-purpose boards ... and I could die happy ...
>
> ... but not yet ... (in case those of you who'd be glad to see the 
> back of me are rubbing their hands with glee) ... :-O
>
>
> Olwen
>
>
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
> Manage your subscription: 
> https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety
>