Hi, I am a PhD student from ICT, CAS and having trouble building Dune on Linux 4.10: Linux ubuntu 4.10.0-28-generic #32~16.04.2-Ubuntu SMP Thu Jul 20 10:19:48 UTC 2017 x86_64 x86_64 x86_64 GNU/Linux.
I have replaced VMX_EPT_EXTENT_INDIVIDUAL_ADDR with VMX_EPT_EXTENT_INDIVIDUAL_BIT, and modules can be built without errros.
Bet, when I $insmod kern/dune.ko, I get another problem:
insmod: ERROR: could not insert module kern/dune.ko: Unknown symbol in module
The dmesg:
dune: Unknown symbol __default_send_IPI_dest_field (err 0)
I find that the function “__default_send_IPI_dest_field” is in ipi.h, and the kern/apic.c includes the head file “<asm/ipi.h>, so I don’t know how to fix it.
Hi, I am a PhD student from ICT, CAS and having trouble building Dune on Linux 4.10: Linux ubuntu 4.10.0-28-generic #32~16.04.2-Ubuntu SMP Thu Jul 20 10:19:48 UTC 2017 x86_64 x86_64 x86_64 GNU/Linux.
I have replaced
VMX_EPT_EXTENT_INDIVIDUAL_ADDRwithVMX_EPT_EXTENT_INDIVIDUAL_BIT, and modules can be built without errros.Bet, when I
$insmod kern/dune.ko, I get another problem:insmod: ERROR: could not insert module kern/dune.ko: Unknown symbol in moduleThe dmesg:
dune: Unknown symbol __default_send_IPI_dest_field (err 0)I find that the function “__default_send_IPI_dest_field” is in ipi.h, and the kern/apic.c includes the head file “<asm/ipi.h>, so I don’t know how to fix it.
Thank you in advance.
Mengyao Xie