News for hackers. Stuff that matters.

A comment on ZZ is a modern formally provable dialect of C. Parent comment

Re:ZZ is a modern formally provable dialect of C by loeg on Wednesday February 05, 2020 @02:24PM (#22250153)
"Most" embedded ARM? Cortex-A8 and smaller do not have OoO execution. Cortex-A9 is a 32-bit up-to-quad core CPU with clock of 800MHz-2GHz and 128k-8MB of cache. That's pretty big. I guess a lot of this is subject to opinion, but I don't think smartphones with GBs of RAM when I think of embedded systems.
[ Parent | on HN ]
Re:ZZ is a modern formally provable dialect of C by mlyle on Wednesday February 05, 2020 @03:28PM (#22250662)
Even e.g. A53 is in-order, and it's a 64 bit, pretty quick CPU (as seen in Raspberry Pi 2/3).
[ Parent | on HN ]