search

f9micro / f9-kernel

An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Other
679 stars 145 forks source link

What's the relationship between F9 microkernel and BitSec #149

Closed BaikalHu closed 7 years ago

BaikalHu commented 7 years ago

I'm learning f9-kernel on STM32F429I board, and read . F9 and BitSec are the 3th generation microkernel, and BitSec is learnt from uVisor, focus on security. As I read the f9-kernel source code, f9-kernel use MPU in Cortex-M3/4 to do it. I think BitSec also base on MPU. So what's the relationship between f9 and BitSec? what's the differences between them? what's the BitSec's advantage?

jserv commented 7 years ago

From the perspective of microkernel design, F9 microkernel belongs to second generation so does L4Ka. BitSec was constructed with capability model, which is a major feature in 3rd generation microkernel. The source code of BitSec hypervisor is not yet publicly available though.