kolibrios-gitea/kernel/trunk/bootloader/uefi4kos
..
kolibri.ini
Tupfile.lua
uefi32.inc
uefi32kos.asm
uefi64.inc
uefi64kos.asm
uefi.inc