set(TARGET_PUBLIC_HEADERS
    libc.include.assert
    libc.include.ctype
    libc.include.dirent
    libc.include.errno
    libc.include.fcntl
    libc.include.features
    libc.include.fenv
    libc.include.float
    libc.include.stdint
    libc.include.inttypes
    libc.include.limits
    libc.include.math
    libc.include.pthread
    libc.include.sched
    libc.include.signal
    libc.include.spawn
    libc.include.setjmp
    libc.include.stdckdint
    libc.include.stdbit
    libc.include.stdio
    libc.include.stdlib
    libc.include.string
    libc.include.strings
    libc.include.search
    libc.include.termios
    libc.include.threads
    libc.include.time
    libc.include.unistd
    libc.include.wchar
    libc.include.uchar

    libc.include.arpa_inet

    libc.include.sys_auxv
    # Disabled due to epoll_wait syscalls not being available on this platform.
    # libc.include.sys_epoll
    libc.include.sys_ioctl
    libc.include.sys_mman
    libc.include.sys_prctl
    libc.include.sys_random
    libc.include.sys_queue
    libc.include.sys_resource
    libc.include.sys_select
    libc.include.sys_socket
    libc.include.sys_stat
    libc.include.sys_syscall
    libc.include.sys_time
    libc.include.sys_types
    libc.include.sys_utsname
    libc.include.sys_wait
)