toolchain The Tinykernel Toolchain Install the TinyKern toolchain to compile and run the TinyKern projects Usage: You can install the toolchain by running make in the terminal of the main project, or clone this project, and run make