1 2 3 4 5 6 7 8 9
// See LICENSE for license details. #include <stdio.h> #include <device.h> int putchar(int ch) { return console_dev->putchar(ch); }