@technoprenerd The kernel is some tricky business.
It's a mix of the old linux-hardened (now maintained by anthraxx), mitigations from #KSPP, #CLIPOS (now unmaintained), @whonix, and a few other sources.
I'm sure there are a lot of configuration tweaks to improve depending on your system, but seems really strong for a "one size fits all"
La cellule de développement CLIP recrute deux experts en sécurité des systèmes Linux pour participer au développement de #CLIPOS
https://www.ssi.gouv.fr/emploi/expert-en-securite-des-systemes-linux-2/
L’ANSSI a élaboré un système d’exploitation multiniveau sécurisé dénommé CLIP OS, pour répondre aux besoins de l’administration. Basé sur un noyau Linux et capable de gérer des informations de plusieurs niveaux de sensibilité, CLIP OS est à présent disponible en open source* dans le cadre d’un projet de développement collaboratif.
RT @[email protected]: Pour l'#OSSPARIS18 nous vous apprenons à développer sur #CLIPOS avec un atelier dédié
Au programme:
- Prise en main du projet, des sources et des outils de développement
- Construction et test d’une image de CLIP OS
- Ajout du support du serveur Web NGINX
https://docs.clip-os.org/index.html
bencrypted@localhost:~$|
Frédéric Véron 
Yves-Alexis Perez
Eric Pommereau
Z0vsky
Tux Machines
mmu_man