Tested on QEMU and a ThinkPad T500. On the ThinkPad, input characters do not echo back, but otherwise the REPL works fine. (As a separate pull request I will suggest changing the debug serial port's default baud rate from 38400 to 115200 to match the Libreboot (coreboot) and GRUB setting.)
Tested on QEMU and a ThinkPad T500. On the ThinkPad, input characters do not echo back, but otherwise the REPL works fine. (As a separate pull request I will suggest changing the debug serial port's default baud rate from 38400 to 115200 to match the Libreboot (coreboot) and GRUB setting.)