If I rattle on the keyboard I get ControlLeft coming up regularly, even though I am far from the control keys. Upgrading pc_keyboard to 0.5.0 seems to fix it.

Resurrecting the second bullet from #1334

• Figure out how to fix favicon / logo more generally (here's a start https://github.com/tock/tock/tree/doc-updates)

We should add code to enumerate/iterate application/console windows on the "desktop" (or equivalent) of GUI-based operating systems.

On Windows, the EnumWindows() function is probably the best starting point, combined with [EnumChildWindows](https://docs.microsoft.com/en-us/windows/win32/api/winuser/nf-winu

All dev*.c files should have these two functions
static char *
devname(void)
{
return devtab.name;
}

static int
devdc(void)
{
return devtab.dc;
}

That way, we avoid problems like the recent breakage with devregress.c where in the devtab we used 'R' but in the attach we use 'Z', which collided with devacpi

Good beginner issue. It might be a simple awk/sed script. F