1.1 --- a/libipc/lib/src/Makefile	Tue May 10 16:50:21 2022 +0200
     1.2 +++ b/libipc/lib/src/Makefile	Tue May 10 22:39:15 2022 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4  
     1.5  TARGET		= libipc.a libipc.so
     1.6  PC_FILENAME 	= libipc
     1.7 -SRC_C		= cap_alloc.c direct.c irq.c mem_ipc.c message.c semaphore.c server.c thread.c util_ipc.c
     1.8 +SRC_C		= cap_alloc.c direct.c irq.c map.c mem_ipc.c message.c semaphore.c server.c thread.c util_ipc.c
     1.9  REQUIRES_LIBS   = l4re_c-util
    1.10  
    1.11  PRIVATE_INCDIR += $(PKGDIR)/include/ipc