https://www.sigops.org/s/conferences/sosp/2009/papers/klein-sosp09.pdf

My husband says it is not secret what they use. It is something called L4-SEC which has formal proofs of correctness

I believe the holocaust museum calls these sorts of lists the point of fight now or die one by one

The cost of them not having the source code or the right to repair the shit they bought and paid for with our tax dollars.

!datahoarder@lemmy.ml

Is the best place to ask

It happens, it’ll be fine. Just remember not to stress out too hard about it and it’ll be fine. The solar punk community knows how to survive a server outage in style.

Well my husband’s work place does audit the code they deploy but they have a big problem with contractors just downloading random shit and putting it on production systems without following proper review and in violation of policy.

The phrase fucking Deloitte is a daily occurrence.

https://defcad.com/

Worst case scenario:

ls

ls (hd0,msdos1)/boot/

set root=(hd0,msdos1)

insmod normal

normal

insmod linux

linux /boot/vmlinuz-6.6.6 root=/dev/sda1

initrd /boot/initrd.img-6.6.6

boot

Or Guix

And honestly when grub is your bootloader. The only thing that you can’t fix in grub is if you forget the crypto-module and can’t do cryptomount (hd0,msdos1); insmod normal; normal