WIP: Works.

But I don't like it much yet.

Makefile

@@ -1,10 +1,10 @@
 all:
-	arm-none-eabi-gcc -ggdb -mcpu=Cortex-M4 -mthumb -r -Tlibpqscheme.ld -fPIC -nostartfiles -o libpqscheme_test.elf libpqscheme_test.c -Iruntime_mps2/out/an386/pack/include
+	arm-none-eabi-gcc -ggdb -mcpu=Cortex-M4 -mthumb -Tlibpqscheme.ld -nostartfiles -o libpqscheme_test.elf libpqscheme_test.c -Iruntime_mps2/out/an386/pack/include -L/home/kris/repos/pqshield/epcc/out/armv7e-m/lib -I/home/kris/repos/pqshield/epcc/out/armv7e-m/inc -lmlkem -lsha3 -lcommon
 	arm-none-eabi-gcc -ggdb -mcpu=Cortex-M4 -mthumb -Truntime_mps2/out/an386/pack/lib/mps2.ld -nostartfiles -o runner.elf runner.c -Lruntime_mps2/out/an386/pack/lib -lmps2-an386_runtime -Iruntime_mps2/out/an386/pack/include
 	arm-none-eabi-ar rcs runner runner.elf
-
 	arm-none-eabi-objcopy -O binary libpqscheme_test.elf libpqscheme_test.bin
 
+
 run:
 	qemu-system-arm \
     	-M mps2-an386 \
@@ -12,11 +12,10 @@ run:
     	-nographic \
     	-kernel runner.elf \
     	-semihosting \
-		-device loader,file=libpqscheme_test.elf,addr=0x20000000
+		-device loader,file=libpqscheme_test.bin,addr=0x20000000
 #		-S -gdb tcp::1234
 #	    -monitor unix:/tmp/qemu-monitor,server,nowait
 
-
 clean:
 	rm -rf *.o *.a *.elf *.bin
 	rm -rf runner