Initial kernel with a basic I/O facility