src/ux/server/kern
