3 ms·Debugging an OS: - printf - printf to serial port - LEDs attached to GPIOsby linuxlizard 11y agoDebugging an OS: - printf - printf to serial port - LEDs attached to GPIOs