chiark / gitweb /
hostside: do serial irq priority poking with a helper script and a pipe in /var/run...