[119/323] Building C object util_libs/liblwip/CMakeFiles/lwip.dir/home/ventrue/SEL4_Based/Sofa-master/projects/libliwip/src/core/init.c.obj
FAILED: util_libs/liblwip/CMakeFiles/lwip.dir/home/ventrue/SEL4_Based/Sofa-master/projects/libliwip/src/core/init.c.obj
/usr/bin/ccache /usr/bin/gcc --sysroot=/home/ventrue/SEL4_Based/Sofa-master/build -I/home/ventrue/SEL4_Based/Sofa-master/projects/libliwip/src/include -I/home/ventrue/SEL4_Based/Sofa-master/projects/util_libs/liblwip/include -I/home/ventrue/SEL4_Based/Sofa-master/projects/util_libs/liblwip/include/lwip -I/home/ventrue/SEL4_Based/Sofa-master/build/musllibc/build-temp/stage/include -I/home/ventrue/SEL4_Based/Sofa-master/projects/Sofa/kernel_task/../../util_libs/liblwip/default_opts -m64 -D__KERNEL_64__ -march=nehalem -g -nostdinc -fno-pic -fno-pie -fno-stack-protector -fno-asynchronous-unwind-tables -ftls-model=local-exec -mtls-direct-seg-refs -m64 -D__KERNEL_64__ -march=nehalem -std=gnu11 -MD -MT util_libs/liblwip/CMakeFiles/lwip.dir/home/ventrue/SEL4_Based/Sofa-master/projects/libliwip/src/core/init.c.obj -MF util_libs/liblwip/CMakeFiles/lwip.dir/home/ventrue/SEL4_Based/Sofa-master/projects/libliwip/src/core/init.c.obj.d -o util_libs/liblwip/CMakeFiles/lwip.dir/home/ventrue/SEL4_Based/Sofa-master/projects/libliwip/src/core/init.c.obj -c /home/ventrue/SEL4_Based/Sofa-master/projects/libliwip/src/core/init.c
/home/ventrue/SEL4_Based/Sofa-master/projects/libliwip/src/core/init.c:328:2: error: #error "lwip_sanity_check: WARNING: TCP_WND is larger than space provided by PBUF_POOL_SIZE * (PBUF_POOL_BUFSIZE - protocol headers). If you know what you are doing, define LWIP_DISABLE_TCP_SANITY_CHECKS to 1 to disable this error."
328 | #error "lwip_sanity_check: WARNING: TCP_WND is larger than space provided by PBUF_POOL_SIZE * (PBUF_POOL_BUFSIZE - protocol headers). If you know what you are doing, define LWIP_DISABLE_TCP_SANITY_CHECKS to 1 to disable this error."
| ^~~~~
[121/323] Building C object util_libs/liblwip/CMakeFiles/lwip.dir/home/ventrue/SEL4_Based/Sofa-master/projects/libliwip/src/core/ipv4/autoip.c.obj
ninja: build stopped: subcommand failed.
[119/323] Building C object util_libs/liblwip/CMakeFiles/lwip.dir/home/ventrue/SEL4_Based/Sofa-master/projects/libliwip/src/core/init.c.obj
FAILED: util_libs/liblwip/CMakeFiles/lwip.dir/home/ventrue/SEL4_Based/Sofa-master/projects/libliwip/src/core/init.c.obj
/usr/bin/ccache /usr/bin/gcc --sysroot=/home/ventrue/SEL4_Based/Sofa-master/build -I/home/ventrue/SEL4_Based/Sofa-master/projects/libliwip/src/include -I/home/ventrue/SEL4_Based/Sofa-master/projects/util_libs/liblwip/include -I/home/ventrue/SEL4_Based/Sofa-master/projects/util_libs/liblwip/include/lwip -I/home/ventrue/SEL4_Based/Sofa-master/build/musllibc/build-temp/stage/include -I/home/ventrue/SEL4_Based/Sofa-master/projects/Sofa/kernel_task/../../util_libs/liblwip/default_opts -m64 -D__KERNEL_64__ -march=nehalem -g -nostdinc -fno-pic -fno-pie -fno-stack-protector -fno-asynchronous-unwind-tables -ftls-model=local-exec -mtls-direct-seg-refs -m64 -D__KERNEL_64__ -march=nehalem -std=gnu11 -MD -MT util_libs/liblwip/CMakeFiles/lwip.dir/home/ventrue/SEL4_Based/Sofa-master/projects/libliwip/src/core/init.c.obj -MF util_libs/liblwip/CMakeFiles/lwip.dir/home/ventrue/SEL4_Based/Sofa-master/projects/libliwip/src/core/init.c.obj.d -o util_libs/liblwip/CMakeFiles/lwip.dir/home/ventrue/SEL4_Based/Sofa-master/projects/libliwip/src/core/init.c.obj -c /home/ventrue/SEL4_Based/Sofa-master/projects/libliwip/src/core/init.c
/home/ventrue/SEL4_Based/Sofa-master/projects/libliwip/src/core/init.c:328:2: error: #error "lwip_sanity_check: WARNING: TCP_WND is larger than space provided by PBUF_POOL_SIZE * (PBUF_POOL_BUFSIZE - protocol headers). If you know what you are doing, define LWIP_DISABLE_TCP_SANITY_CHECKS to 1 to disable this error."
328 | #error "lwip_sanity_check: WARNING: TCP_WND is larger than space provided by PBUF_POOL_SIZE * (PBUF_POOL_BUFSIZE - protocol headers). If you know what you are doing, define LWIP_DISABLE_TCP_SANITY_CHECKS to 1 to disable this error."
| ^~~~~
[121/323] Building C object util_libs/liblwip/CMakeFiles/lwip.dir/home/ventrue/SEL4_Based/Sofa-master/projects/libliwip/src/core/ipv4/autoip.c.obj
ninja: build stopped: subcommand failed.