search

f9micro / f9-kernel

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

L4 kernel API specification #156

Closed ab1aw closed 5 years ago

ab1aw commented 5 years ago

Which of the L4 API specifications does F9 implement?
Is it one of the following as documented at http://l4hq.org/kernels/?

Version 2 Version X.0 Version X.2 (a.k.a. Version 4) NICTA N series OKL4 series Fiasco.OC

Thank you.

jserv commented 5 years ago

Partial L4 API X.2 was implemented in F9 microkernel by referring L4Ka::Pistachio internals.

ab1aw commented 5 years ago

Thank you. I will refer to the documentation located at: http://www.l4ka.org/65.php