f9micro / f9-kernel

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

kernel: fix typo in Kconfig #63

Closed zzz0072 closed 10 years ago