omfk
is an experimental kernel written in C. Mostly it's for the
self-educational purpose.
- stm32f3 (tested on
NUCLEO STM32f303RE
)
omfk
is being developed under Archlinux AMD64
, so build instructions will
be targeted mostly on it.
-
arm-none-eabi-gcc
fromcommunity
repo (in Ubuntugcc-arm-none-eabi
) :
build toolchain -
minicom
fromcommunity
repo :
for testing via debug terminal -
stlink
fromcommunity
repo (Ubuntu users need to install from source) :
for writing embedded flash memory
Just call make
. The kernel binary omfk.bin
will be generated in build/
directory.
-
all :
create build directory and build the kernel binary -
flash :
build the kernel binary and flash it to the device -
test :
build, flash the kernel binary and launch minicom on/dev/ttyACMO
(NOTE: device is configurable viaSERIAL_DEVICE
variable e.g.make test SERIAL_DEVICE=/dev/ttyUSB0
) -
clean :
delete build directory
All configurable build options can be found in user_vars.mk
-
CROSS_TOOL :
host cross-compiler prefix -
ARCH :
target architecture e.g.arm
-
CORE :
target CPU -
PLATFORM :
target MCU family -
PLATFORM_SERIES :
target MCU series/model -
SERIAL_DEVICE :
debug tty device -
FLASH_ADDR :
start of MCU flash memory address