[PATCH gnumach] kern/sched_prim: Simplify by not dispatching to idle cpu directly

This speeds up smp to approximately full speed of uniprocessor! Unfortunately, there is a general protection fault when booting. It seems to get a corrupt null stack pointer when returning with iret. --- kern/sched_prim.c | 82 ++- 1 file changed, 2 ins

[PATCH gnumach] kdb: Add "show all runqs" debug command

--- ddb/db_command.c | 1 + ddb/db_print.c| 27 +++ ddb/db_print.h| 6 ++ kern/sched_prim.h | 1 + 4 files changed, 35 insertions(+) diff --git a/ddb/db_command.c b/ddb/db_command.c index d21386e6..2fae61b0 100644 --- a/ddb/db_command.c +++ b/ddb/db_command