3 ms·

None of the safe languages I know of that are capable of writing an OS in are "safe" in the verification sense. They require extra, external processes for doing

by junon 6y ago

None of the safe languages I know of that are capable of writing an OS in are "safe" in the verification sense. They require extra, external processes for doing such. See the SEL4 kernel.