ArchiKernel: misc