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