@civodul Yeah, I guess the gnumach IDE driver hack was a handy shortcut, but with separate servers that's how it was intended right?#Hurd