LinuxBoot using nolibc

[pamolloy]

nolibc is a C standard library for Linux which is developed and distributed as part of the kernel source tree. It has support for a wide range of architectures^1, many features and is easy to extend, especially for kernel developers. It consists solely of header files which allows building very small applications with bare-metal toolchains.

• https://kernel-recipes.org/en/2025/schedule/nolibc-a-userspace-libc-in-the-kernel-tree/
• https://www.youtube.com/watch?v=ZIoMh64P4rY
• https://lore.kernel.org/all/20180823174359.GA13033@linux.vnet.ibm.com/

[pamolloy]

And maybe with a little extra memory safety...

https://lwn.net/Articles/1042938/
https://fil-c.org/

[pamolloy]

Currently used for KHO tests...