News for hackers. Stuff that matters.
Re:ZZ is a modern formally provable dialect of C by AstralStorm on Wednesday February 05, 2020 @11:06AM (#22248023)
Hoisting old designs is unnecessary when you have x86 processors like Intel Atom, which are exactly that, and all the versions of ARM Cortex-R3 and R0.

The problem is not the processor, it's the lack of MMU and/or special DMA or interrupt engines and special GPIO. No kernel is potentially ported to such custom infrastructure, and if you have a very tiny flash, few of the ones which could will fit. (Say, target L4, porting Fiasco or OKL4.)

Re:ZZ is a modern formally provable dialect of C by oblio on Wednesday February 05, 2020 @11:33AM (#22248367)
Ok, but that doesn't mean that such designs couldn't be made and then standardized, right?