f9micro / f9-kernel

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

inconsistent naming between CHIP and PLATFORM #21

Closed jserv closed 11 years ago

jserv commented 11 years ago

In the original design of F9 Microkernel, there are various terminologies to describe the layer of various systems including board, architecture, platform, hardware, chip, etc. However, it has been simplified before the public release for the sake of the major focus on bringing modern microkernel characteristics to 32-bit ARM microcontrollers.

We should provide the consistent naming, especially for "chip" and "platform", and then unify the build system along with source tree.