News for hackers. Stuff that matters.

A comment on ACM Software System Award Given to seL4 Microkernel. Parent comment

Re:ACM Software System Award Given to seL4 Microkernel by monocasa on Saturday May 06, 2023 @02:29PM (#35844008)
Apple doesn't use sel4 in the secure enclave, but instead another l4 variant that isn't formally verified.

And they've made a lot of pretty deep changes for example adding native support for Mach-O files.

[ Parent | on HN ]
Re:ACM Software System Award Given to seL4 Microkernel by flangola7 on Saturday May 06, 2023 @04:05PM (#35844922)
What is a macho file?
[ Parent | on HN ]
Re:ACM Software System Award Given to seL4 Microkernel by jonpalmisc on Saturday May 06, 2023 @04:54PM (#35845280)
It’s the executable file format for macOS/iOS/*OS, analogous to ELF or PE.

https://en.m.wikipedia.org/wiki/Mach-O

[ Parent | on HN ]
Re:ACM Software System Award Given to seL4 Microkernel by flangola7 on Monday May 08, 2023 @02:38PM (#35865376)
Oh so an .exe
[ Parent | on HN ]