On 24/02/16 05:02, Barbu Paul - Gheorghe wrote:
On the other hand I also tried booting it from an USB stick on real
hardware and it says:
PANIC: bmk_isr_rumpkernel: cpu_intr_init

I tried this on a 64 bit machine.
I've written the ISO using dd:
dd if=app.bin.iso of=/dev/sdb

Here's a picture of the laptop's screen when the error appears:
http://i.imgur.com/nzyAJED.jpg

It seems to be trying to establish an unexpected interrupt.

You can either bake the binary with hdaudio removed (rumprun-bake -m 'remove -lrumpdev_pci_hdaudio' -m 'remove -lrumpdev_hdaudio_hdafg' ...)

Or you can see what it prints with the following patch:

diff --git a/platform/hw/intr.c b/platform/hw/intr.c
index e9e3ded..976119a 100644
--- a/platform/hw/intr.c
+++ b/platform/hw/intr.c
@@ -129,6 +129,8 @@ bmk_isr_rumpkernel(int (*func)(void *), void *arg, int intr, int flags)
        struct intrhand *ih;
        int error, icheck, routedintr;

+       bmk_printf("bmk_isr_rumpkernel: %d 0x%x\n", intr, flags);
+
        if (intr > sizeof(isr_todo)*8 || intr > BMK_MAXINTR)
                bmk_platform_halt("bmk_isr_rumpkernel: intr");


Reply via email to