4 terminal_input.at_keyboard: at_keyboard
5 terminal_input.serial: serial
6 terminal_input.usb_keyboard: usb_keyboard
7 terminal_output.gfxterm: gfxterm
8 terminal_output.serial: serial
9 terminal_output.vga: vga
10 terminal_output.vga_text: vga_text