building uxmhf collection... uberspark staging switch uxmhf-pc uberspark >> enforcing verifiable object abstractions for commodity system software stacks uberspark >> front-end tool uberspark >> version: 5.1 uberspark >> website: https://uberspark.org uberspark >> creator: amit vasudevan uberspark >> uberspark >> Loading current configuration...uberspark >> config_ns_json_path=/home/yeeb16/uberspark/staging/uxmhf-pc/uberspark/config/uberspark.json [OK] uberspark >> successfully switched to staging: 'uxmhf-pc' uberspark uobjcoll build -v --platform=pc --arch=x86_32 --cpu=generic . uberspark >> enforcing verifiable object abstractions for commodity system software stacks uberspark >> front-end tool uberspark >> version: 5.1 uberspark >> website: https://uberspark.org uberspark >> creator: amit vasudevan uberspark >> uberspark >> namespace root dir prefix=/home/yeeb16 uberspark >> staging dir prefix=/home/yeeb16/uberspark/staging/uxmhf-pc uberspark >> Loading current configuration...uberspark >> config_ns_json_path=/home/yeeb16/uberspark/staging/uxmhf-pc/uberspark/config/uberspark.json [OK] uberspark >> uobj collection build start... uberspark >> uobj collection path ns=/home/yeeb16/uberspark/staging/uxmhf-pc/uberspark/uobjcoll/platform/pc/uxmhf uberspark >> uobj collection uobjs=1 uberspark >> intrauobjcoll sentinels=1 uberspark >> uobjcoll_publicmethods sentinels=1 uberspark >> create_sentinels_hashtbl: total unique uobjcoll_publicmethods sentinels=1 uberspark >> sentinel_mf_filename=/home/yeeb16/uberspark/staging/uxmhf-pc/uberspark/sentinels/cpu/x86_32/generic/any/interuobjcoll/call/uberspark.json uberspark >> create_sentinels_hashtbl: adding key=call uberspark >> create_sentinels_hashtbl: total unique uobjcoll_publicmethods sentinels=1 uberspark >> sentinel_mf_filename=/home/yeeb16/uberspark/staging/uxmhf-pc/uberspark/sentinels/cpu/x86_32/generic/any/intrauobjcoll/call/uberspark.json uberspark >> create_sentinels_hashtbl: adding key=call uberspark >> create_sentinels_hashtbl: total unique intrauobjcoll sentinels=1 uberspark >> created uobj collection uobjcoll_publicmethods and intrauobjcoll sentinels hashtbl uberspark >> loading cc-bridge settings from file: /home/yeeb16/uberspark/bridges/cc-bridge/container/amd64/x86_32/generic/gcc/v5.4.0/uberspark.json uberspark >> loaded cc_bridge settings uberspark >> building cc-bridge: bridges/cc-bridge/container/amd64/x86_32/generic/gcc/v5.4.0 uberspark >> [docker] Sending build context to Docker daemon 3.584kB uberspark >> [docker] Step 1/3 : FROM amd64/ubuntu:16.04 uberspark >> [docker] ---> c522ac0d6194 uberspark >> [docker] Step 2/3 : MAINTAINER Amit Vasudevan uberspark >> [docker] ---> Using cache uberspark >> [docker] ---> 7d85b006d75f uberspark >> [docker] Step 3/3 : RUN apt-get update && apt-get -y install gcc gcc-multilib binutils uberspark >> [docker] ---> Using cache uberspark >> [docker] ---> 8f81b9387516 uberspark >> [docker] Successfully built 8f81b9387516 uberspark >> [docker] Successfully tagged uberspark/bridges/cc-bridge/container/amd64/x86_32/generic/gcc/v5.4.0:latest uberspark >> cc_bridge build success uberspark >> loading as-bridge settings from file: /home/yeeb16/uberspark/bridges/as-bridge/container/amd64/x86_32/generic/gnu-as/v2.26.1/uberspark.json uberspark >> loaded as_bridge settings uberspark >> building as-bridge: bridges/as-bridge/container/amd64/x86_32/generic/gnu-as/v2.26.1 uberspark >> [docker] Sending build context to Docker daemon 3.584kB uberspark >> [docker] Step 1/3 : FROM amd64/ubuntu:16.04 uberspark >> [docker] ---> c522ac0d6194 uberspark >> [docker] Step 2/3 : MAINTAINER Amit Vasudevan uberspark >> [docker] ---> Using cache uberspark >> [docker] ---> 7d85b006d75f uberspark >> [docker] Step 3/3 : RUN apt-get update && apt-get -y install gcc gcc-multilib binutils uberspark >> [docker] ---> Using cache uberspark >> [docker] ---> 8f81b9387516 uberspark >> [docker] Successfully built 8f81b9387516 uberspark >> [docker] Successfully tagged uberspark/bridges/as-bridge/container/amd64/x86_32/generic/gnu-as/v2.26.1:latest uberspark >> as_bridge build success uberspark >> loading ld-bridge settings from file: /home/yeeb16/uberspark/bridges/ld-bridge/container/amd64/x86_32/generic/gnu-ld/v2.26.1/uberspark.json uberspark >> ERROR: could not find valid header within manifest! uberspark >> loaded ld_bridge settings uberspark >> building ld-bridge: bridges/ld-bridge/container/amd64/x86_32/generic/gnu-ld/v2.26.1 uberspark >> [docker] Sending build context to Docker daemon 3.584kB uberspark >> [docker] Step 1/3 : FROM amd64/ubuntu:16.04 uberspark >> [docker] ---> c522ac0d6194 uberspark >> [docker] Step 2/3 : MAINTAINER Amit Vasudevan uberspark >> [docker] ---> Using cache uberspark >> [docker] ---> 7d85b006d75f uberspark >> [docker] Step 3/3 : RUN apt-get update && apt-get -y install gcc gcc-multilib binutils uberspark >> [docker] ---> Using cache uberspark >> [docker] ---> 8f81b9387516 uberspark >> [docker] Successfully built 8f81b9387516 uberspark >> [docker] Successfully tagged uberspark/bridges/ld-bridge/container/amd64/x86_32/generic/gnu-ld/v2.26.1:latest uberspark >> ld_bridge build success uberspark >> collect_uobjinfo: total collection uobjs=1 uberspark >> successfully collected uobj information uberspark >> namespace root=/home/yeeb16/uberspark/staging/uxmhf-pc/uberspark/ uberspark >> abs_uobjcoll_path_ns=/home/yeeb16/fork-uberxmhf/uxmhf/uxmhf-uobjcoll/. uberspark >> in_namespace_build=false uberspark >> prepping for out-of-namespace build... uberspark >> d_path_ns=/home/yeeb16/uberspark/staging/uxmhf-pc/uberspark/uobjcoll/platform/pc/uxmhf uberspark >> uobjcoll canonical build namespace ready uberspark >> initializing uobj 'main'... uberspark >> uobj target spec => :: uberspark >> uobj target definition => pc:x86_32:generic uberspark >> json_node_uberspark_uobj_to_var: retval=true uberspark >> total sources: h files=21, c files=139, casm files=9, asm files=0 uberspark >> total public methods:0,0 uberspark >> list of uobj-intrauobjcoll-callees follows: uberspark >> total interuobjcoll callees=0 uberspark >> total legacy callees=1 uberspark >> binary sections override:0 uberspark >> successfully parsed uobj manifest uberspark >> reading slt manifest from:/home/yeeb16/uberspark/staging/uxmhf-pc/uberspark/uobjslt/x86_32/generic/uberspark.json uberspark >> Consolidating uobj section memory map... uberspark >> section at address 0x00000000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x00200000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x00400000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x00600000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x00800000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x00a00000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x00c00000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x00e00000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x01000000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x01200000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x01400000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x01600000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x01800000, size=0x00200000 padding=0x00000000 uberspark >> uobj section memory map initialized uberspark >> uobj 'main' successfully initialized; size=0x02400000 uberspark >> initialized uobjs within collection uberspark >> adding public method info for uobj 'main', total public methods=0 uberspark >> uobjcoll uobjs publicmethods hashtbl dump follows: uberspark >> create_uobjs_publicmethods_list_mforder [START] uberspark >> adding public method info for uobj 'main', total public methods=0 uberspark >> uobjcoll uobjs publicmethods assoc list dump follows: uberspark >> create_uobjs_publicmethods_list_mforder [END] uberspark >> created uobj collection uobjs public methods hashtable and association list uberspark >> proceeding to add inter-uobjcoll sentinel sections... uberspark >> pm_name=uberspark_uobjcoll_platform_x86_uxmhf_main__main uberspark >> sentinel type=call, size=0x00001000 uberspark >> added section for uobjcoll_publicmethods sentinel '.section_uobjcoll_publicmethod_sentinel_uberspark_uobjcoll_platform_x86_uxmhf_main__main__call' at 0x60000000, size=00200000... uberspark >> proceeding to add intra-uobjcoll sentinel sections... uberspark >> proceeding to add uobj sections... uberspark >> adding section for uobj 'main' at 0x60200000, size=02400000... uberspark >> File "uberspark_uobjcoll.ml", line 663, characters 93-100: d_load_address=0x60000000, d_size=0x02600000 uberspark >> consolidated uobj collection sections, total size=0x02600000 uberspark >> File "uberspark_uobjcoll.ml", line 497, characters 103-110: total d_memorymapped_sections_list elements=2 uberspark >> computing memory-map for uobj 'main' at load-address=0x60200000... uberspark >> section at address 0x60200000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x60400000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x60600000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x60800000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x60a00000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x60c00000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x60e00000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x61000000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x61200000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x61400000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x61600000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x61800000, size=0x00200000 padding=0x00000000 uberspark >> section at address 0x61a00000, size=0x00200000 padding=0x00000000 uberspark >> computed uobj section memory map for all uobjs within collection uberspark >> adding public method info for uobj 'main', total public methods=0 uberspark >> uobjcoll uobjs publicmethods hashtbl dump follows: uberspark >> created uobj collection uobjs public methods hashtable and association list with address uberspark: internal error, uncaught exception: Not_found Makefile:10: recipe for target 'all' failed make: *** [all] Error 125