LIBPOSIX_EVENTFD_SRCS-y += $(LIBPOSIX_EVENTFD_BASE)/eventfd.c
+ifeq ($(CONFIG_LIBPOSIX_FDTAB), y)
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_EVENTFD) += eventfd-1
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_EVENTFD) += eventfd2-2
+endif
LIBPOSIX_FDIO_SRCS-y += $(LIBPOSIX_FDIO_BASE)/fdctl.c
LIBPOSIX_FDIO_SRCS-$(CONFIG_LIBPOSIX_FDTAB) += $(LIBPOSIX_FDIO_BASE)/fd-shim.c
+ifeq ($(CONFIG_LIBPOSIX_FDTAB), y)
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_FDIO) += preadv2-5
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_FDIO) += preadv-4
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_FDIO) += pread64-4
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_FDIO) += fcntl-3
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_FDIO) += ioctl-3
+endif
LIBPOSIX_PIPE_SRCS-y += $(LIBPOSIX_PIPE_BASE)/pipe.c
+ifeq ($(CONFIG_LIBPOSIX_FDTAB), y)
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_PIPE) += pipe-1
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_PIPE) += pipe2-2
+endif
LIBPOSIX_SOCKET_SRCS-y += $(LIBPOSIX_SOCKET_BASE)/socket.c
LIBPOSIX_SOCKET_SRCS-y += $(LIBPOSIX_SOCKET_BASE)/driver_list.ld
+ifeq ($(CONFIG_LIBPOSIX_FDTAB), y)
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_SOCKET) += socket-3
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_SOCKET) += accept-3
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_SOCKET) += accept4-4
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_SOCKET) += sendmsg-3
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_SOCKET) += socketpair-4
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_SOCKET) += shutdown-2
+endif
LIBPOSIX_TIMERFD_SRCS-y += $(LIBPOSIX_TIMERFD_BASE)/timerfd.c
+ifeq ($(CONFIG_LIBPOSIX_FDTAB), y)
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_TIMERFD) += timerfd_create-2
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_TIMERFD) += timerfd_settime-4
UK_PROVIDED_SYSCALLS-$(CONFIG_LIBPOSIX_TIMERFD) += timerfd_gettime-2
+endif