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 devel-bounces@sel4.systems on behalf of Steven Harp steven.harp@adventiumlabs.com Sent: Saturday, July 29, 2017 3:27 AM To: devel@sel4.systems Subject: [seL4] rump kernel test, compilation issues
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
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel