OSADL kehittää Linuxia turvakriittisiin järjestelmiin. Turvakriittinen ei välttämättä tarkoita reaaliaikaista käyttöjärjestelmää, mutta usein ne liittyvät yhteen. Yksi menetelmä on käyttää laitteiston osiointia, kuten Jailhouse.