Running: /nix/store/14307mdmyhpnmigd0d7cj258llv102g7-i386-elf-gcc-wrapper-15.2.0/bin/i386-elf-gcc -O0 -m32 -ffunction-sections -fdata-sections -ffreestanding -fpermissive -ggdb3 -Itargets/wasm-tacle/kernel/binarysearch/generated/modified_sources/default -c targets/wasm-module/tacle-kernel-binarysearch.cpp -o build-tacle-kernel-binarysearch/c_module.o In file included from targets/wasm-module/tacle-kernel-binarysearch.cpp:1: targets/wasm-module/../lib.h:64:26: warning: ‘import_module’ attribute directive ignored [-Wattributes] 64 | fail_start_trace(void); // Mark start of injection | ^ targets/wasm-module/../lib.h:64:26: warning: ‘import_name’ attribute directive ignored [-Wattributes] targets/wasm-module/../lib.h:66:25: warning: ‘import_module’ attribute directive ignored [-Wattributes] 66 | fail_stop_trace(void); // Mark end of injection | ^ targets/wasm-module/../lib.h:66:25: warning: ‘import_name’ attribute directive ignored [-Wattributes] targets/wasm-module/../lib.h:68:30: warning: ‘import_module’ attribute directive ignored [-Wattributes] 68 | fail_marker_positive(void); // Everything ok | ^ targets/wasm-module/../lib.h:68:30: warning: ‘import_name’ attribute directive ignored [-Wattributes] targets/wasm-module/../lib.h:70:30: warning: ‘import_module’ attribute directive ignored [-Wattributes] 70 | fail_marker_detected(void); // Everything ok | ^ targets/wasm-module/../lib.h:70:30: warning: ‘import_name’ attribute directive ignored [-Wattributes] targets/wasm-module/../lib.h:72:30: warning: ‘import_module’ attribute directive ignored [-Wattributes] 72 | fail_marker_negative(void); // Invalid code | ^ targets/wasm-module/../lib.h:72:30: warning: ‘import_name’ attribute directive ignored [-Wattributes] targets/wasm-module/../lib.h:73:52: warning: ‘import_module’ attribute directive ignored [-Wattributes] 73 | void NOINLINE IMPORT("print") print(const char *msg); | ^ targets/wasm-module/../lib.h:73:52: warning: ‘import_name’ attribute directive ignored [-Wattributes] targets/wasm-module/tacle-kernel-binarysearch.cpp:10:43: warning: ‘export_name’ attribute directive ignored [-Wattributes] 10 | EXPORT("wasm_module") int wasm_module(void) { | ^ Running: /nix/store/14307mdmyhpnmigd0d7cj258llv102g7-i386-elf-gcc-wrapper-15.2.0/bin/i386-elf-gcc -O0 -m32 -ffunction-sections -fdata-sections -ffreestanding -fpermissive -ggdb3 -Itargets/wasm-tacle/kernel/binarysearch/generated/modified_sources/default -Dmain=tacle_main_bullshit -c targets/wasm-tacle/kernel/binarysearch/generated/modified_sources/default/binarysearch.c -o build-tacle-kernel-binarysearch/tacle_binarysearch.o targets/wasm-tacle/kernel/binarysearch/generated/modified_sources/default/binarysearch.c:40:1: warning: ‘import_module’ attribute directive ignored [-Wattributes] 40 | __pragma_loopbound(unsigned int min_bound, unsigned int max_bound); | ^~~~~~~~~~~~~~~~~~ targets/wasm-tacle/kernel/binarysearch/generated/modified_sources/default/binarysearch.c:40:1: warning: ‘import_name’ attribute directive ignored [-Wattributes] targets/wasm-tacle/kernel/binarysearch/generated/modified_sources/default/binarysearch.c:48:1: warning: ‘export_name’ attribute directive ignored [-Wattributes] 48 | binarysearch_main(void); | ^~~~~~~~~~~~~~~~~ targets/wasm-tacle/kernel/binarysearch/generated/modified_sources/default/binarysearch.c:49:1: warning: ‘export_name’ attribute directive ignored [-Wattributes] 49 | __attribute__((noinline)) __attribute__((export_name("main"))) int main(void); | ^~~~~~~~~~~~~ targets/wasm-tacle/kernel/binarysearch/generated/modified_sources/default/binarysearch.c:143:1: warning: ‘export_name’ attribute directive ignored [-Wattributes] 143 | binarysearch_main(void) { | ^~~~~~~~~~~~~~~~~ targets/wasm-tacle/kernel/binarysearch/generated/modified_sources/default/binarysearch.c:148:1: warning: ‘export_name’ attribute directive ignored [-Wattributes] 148 | main(void) { | ^~~~ Running: /nix/store/14307mdmyhpnmigd0d7cj258llv102g7-i386-elf-gcc-wrapper-15.2.0/bin/i386-elf-gcc -O0 -m32 -ffunction-sections -fdata-sections -ffreestanding -fpermissive -ggdb3 -DTARGET_FAIL -c targets/c-host/c_host.c -o build-tacle-kernel-binarysearch/c_host.o In file included from targets/c-host/c_host.c:1: targets/c-host/../lib.h:64:5: warning: ‘import_module’ attribute directive ignored [-Wattributes] 64 | fail_start_trace(void); // Mark start of injection | ^~~~~~~~~~~~~~~~ targets/c-host/../lib.h:64:5: warning: ‘import_name’ attribute directive ignored [-Wattributes] targets/c-host/../lib.h:66:5: warning: ‘import_module’ attribute directive ignored [-Wattributes] 66 | fail_stop_trace(void); // Mark end of injection | ^~~~~~~~~~~~~~~ targets/c-host/../lib.h:66:5: warning: ‘import_name’ attribute directive ignored [-Wattributes] targets/c-host/../lib.h:68:5: warning: ‘import_module’ attribute directive ignored [-Wattributes] 68 | fail_marker_positive(void); // Everything ok | ^~~~~~~~~~~~~~~~~~~~ targets/c-host/../lib.h:68:5: warning: ‘import_name’ attribute directive ignored [-Wattributes] targets/c-host/../lib.h:70:5: warning: ‘import_module’ attribute directive ignored [-Wattributes] 70 | fail_marker_detected(void); // Everything ok | ^~~~~~~~~~~~~~~~~~~~ targets/c-host/../lib.h:70:5: warning: ‘import_name’ attribute directive ignored [-Wattributes] targets/c-host/../lib.h:72:5: warning: ‘import_module’ attribute directive ignored [-Wattributes] 72 | fail_marker_negative(void); // Invalid code | ^~~~~~~~~~~~~~~~~~~~ targets/c-host/../lib.h:72:5: warning: ‘import_name’ attribute directive ignored [-Wattributes] targets/c-host/../lib.h:73:1: warning: ‘import_module’ attribute directive ignored [-Wattributes] 73 | void NOINLINE IMPORT("print") print(const char *msg); | ^~~~ targets/c-host/../lib.h:73:1: warning: ‘import_name’ attribute directive ignored [-Wattributes] Running: /nix/store/14307mdmyhpnmigd0d7cj258llv102g7-i386-elf-gcc-wrapper-15.2.0/bin/i386-elf-gcc targets/startup.s -I./targets/wasm-host -O0 -m32 -ffunction-sections -fdata-sections -ffreestanding -fpermissive -ggdb3 -c -o build-tacle-kernel-binarysearch/startup.o Running: /nix/store/14307mdmyhpnmigd0d7cj258llv102g7-i386-elf-gcc-wrapper-15.2.0/bin/i386-elf-gcc -Wl,-T targets/linker.ld build-tacle-kernel-binarysearch/c_host.o build-tacle-kernel-binarysearch/startup.o build-tacle-kernel-binarysearch/c_module.o build-tacle-kernel-binarysearch/tacle_binarysearch.o -Wl,--build-id=none -static -nostdlib -m32 -lc -lgcc -lm -o build-tacle-kernel-binarysearch/system.elf Running: grub-mkrescue -o build-tacle-kernel-binarysearch/system.iso build-tacle-kernel-binarysearch/grub xorriso 1.5.6 : RockRidge filesystem manipulator, libburnia project. xorriso : NOTE : Environment variable SOURCE_DATE_EPOCH encountered with value 315532800 Drive current: -outdev 'stdio:build-tacle-kernel-binarysearch/system.iso' Media current: stdio file, overwriteable Media status : is blank Media summary: 0 sessions, 0 data blocks, 0 data, 1455g free Added to ISO image: directory '/'='/tmp/nix-shell.8yWjlY/grub.DcCMmm' xorriso : UPDATE : 336 files added in 1 seconds Added to ISO image: directory '/'='/home/christoph/Notes/TU/MastersThesis/FailNix/build-tacle-kernel-binarysearch/grub' xorriso : UPDATE : 340 files added in 1 seconds xorriso : NOTE : Copying to System Area: 512 bytes from file '/nix/store/mr3p5k3by5pan1mljbcv88h0h5nxnzz2-grub-2.12/lib/grub/i386-pc/boot_hybrid.img' ISO image produced: 5254 sectors Written to medium : 5254 sectors at LBA 0 Writing to 'stdio:build-tacle-kernel-binarysearch/system.iso' completed successfully.