Hi All,
I am using Ubuntu 16.04 on 64 Bit, i7 machine and running Camkes
Cross-VM communication tutorial available at:
https://docs.sel4.systems/Tutorials/camkes-vm-crossvm.html
I am able to build the system properly but when I run the system, I get
the following error:
---------------------------------------------------------------------------------------------------------------------------------
Creating dataport node /dev/camkes_reverse_src
Creating dataport node /dev/camkes_reverse_dest
Allocating 8192 bytes for /dev/camkes_reverse_src
dataport_map_guest@cross_vm_dataport.c:25 Dataport guest size and host
size are different (8192 and 4096)
dataport_vmcall_handler@cross_vm_dataport.c:75 Failed to map dataport
into guest
VM_FATAL_ERROR ::: vmexit handler return error
vmm_print_guest_context:27 | ================== GUEST OS CONTEXT
=================
vmm_print_guest_context:30 | exit info : reason 0x12 qualification
0x0 instruction len 0x3 interrupt info 0x0 interrupt error 0x0
vmm_print_guest_context:32 | guest physical 0x0 rflags
0x286
vmm_print_guest_context:34 | guest interruptibility 0x0
control entry 0x34
vmm_print_guest_context:37 | eip 0xd881714a
vmm_print_guest_context:39 | eax 0x 1 ebx 0x 1
ecx 0x 1
vmm_print_guest_context:41 | edx 0x16a42000 esi 0x 2000
edi 0x 10
vmm_print_guest_context:43 | ebp 0xd6b17f0c
vmm_print_guest_context:45 | cr0 0x80050033 cr3 0x16b1e000 cr4
0x2680
---------------------------------------------------------------------------------------------------------------------------------
I tried troubleshooting it a bit and changed the file:
~/camkes_vm_com/projects/vm-linux/camkes-linux-artifacts/camkes-linux-init-scripts/buildroot_init/camkes_init
as follows:
Earlier: dataport_init /dev/camkes_reverse_src 8192
/dev/camkes_reverse_dest 8192
Changed: dataport_init /dev/camkes_reverse_src 4096
/dev/camkes_reverse_dest 4096
But this also does not work.
Please suggest.
--
Thanks and Regards,
Amit Goyal
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
