Re: [seL4] Camkes Cross-VM Communication

-- Thanks and Regards, Amit Goyal On 2018-12-08 06:36, Amit Goyal wrote: > 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.