Sample boot/darkstrap code, plus isa-lib, plus fixing repl mode