set(TARGET_PUBLIC_HEADERS
    libc.include.errno
    libc.include.uefi
)