contiki/cpu/x86/uefi
..
bootstrap_uefi.c
build_uefi.sh