Jan, Thanks for the advice.
I went and downloaded Linux 4.14.73 and recompiled with CONFIG_UIO=y and CONFIG_UIO_PCI_GENERIC=y (`make -j4`, `make modules_install`, and `make install`). I was then able to build uio_ivshmem.ko. However, now when I build Jailhouse, I hit the following errors: WARNING: "lapic_timer_frequency" [/root/jailhouse/driver/jailhouse.ko] undefined! WARNING: "ioremap_page_range" [/root/jailhouse/driver/jailhouse.ko] undefined! Somehow, I took a step backwards. This thread (https://groups.google.com/forum/#!topic/jailhouse-dev/URt-HG36X1o) mentions that I should set CONFIG_KALLSYMS_ALL. I tried that, but after rebuilding and installing, I still get the above errors. The kernel that came with Jailhouse Images didn't have CONFIG_KALLSYMS_ALL, and I was able to build Jailhouse just fine. Why is it complaining now, after setting CONFIG_UIO and recompiling? Do I need to also update the linux-headers package somehow? I tried `make headers_install` and `make headers_install_all`, but that didn't seem to do anything. Or I need to do something like this? https://unix.stackexchange.com/questions/270123/how-to-create-usr-src-linux-headers-version-files Thanks, Michael -- You received this message because you are subscribed to the Google Groups "Jailhouse" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
