No networking for now

kernel/syscall/syscall.c

@@ -12,7 +12,6 @@
 #include "fs.h"
 #include "dev.h"
 #include "time.h"
-#include "ipcnetsock.h"
 
 int32_t SYSCALL1(sys_debugprint, string) {
   char *p = (char *)string;
@@ -65,10 +64,4 @@ SyscallFn SYSCALL_TABLE[SYSCALLS_MAX] = {
   [SYS_DEV_CMD]       = &sys_dev_cmd,
 
   [SYS_TIME]    = &sys_time,
-
-  [SYS_IPC_NETSOCKMAKE]     = &sys_ipc_netsockmake,
-  [SYS_IPC_NETSOCKLISTEN]   = &sys_ipc_netsocklisten,
-  [SYS_IPC_NETSOCKPOLLEV]   = &sys_ipc_netsockpollev,
-  [SYS_IPC_NETSOCKDELETE]   = &sys_ipc_netsockdelete,
-  [SYS_IPC_NETSOCKBINDPORT] = &sys_ipc_netsockbindport,
 };