Kernel Terminal Console Documentation ACCURATE AS OF: 2020-08-11 Kernel terminal output functions: kprintf() * parallels stdio printf