SOCKETS_SRCS = drivers/sockets/sockets.c SOCKETS_EXTRA = drivers/sockets/module.mk