FWIW, mach-bootstrap-hello is supposed to then echo back what you type on the console, but it doesn't work. From some debugging, it seems that once I input something, the following device_write () call hangs here:
(gdb) ast_taken () at ../kern/ast.c:88 88 if (reasons & AST_NETWORK) (gdb) 96 if (self != current_processor()->idle_thread) { (gdb) n 98 while (thread_should_halt(self)) (gdb) l 93 * or thread_block from the idle thread. 94 */ 95 96 if (self != current_processor()->idle_thread) { 97 #ifndef MIGRATING_THREADS 98 while (thread_should_halt(self)) 99 thread_halt_self(thread_exception_return); 100 #endif 101 102 /* (gdb) bt #0 ast_taken () at ../kern/ast.c:98 #1 0xffffffff81011b8e in _return_from_trap () at ../x86_64/locore.S:571 #2 0xffffffff9f442868 in ?? () #3 0xffffffff81018a70 in ?? () at ../kern/sched_prim.c:924 #4 0xffffffff9f43ffb8 in ?? () #5 0x0000000000000000 in ?? () I don't know what to make of that, but perhaps you will. Note that again, this worked on i386. Sergey