@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