On Sat, May 06, 2017 at 10:44:40AM +0100, Patrick Welche wrote: > > (Note that that address is not in the 0x07f7xxxxxx range that you would > > expect for "kernel stuff" such as the other stack frames. This is one part > > of the "rump is different than real kernel" I mentioned!)
Got it: rump doesn't do acpi (I think) Cheers, Patrick
