News for hackers. Stuff that matters.

A comment on Disabling the Intel Management Engine. Parent comment

Re:Disabling the Intel Management Engine by smolder on Wednesday October 26, 2022 @02:24PM (#33347473)
IIUC, it's because it's easier to rigorously prove the VM prevents classes of bugs (i.e. memory safety issues) and then reuse that VM in many places than it is to rigorously prove that many separate embedded systems not relying on the VM have independently avoided those bugs.
[ Parent | on HN ]
Re:Disabling the Intel Management Engine by hedora on Wednesday October 26, 2022 @06:21PM (#33350387)
Is there an example of a JVM that has been proven correct in this sense?

I haven't heard of one.

[ Parent | on HN ]
Re:Disabling the Intel Management Engine by smolder on Thursday October 27, 2022 @01:47PM (#33361264)
I don't know specific details about the correctness of any particular VM, sorry. That was just the explanation I got from another engineer that apparently had experience in developing embedded java things.
[ Parent | on HN ]