hello
can someone help me here what did i do wrong ,i have been trying to do
camkes-vm-linux and i have followed the instruction on sel4-tutorials when
i run ninja to build the file i have got an error as below
==========================================================================
ninja
[5/127] Building C object
camkes-vm-li...ents/Init/src/virtio_net_vswitch.c.obj
FAILED: ccache /usr/bin/gcc
--sysroot=/home/sel4/sel4-tutorials-manifest/camkes-vm-linux_build
-I../projects/camkes/vm/components/Init/src
-I../projects/camkes/vm/components/VM/configurations
-Icamkes-vm-linux/vm0/include -I../kernel/libsel4/include
-I../kernel/libsel4/arch_include/x86
-I../kernel/libsel4/sel4_arch_include/x86_64
-I../kernel/libsel4/sel4_plat_include/pc99
-I../kernel/libsel4/mode_include/64 -Ilibsel4/include
-Ilibsel4/arch_include/x86 -Ilibsel4/sel4_arch_include/x86_64
-I../projects/sel4runtime/include -I../projects/sel4runtime/include/mode/64
-I../projects/sel4runtime/include/arch/x86
-I../projects/sel4runtime/include/sel4_arch/x86_64
-Iprojects/musllibc/build-temp/stage/include -Ilibsel4/autoconf
-Ikernel/gen_config -Ilibsel4/gen_config
-I../tools/camkes/libsel4camkes/include
-I../projects/seL4_libs/libsel4debug/include
-I../projects/seL4_libs/libsel4debug/arch_include/x86
-I../projects/seL4_libs/libsel4debug/sel4_arch_include/x86_64
-I../projects/util_libs/libutils/include
-I../projects/util_libs/libutils/arch_include/x86
-Iprojects/util_libs/libutils/gen_config
-I../projects/util_libs/libplatsupport/include
-I../projects/util_libs/libplatsupport/plat_include/pc99
-I../projects/util_libs/libplatsupport/arch_include/x86
-Iprojects/util_libs/libplatsupport/gen_config
-I../projects/seL4_libs/libsel4muslcsys/include
-I../projects/util_libs/libcpio/include
-I../projects/seL4_libs/libsel4utils/include
-I../projects/seL4_libs/libsel4utils/sel4_arch_include/x86_64
-I../projects/seL4_libs/libsel4utils/arch_include/x86
-I../projects/seL4_libs/libsel4vspace/include
-I../projects/seL4_libs/libsel4vspace/arch_include/x86
-I../projects/seL4_libs/libsel4vka/include
-I../projects/seL4_libs/libsel4vka/sel4_arch_include/x86_64
-I../projects/seL4_libs/libsel4vka/arch_include/x86
-Iprojects/seL4_libs/libsel4vka/gen_config
-Iprojects/seL4_libs/libsel4utils/gen_config
-I../projects/seL4_libs/libsel4simple/include
-I../projects/seL4_libs/libsel4simple/arch_include/x86
-I../projects/seL4_libs/libsel4platsupport/include
-I../projects/seL4_libs/libsel4platsupport/arch_include/x86
-I../projects/seL4_libs/libsel4platsupport/plat_include/pc99
-I../projects/seL4_libs/libsel4simple-default/include
-I../projects/util_libs/libelf/include
-Iprojects/seL4_libs/libsel4muslcsys/gen_config
-I../projects/seL4_libs/libsel4sync/include
-I../projects/projects_libs/libvirtqueue/include
-Icamkes-vm-linux/libsel4camkes/gen_config
-Iprojects/sel4runtime/gen_config
-I../projects/seL4_libs/libsel4allocman/include
-I../projects/seL4_libs/libsel4allocman/sel4_arch/x86_64
-I../projects/seL4_libs/libsel4allocman/arch/x86
-I../projects/seL4_libs/libsel4vmm/include
-I../projects/util_libs/libpci/include
-I../projects/util_libs/libethdrivers/include
-I../projects/util_libs/libethdrivers/plat_include/pc99
-I../projects/util_libs/libethdrivers/arch_include/x86
-Iprojects/util_libs/libethdrivers/gen_config
-Iprojects/util_libs/liblwip/gen_config
-Iprojects/util_libs/libpicotcp/gen_config
-Iprojects/seL4_libs/libsel4vmm/gen_config -Icamkes-vm-linux/vm/gen_config
-I../projects/projects_libs/libvswitch/include
-I../projects/camkes/global-components/components/FileServer/libFileServer-client/.
-m64 -march=nehalem -D__KERNEL_64__ -g -nostdinc -fno-pic -fno-pie
-fno-stack-protector -fno-asynchronous-unwind-tables -ftls-model=local-exec
-mtls-direct-seg-refs -Wno-main -std=gnu11 -MD -MT
camkes-vm-linux/CMakeFiles/vm0.instance.bin.dir/__/projects/camkes/vm/components/Init/src/virtio_net_vswitch.c.obj
-MF
camkes-vm-linux/CMakeFiles/vm0.instance.bin.dir/__/projects/camkes/vm/components/Init/src/virtio_net_vswitch.c.obj.d
-o
camkes-vm-linux/CMakeFiles/vm0.instance.bin.dir/__/projects/camkes/vm/components/Init/src/virtio_net_vswitch.c.obj
-c ../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c: In function
‘virtio_net_notify_vswitch_send’:
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c:50:23:
warning: implicit declaration of function ‘virtqueue_driver_dequeue’
[-Wimplicit-function-declaration]
int dequeue_res = virtqueue_driver_dequeue(node->virtqueues.send_queue,
^
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c: In function
‘emul_raw_tx’:
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c:123:13:
error: unknown type name ‘virtqueue_t’
virtqueue_t *destbuff;
^
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c:147:19:
warning: implicit declaration of function ‘virtqueue_driver_enqueue’
[-Wimplicit-function-declaration]
err = virtqueue_driver_enqueue(destnode->virtqueues.send_queue,
^
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c:157:19:
warning: implicit declaration of function ‘virtqueue_driver_signal’
[-Wimplicit-function-declaration]
err = virtqueue_driver_signal(destnode->virtqueues.send_queue);
^
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c:170:17:
warning: implicit declaration of function ‘virtqueue_driver_poll’
[-Wimplicit-function-declaration]
if (virtqueue_driver_poll(destnode->virtqueues.send_queue) ==
1) {
^
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c: In function
‘virtio_net_notify_vswitch_recv’:
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c:215:5:
error: unknown type name ‘virtqueue_t’
virtqueue_t *rxdata_buff;
^
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c:234:23:
warning: implicit declaration of function ‘virtqueue_device_dequeue’
[-Wimplicit-function-declaration]
int dequeue_res = virtqueue_device_dequeue(node->virtqueues.recv_queue,
^
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c:249:27:
warning: implicit declaration of function ‘virtqueue_device_enqueue’
[-Wimplicit-function-declaration]
enqueue_res =
virtqueue_device_enqueue(node->virtqueues.recv_queue, available_buff,
available_buff_sz);
^
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c:275:11:
warning: implicit declaration of function ‘virtqueue_device_signal’
[-Wimplicit-function-declaration]
err = virtqueue_device_signal(node->virtqueues.recv_queue);
^
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c: In function
‘virtio_net_notify_vswitch’:
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c:292:17:
warning: implicit declaration of function ‘virtqueue_device_poll’
[-Wimplicit-function-declaration]
if
(virtqueue_device_poll(g_vswitch.nodes[i].virtqueues.recv_queue) == 1) {
^
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c: In function
‘make_vswitch_net’:
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c:312:44:
warning: passing argument 1 of ‘camkes_virtqueue_driver_init’ from
incompatible pointer type [-Wincompatible-pointer-types]
err = camkes_virtqueue_driver_init(&send_virtqueue,
mac_mapping.send_id);
^
In file included from
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c:29:0:
../tools/camkes/libsel4camkes/include/camkes/virtqueue.h:64:5: note:
expected ‘virtqueue_driver_t * {aka struct virtqueue_driver *}’ but
argument is of type ‘virtqueue_driver_t ** {aka struct virtqueue_driver **}’
int camkes_virtqueue_driver_init(virtqueue_driver_t *driver, unsigned int
camkes_virtqueue_id);
^
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c:317:44:
warning: passing argument 1 of ‘camkes_virtqueue_device_init’ from
incompatible pointer type [-Wincompatible-pointer-types]
err = camkes_virtqueue_device_init(&recv_virtqueue,
mac_mapping.recv_id);
^
In file included from
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c:29:0:
../tools/camkes/libsel4camkes/include/camkes/virtqueue.h:72:5: note:
expected ‘virtqueue_device_t * {aka struct virtqueue_device *}’ but
argument is of type ‘virtqueue_device_t ** {aka struct virtqueue_device **}’
int camkes_virtqueue_device_init(virtqueue_device_t *device, unsigned int
camkes_virtqueue_id);
^
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c:320:13:
warning: implicit declaration of function ‘camkes_virtqueue_driver_free’
[-Wimplicit-function-declaration]
camkes_virtqueue_driver_free(send_virtqueue);
^
../projects/camkes/vm/components/Init/src/virtio_net_vswitch.c:333:13:
warning: implicit declaration of function ‘camkes_virtqueue_device_free’
[-Wimplicit-function-declaration]
camkes_virtqueue_device_free(recv_virtqueue);
^
[5/127] Building C object
camkes-vm-li...MakeFiles/sel4camkes.dir/src/dma.c.obj
ninja: build stopped: subcommand failed.
==================================================================
and why this happing
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
