Re: [9fans] xen3: fresh build 9xenpccpuf dies on boot

[Richard Miller]

> Thanks, Erik, your guess is absolutely right... Richard, do you mind
> updating /n/sources/xen/xen3/9/xen3/main.c?

Done, thanks to both of you.