manu88 / sofa Goto Github PK

[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.

• messages to kernel_task might return a flag indicating that a signal is to be handled
• an other thread (in the process) might run in // and exec sig handlers. It would be libSofa's job to start the sig handler thread at program startup

All Services implemented in kernel_task share a huge amount of code. refactor NetService, VFSService and DeviceKitService by adding a common 'base' implementation & helpers

/home/wangjh/work/sofa/Sofa/projects/Sofa/libSofa/src/runtime.c: In function ‘RuntimeInit’:
/home/wangjh/work/sofa/Sofa/projects/Sofa/libSofa/src/runtime.c:96:8: error: ‘struct env’ has no member named ‘io_space’
96 | env.io_space = init_data->io_space;
| ^

What's wrong, any ideas?

And share the same IPC semantics so that we can use them like file descriptors