Did you ever consider using a microkernel?

inf3rno

Member

Reaction score: 2
Messages: 43

I read a lot about L4 microkernels recently and I found that seL4 is the only kernel that has a formal verification, which sounds pretty impressive. Somebody already ported OpenBSD to L4 many years ago, so it is not impossible to do it with BSD systems. As far as I understand from security and stability perspective it would be a big improvement to use a microkernel and there are already frameworks like L4Re and Genode, which can help to change the kernel. I was wondering if you ever considered using a microkernel and if so then why isn't worth the effort to use it instead of using a monolithic kernel?
 

SirDice

Administrator
Staff member
Administrator
Moderator

Reaction score: 8,775
Messages: 33,056

 
Top