I’m tinkering with the Plan 9 9k kernel https://github.com/0intro/plan9-contrib/tree/main/sys/src/9k testing if I can boot it on OpenBSD vmm, it’s booting but interrupts don’t work.