# TCCBOOT

TCCBOOT is a boot loader able to compile and boot a Linux kernel directly from its source code.