A couple of issues building the latest seL4 NetBSD rumpkernel demoapps, hello-ia32-x86_64_qemu_defconfig / hello-x86_64-x86_64_qemu_defconfig. (Ref: https://github.com/SEL4PROJ/rumprun-sel4-demoapps ) 1. In libsel4muslcsys sys_morecore.c:
/host/libs/libsel4muslcsys/src/sys_morecore.c:248:16: error: ‘vaddr’ undeclared (first use in this function) return vaddr; ^ Speculatively, should it return: (long) placement_vaddr ?
2. In rumprun/platform/sel4/entry.c
entry.c:91:9: error: implicit declaration of function 'allocman_add_untypeds_from_timer_objects' [-Werror=implicit-function-declaration] allocman_add_untypeds_from_timer_objects(allocator, env->custom_simple.timer_config.hw.to);
Not sure where this function should be found... Same results in native build (Xenial) and in docker build container. Any suggestions warmly appreciated. // Steve
Hi Steve,
I believe this is due to the order that we automatically push our libraries to Github. If you try again now it should work.
Kind regards,
Kent.
________________________________________
From: Devel
/host/libs/libsel4muslcsys/src/sys_morecore.c:248:16: error: ‘vaddr’ undeclared (first use in this function) return vaddr; ^ Speculatively, should it return: (long) placement_vaddr ?
2. In rumprun/platform/sel4/entry.c
entry.c:91:9: error: implicit declaration of function 'allocman_add_untypeds_from_timer_objects' [-Werror=implicit-function-declaration] allocman_add_untypeds_from_timer_objects(allocator, env->custom_simple.timer_config.hw.to);
Not sure where this function should be found... Same results in native build (Xenial) and in docker build container. Any suggestions warmly appreciated. // Steve _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
participants (2)
-
Kent.Mcleod＠data61.csiro.au -
Steven Harp