BEWARE: the uml kernel does not work correctly - see ../hints/starting_uml.txt for details