qemu-efi

#!/bin/bash
exec qemu-system-x86_64 \
    -m 1G -smp 2 -enable-kvm \
    -drive file=/usr/share/edk2-ovmf/OVMF_CODE.fd,if=pflash,format=raw,unit=0,readonly=on \
    $@

ping.sql

\set PROMPT1 = '%`date` %n@%m:%/%R%# '

\timing
SELECT 1;

g_serial

Serial on a Raspberry Pi Zero (or any one with an OTG USB port) can be used without
adding the GPIO headers by sending the console down the USB cable itself.

This will present as ttyGS0 on the pi, and ttyACM0 on the host.

Continue reading