set(TARGET_PUBLIC_HEADERS
    libc.include.assert
    libc.include.ctype
    libc.include.string
    libc.include.float
    libc.include.inttypes
    libc.include.math
    libc.include.fenv
    libc.include.time
    libc.include.errno
    libc.include.stdlib
    libc.include.stdio

    # Header for RPC extensions
    libc.include.gpu_rpc
)
