6462cbf51c
Have the arch define additional compiler flags to explicit support or not support a floating point unit. Add ability for modules to per file or for the whole module mark code as needing floating point support. Add default flags for arm64, riscv, and x86 toolchains. Needed because gcc 12 is getting much more aggressive about using vector instructions for non float code, so getting away with avoiding it was no longer working. Still not perfect: printf code is being compiled with float, so it's possible to use floating point instructions inside core kernel or interrupt handling code if a printf is used. Possibly will have problems on architectures where mixing float and non float code at the linker generates issues, but so far seems to be okay.
The Little Kernel Embedded Operating System
The LK kernel is an SMP-aware kernel designed for small systems ported to a variety of platforms and cpu architectures.
See https://github.com/littlekernel/lk for the latest version.
High Level Features
- Fully-reentrant multi-threaded preemptive kernel
- Portable to many 32 and 64 bit architectures
- Support for wide variety of embedded and larger platforms
- Powerful modular build system
- Large number of utility components selectable at build time
Supported architectures
- ARM32
-
- Cortex-M class cores (armv6m - armv8m)
-
- ARMv7+ Cortex-A class cores
- ARM64
- RISC-V 32 and 64bit bit in machine and supervisor mode
- x86-32 and x86-64 386 up through modern cores
- microblaze
- MIPS
- OpenRISC 1000
TODO
To build and test for ARM on linux
- install or build qemu. v2.4 and above is recommended.
- install gcc for embedded arm (see note 1)
- run scripts/do-qemuarm (from the lk directory)
- you should see 'welcome to lk/MP'
This will get you a interactive prompt into LK which is running in qemu arm machine 'virt' emulation. type 'help' for commands.
Note: for ubuntu x86-64: sudo apt-get install gcc-arm-none-eabi or fetch a prebuilt toolchain from https://newos.org/toolchains/x86_64-elf-10.2.0-Linux-x86_64.tar.xz