This is F9
, an experimental microkernel used to construct flexible embedded
systems inspired by famous L4 microkernel. The motivation of F9 microkernel
is to support running real-time and time-sharing application as well as
wireless communications for ARM Cortex-M series microprocessors concurrently.
F9 microkernel is freely redistributable under the two-clause BSD License.
Use of this source code is governed by a BSD-style license that can be found
in the LICENSE
file.