search

f9micro / f9-kernel

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

mpu: move to platform as not all plaforms use ARM's mpu #79

Closed ahmedammar closed 10 years ago

ahmedammar commented 10 years ago

Fix#78 (f9micro/f9-kernel#78)