The ones that use an OS generally use seL4 these days.