camkes
camkes copied to clipboard
seL4
Component Architecture test suite and example apps.
Hello, I'm trying to get an example of native networking to run under QEMU. I've managed to build `picoserver`, `picotcp_single_component`, and `picotcp_tcp_echo` for x86_64 (after fixing some minor compilation and...
When trying to build `picotcp_single_component` for x86_64, I get the following linker errors: ``` /nix/store/8fp4y8kvs8ydswag15cx1dspgbpz10yi-gcc-arm-embedded-11.3.rel1/bin/../lib/gcc/arm-none-eabi/11.3.1/../../../../arm-none-eabi/ bin/ld: CMakeFiles/bench.instance.bin.dir/bench/camkes.environment.c.obj: in function `component_control_main': /home/user/camkes-manifest/picotcp_single_component/bench/camkes.environment.c:34: undefined reference to `run' /nix/store/8fp4y8kvs8ydswag15cx1dspgbpz10yi-gcc-arm-embedded-11.3.rel1/bin/../lib/gcc/arm-none-eabi/11.3.1/../../../../arm-none-eabi/ bin/ld: CMakeFiles/bench.instance.bin.dir/bench/idle_seL4RPCCall_0.c.obj: in function...
This is a simple 2 component echo server with a driver in one address space and the network stack and echo server in the other. This has been benchmarked and...
This project uses the ethdriver global component and liblwip to provide a UDP echo server. It was taken, in part from the camkes-apps-ethernet-demo-x86--devel but currently only works with EthdriverARMPlat as...
Apologies if this is the wrong place for this question, but I am having a problem with the PicoServer App. Essentially, I have ported an ethernet driver from the Zynq7000...
when I do as [https://github.com/seL4/camkes/blob/master/apps/debug-simple/README.md](url) ,but the directory doesn't exist a MakeFile.Is it right?
I would like to point out that identifiers like "[`_PAYLOAD_`](https://github.com/seL4/camkes/blob/b08cb3b4769dce44de39e10d1c7608c6971e91ba/apps/adder/components/Adder/include/payload.h#L11)" and "[`_SOCKET_`](https://github.com/seL4/camkes/blob/b08cb3b4769dce44de39e10d1c7608c6971e91ba/apps/socket/components/Sender/include/socket.h#L11)" [do not fit](https://www.securecoding.cert.org/confluence/display/seccode/DCL37-C.+Do+not+declare+or+define+a+reserved+identifier#DCL37-C.Donotdeclareordefineareservedidentifier-NoncompliantCodeExample%28HeaderGuard%29) to the expected naming convention of the C language standard. Would you like to adjust...
