set(TARGET_PUBLIC_HEADERS
libc.include.assert
libc.include.ctype
libc.include.dlfcn
libc.include.elf
libc.include.errno
libc.include.features
libc.include.fenv
libc.include.float
libc.include.stdint
libc.include.inttypes
libc.include.limits
libc.include.link
libc.include.math
libc.include.pthread
libc.include.signal
libc.include.stdckdint
libc.include.stdbit
libc.include.stdio
libc.include.stdlib
libc.include.string
libc.include.strings
libc.include.search
libc.include.sys_mman
libc.include.sys_socket
libc.include.sys_syscall
libc.include.sys_time
libc.include.threads
libc.include.time
libc.include.unistd
libc.include.wchar
libc.include.uchar
libc.include.sys_ioctl
# Disabled due to epoll_wait syscalls not being available on this platform.
# libc.include.sys_epoll
)