reply
I hope the next version actually works in some facility.
Previous India chips were missing c extension, and thus not able to run Debian and the like.
I am hopeful they will eventually catch up with rva23, the base the ecosystem has agreed upon for application processors.
0. https://triumph.no/oldblue
Unlike seL4[0], neither OS has a guarantee of worst case latency.
RTLinux cannot realistically have one, as formal verification is not feasible due to its sheer size.
0. https://sel4.systems/
It was odd xenomai was not as common as preemt_rt in projects. =3
Now, with the complexity (MLoCs!) of the Linux kernel, this is definitely not the only bug to be found in there.
This is why Linux is just an interim kernel for these use cases in which we still cannot use seL4[0].
35 years of "interim" status. Is there a roadmap?
reply