├── .github ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md └── workflows │ ├── pr.yml │ ├── push.yml │ ├── test.yml │ ├── trigger.yml │ └── vm-test.yml ├── .gitignore ├── .licenseignore ├── CMakeLists.txt ├── LICENSE.md ├── LICENSES ├── BSD-2-Clause.txt ├── CC-BY-SA-4.0.txt ├── GPL-2.0-only.txt └── MIT.txt ├── README.md ├── apps ├── RPCOverMultiSharedData │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ ├── Adder │ │ │ ├── Adder.camkes │ │ │ └── src │ │ │ │ └── adder.c │ │ └── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ └── client.c │ ├── include │ │ └── payload.h │ ├── interfaces │ │ └── Addition.idl4 │ └── project.camkes ├── adder │ ├── CMakeLists.txt │ ├── README.md │ ├── adder.camkes │ ├── components │ │ ├── Adder │ │ │ ├── Adder.camkes │ │ │ ├── CMakeLists.txt │ │ │ ├── include │ │ │ │ └── payload.h │ │ │ └── src │ │ │ │ └── adder.c │ │ └── Client │ │ │ ├── CMakeLists.txt │ │ │ ├── Client.camkes │ │ │ ├── include │ │ │ └── payload.h │ │ │ └── src │ │ │ └── client.c │ └── interfaces │ │ └── Addition.idl4 ├── aeroplage │ ├── CMakeLists.txt │ ├── README.md │ ├── aeroplage.camkes │ └── components │ │ ├── KeyboardDriver │ │ └── driver.c │ │ ├── MockLinux │ │ └── mocklinux.c │ │ ├── Switch │ │ └── switch.c │ │ └── VESADriver │ │ ├── chars.c │ │ ├── chars.sh │ │ └── vesadriver.c ├── alignment │ ├── CMakeLists.txt │ ├── README.md │ ├── alignment.camkes │ ├── client.c │ ├── common │ │ ├── common.S │ │ └── common.h │ └── server.c ├── attributes │ ├── CMakeLists.txt │ ├── README.md │ ├── attributes.camkes │ ├── bar.c │ └── foo.c ├── binary-semaphore │ ├── CMakeLists.txt │ ├── README.md │ ├── binary-semaphore.camkes │ └── src │ │ ├── client.c │ │ ├── periodic.c │ │ └── server.c ├── cakeml_hello │ ├── CMakeLists.txt │ ├── README.md │ ├── cakeml_hello.camkes │ ├── client.c │ └── componentScript.sml ├── cakeml_regex │ ├── CMakeLists.txt │ ├── README.md │ ├── cakeml_regex.camkes │ ├── components │ │ ├── CakeMLFilter │ │ │ ├── CakeMLFilter.camkes │ │ │ ├── componentScript.sml │ │ │ ├── emit_string.c │ │ │ └── filterProgScript.sml │ │ ├── Consumer │ │ │ ├── Consumer.camkes │ │ │ └── consumer.c │ │ └── Producer │ │ │ ├── Producer.camkes │ │ │ └── producer.c │ └── interfaces │ │ └── TransferString.idl4 ├── cakeml_tipc │ ├── CMakeLists.txt │ ├── README.md │ ├── cakeml_tipc.camkes │ └── components │ │ ├── cakeml-filter │ │ ├── componentScript.sml │ │ └── global_endpoint.c │ │ └── client │ │ └── client.c ├── cms-donate │ ├── CMakeLists.txt │ ├── cms-donate.camkes │ ├── components │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── client.c │ │ ├── Intermediate │ │ │ ├── Intermediate.camkes │ │ │ └── src │ │ │ │ └── intermediate.c │ │ └── Server │ │ │ ├── Server.camkes │ │ │ └── src │ │ │ └── server.c │ └── interfaces │ │ └── Echo.idl4 ├── cs-donate │ ├── CMakeLists.txt │ ├── components │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── client.c │ │ └── Server │ │ │ ├── Server.camkes │ │ │ └── src │ │ │ └── server.c │ ├── cs-donate.camkes │ └── interfaces │ │ └── Echo.idl4 ├── cs-nodonate │ ├── CMakeLists.txt │ ├── components │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── client.c │ │ └── Server │ │ │ ├── Server.camkes │ │ │ └── src │ │ │ └── server.c │ ├── cs-nodonate.camkes │ └── interfaces │ │ └── Echo.idl4 ├── dataport │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ └── DataportTest │ │ │ ├── DataportTest.camkes │ │ │ └── src │ │ │ └── client.c │ └── dataport.camkes ├── debug-simple │ ├── CMakeLists.txt │ ├── README.md │ ├── Simple.idl4 │ ├── client.c │ ├── debug-simple.camkes │ ├── debug-simple.tcl │ ├── echo.c │ └── settings.cmake ├── dhcp │ ├── CMakeLists.txt │ ├── dhcp.camkes │ └── src │ │ ├── client.c │ │ ├── server.c │ │ ├── util.c │ │ └── util.h ├── dma-example │ ├── CMakeLists.txt │ ├── client.c │ ├── dma-example.camkes │ └── server.c ├── epit │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ └── Driver │ │ │ ├── Driver.camkes │ │ │ └── src │ │ │ └── driver.c │ └── epit.camkes ├── event-driven │ ├── CMakeLists.txt │ ├── components │ │ ├── Collector │ │ │ ├── Collector.camkes │ │ │ └── src │ │ │ │ └── collector.c │ │ └── Emitter │ │ │ ├── Emitter.camkes │ │ │ └── src │ │ │ └── emitter.c │ └── event-driven.camkes ├── event │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ ├── Collector │ │ │ ├── Collector.camkes │ │ │ └── src │ │ │ │ └── collector.c │ │ └── Emitter │ │ │ ├── Emitter.camkes │ │ │ └── src │ │ │ └── emitter.c │ └── event.camkes ├── exchangestring │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── client.c │ │ └── Server │ │ │ ├── Server.camkes │ │ │ └── src │ │ │ └── main.c │ ├── exchangestring.camkes │ └── interfaces │ │ └── ExchangeString.idl4 ├── fdtgen │ ├── CMakeLists.txt │ ├── fdt_utils.c │ ├── fdt_utils.h │ ├── fdtgen.c │ └── fdtgen.camkes ├── filter │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── client.c │ │ ├── Filter │ │ │ ├── Filter.camkes │ │ │ └── src │ │ │ │ └── main.c │ │ └── Store │ │ │ ├── Store.camkes │ │ │ └── src │ │ │ └── main.c │ ├── filter.camkes │ └── interfaces │ │ └── Lookup.idl4 ├── global-imports │ ├── CMakeLists.txt │ ├── components │ │ └── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ └── main.c │ ├── global-imports.camkes │ └── global │ │ ├── CMakeLists.txt │ │ ├── components │ │ ├── Printer │ │ │ ├── CMakeLists.txt │ │ │ ├── Printer.camkes │ │ │ └── src │ │ │ │ └── main.c │ │ ├── Server │ │ │ ├── CMakeLists.txt │ │ │ ├── Server.camkes │ │ │ └── src │ │ │ │ └── main.c │ │ └── common_port_types │ │ │ └── shared_int.h │ │ └── interfaces │ │ ├── GetterIface │ │ ├── CMakeLists.txt │ │ └── GetterIface.camkes │ │ ├── PrinterIface │ │ ├── CMakeLists.txt │ │ └── PrinterIface.camkes │ │ └── common_procedure_types │ │ └── vec.h ├── global_async │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ ├── Client │ │ │ └── src │ │ │ │ ├── client.c │ │ │ │ ├── client_events.c │ │ │ │ └── client_events.h │ │ └── Sender │ │ │ └── src │ │ │ └── sender.c │ └── global_async.camkes ├── hellorust │ ├── CMakeLists.txt │ ├── components │ │ └── main │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.lock.license │ │ │ ├── Cargo.toml │ │ │ ├── Xargo.toml │ │ │ ├── main.camkes │ │ │ └── src │ │ │ └── run.rs │ └── hellorust.camkes ├── hierarchical-attributes │ ├── CMakeLists.txt │ ├── components │ │ ├── Bar │ │ │ ├── Bar.camkes │ │ │ └── src │ │ │ │ └── main.c │ │ ├── Baz │ │ │ ├── Baz.camkes │ │ │ └── src │ │ │ │ └── main.c │ │ ├── Controller │ │ │ ├── Controller.camkes │ │ │ └── src │ │ │ │ └── main.c │ │ └── Foo │ │ │ ├── Foo.camkes │ │ │ └── src │ │ │ └── main.c │ ├── hierarchical-attributes.camkes │ └── interfaces │ │ └── print_attributes.camkes ├── hierarchical-components │ ├── CMakeLists.txt │ ├── components │ │ ├── Append │ │ │ ├── Append.camkes │ │ │ └── src │ │ │ │ └── main.c │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── main.c │ │ ├── Pipeline │ │ │ ├── Pipeline.camkes │ │ │ └── src │ │ │ │ └── main.c │ │ ├── Reverse │ │ │ ├── Reverse.camkes │ │ │ └── src │ │ │ │ └── main.c │ │ ├── Server │ │ │ ├── Server.camkes │ │ │ └── src │ │ │ │ └── main.c │ │ ├── SubPipeline │ │ │ └── SubPipeline.camkes │ │ └── UpperCase │ │ │ ├── UpperCase.camkes │ │ │ └── src │ │ │ └── main.c │ ├── hierarchical-components.camkes │ └── interfaces │ │ └── string_processor.idl4 ├── keyboard │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── main.c │ │ └── Driver │ │ │ ├── Driver.camkes │ │ │ └── src │ │ │ └── driver.c │ ├── interfaces │ │ └── kbd.idl4 │ └── keyboard.camkes ├── lockserver │ ├── CMakeLists.txt │ ├── README.md │ ├── lockserver.camkes │ └── src │ │ ├── client.c │ │ └── server.c ├── mcs-donate │ ├── CMakeLists.txt │ ├── components │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── client.c │ │ └── Server │ │ │ ├── Server.camkes │ │ │ └── src │ │ │ └── server.c │ ├── interfaces │ │ └── Echo.idl4 │ └── mcs-donate.camkes ├── mcs-nodonate │ ├── CMakeLists.txt │ ├── components │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── client.c │ │ └── Server │ │ │ ├── Server.camkes │ │ │ └── src │ │ │ └── server.c │ ├── interfaces │ │ └── Echo.idl4 │ └── mcs-nodonate.camkes ├── mcs-scheduling │ ├── CMakeLists.txt │ ├── components │ │ ├── Init │ │ │ ├── Init.camkes │ │ │ └── src │ │ │ │ └── init.c │ │ └── Task │ │ │ ├── Task.camkes │ │ │ └── src │ │ │ └── task.c │ └── mcs-scheduling.camkes ├── multiassembly │ ├── CMakeLists.txt │ ├── components │ │ ├── Append │ │ │ ├── Append.camkes │ │ │ └── src │ │ │ │ └── main.c │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── main.c │ │ ├── Reverse │ │ │ ├── Reverse.camkes │ │ │ └── src │ │ │ │ └── main.c │ │ ├── Server │ │ │ ├── Server.camkes │ │ │ └── src │ │ │ │ └── main.c │ │ └── UpperCase │ │ │ ├── UpperCase.camkes │ │ │ └── src │ │ │ └── main.c │ ├── interfaces │ │ └── string_processor.idl4 │ └── multiassembly.camkes ├── multiclient │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── client.c │ │ ├── Echo │ │ │ ├── Echo.camkes │ │ │ └── src │ │ │ │ └── echo.c │ │ └── Sender │ │ │ ├── Sender.camkes │ │ │ └── src │ │ │ └── client.c │ ├── interfaces │ │ └── Simple.idl4 │ └── multiclient.camkes ├── multiplier │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── client.c │ │ └── Multiplier │ │ │ ├── Multiplier.camkes │ │ │ └── src │ │ │ └── main.c │ ├── interfaces │ │ └── Multiply.idl4 │ └── multiplier.camkes ├── mutex │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ ├── A │ │ │ ├── A.camkes │ │ │ └── src │ │ │ │ └── main.c │ │ └── B │ │ │ ├── B.camkes │ │ │ └── src │ │ │ └── main.c │ ├── interfaces │ │ └── lock.idl4 │ ├── mutex.camkes │ └── templates │ │ ├── seL4MyConnector-from.c │ │ └── seL4MyConnector-to.c ├── periodic │ ├── CMakeLists.txt │ ├── components │ │ └── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ └── client.c │ └── periodic.camkes ├── picoserver │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ ├── Echo │ │ │ └── src │ │ │ │ └── echo.c │ │ ├── Listener │ │ │ └── src │ │ │ │ └── listener.c │ │ └── include │ │ │ └── echo_listener_common.h │ ├── picoserver.camkes │ └── settings.cmake ├── picotcp_single_component │ ├── CMakeLists.txt │ ├── Ethdriver.camkes │ ├── README.md │ ├── settings.cmake │ ├── src │ │ ├── ethdriver.c │ │ ├── ports.h │ │ ├── tcp_echo_socket.c │ │ ├── tuning_params.h │ │ ├── udp_echo_socket.c │ │ └── utilization_socket.c │ └── x86_64_eth_init.c ├── picotcp_tcp_echo │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ └── Echo │ │ │ └── src │ │ │ ├── client.h │ │ │ ├── echo.c │ │ │ ├── ports.h │ │ │ ├── tcp_echo_socket.c │ │ │ ├── tuning_params.h │ │ │ ├── udp_echo_socket.c │ │ │ └── utilization_socket.c │ ├── picotcp_tcp_echo_tx2.camkes │ ├── picotcp_tcp_echo_x86_64.camkes │ ├── settings.cmake │ └── x86_64_eth_init.c ├── pit │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ └── Driver │ │ │ ├── Driver.camkes │ │ │ └── src │ │ │ └── driver.c │ ├── pit.camkes │ └── settings.cmake ├── reversestring │ ├── CMakeLists.txt │ ├── README.md │ ├── include │ │ └── buffer.h │ ├── reversestring.camkes │ └── src │ │ ├── client.c │ │ └── server.c ├── rotate │ ├── CMakeLists.txt │ ├── MyType.h │ ├── README.md │ ├── components │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── client.c │ │ └── Server │ │ │ ├── Server.camkes │ │ │ └── src │ │ │ └── server.c │ ├── interfaces │ │ └── Rotation.idl4 │ └── rotate.camkes ├── rumprun_common.cmake ├── rumprun_ethernet │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ ├── reverse_string │ │ │ ├── server.c │ │ │ └── server.camkes │ │ └── rump_ether │ │ │ ├── CMakeLists.txt │ │ │ ├── rump_ether.camkes │ │ │ └── tcp_server.c │ ├── include │ │ └── buffer.h │ └── rumprun_ethernet.camkes ├── rumprun_hello │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ └── hello │ │ │ ├── CMakeLists.txt │ │ │ ├── hello.c │ │ │ └── hello.camkes │ └── rumprun_hello.camkes ├── rumprun_pthreads │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ └── pthreads │ │ │ ├── CMakeLists.txt │ │ │ ├── pthreads.c │ │ │ └── pthreads.camkes │ └── rumprun_pthreads.camkes ├── rumprun_rust │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ ├── hello │ │ │ ├── CMakeLists.txt │ │ │ ├── hello.c │ │ │ └── hello.camkes │ │ └── hellorust │ │ │ ├── hellorust.camkes │ │ │ └── rustest │ │ │ ├── .cargo │ │ │ └── config │ │ │ ├── Cargo.lock │ │ │ ├── Cargo.lock.license │ │ │ ├── Cargo.toml │ │ │ └── src │ │ │ └── main.rs │ └── rumprun_rust.camkes ├── serialserver_interrupt │ ├── CMakeLists.txt │ ├── components │ │ └── Client │ │ │ └── src │ │ │ └── interrupt-client.c │ └── serialserver_interrupt.camkes ├── serialserver_loopback │ ├── CMakeLists.txt │ ├── components │ │ └── Client │ │ │ └── src │ │ │ └── client.c │ └── serialserver_loopback.camkes ├── serialserver_polling │ ├── CMakeLists.txt │ ├── components │ │ └── Client │ │ │ └── src │ │ │ └── polling-client.c │ └── serialserver_polling.camkes ├── simple │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── client.c │ │ └── Echo │ │ │ ├── Echo.camkes │ │ │ └── src │ │ │ └── echo.c │ ├── interfaces │ │ └── Simple.idl4 │ └── simple.camkes ├── simplesingleaddressspace │ ├── CMakeLists.txt │ ├── components │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── client.c │ │ └── Echo │ │ │ ├── Echo.camkes │ │ │ └── src │ │ │ └── echo.c │ ├── interfaces │ │ └── Simple.idl4 │ └── simplesingleaddressspace.camkes ├── socket │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ ├── Receiver │ │ │ ├── Receiver.camkes │ │ │ ├── include │ │ │ │ └── socket.h │ │ │ └── src │ │ │ │ └── receiver.c │ │ ├── Sender │ │ │ ├── Sender.camkes │ │ │ ├── include │ │ │ │ └── socket.h │ │ │ └── src │ │ │ │ └── sender.c │ │ └── Transport │ │ │ ├── Transport.camkes │ │ │ ├── include │ │ │ └── socket.h │ │ │ └── src │ │ │ └── transport.c │ └── socket.camkes ├── structs │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ └── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ └── client.c │ └── structs.camkes ├── swapcounter │ ├── CMakeLists.txt │ ├── README.md │ ├── client.c │ ├── service.c │ └── swapcounter.camkes ├── terminal │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── client.c │ │ └── Manager │ │ │ ├── Manager.camkes │ │ │ ├── include │ │ │ └── configuration.h │ │ │ └── src │ │ │ └── display.c │ ├── interfaces │ │ └── Display.idl4 │ ├── terminal.camkes │ └── tools │ │ ├── CMakeLists.txt │ │ └── termsize.c ├── testbufvariant │ ├── CMakeLists.txt │ ├── client.c │ ├── server.c │ └── testbufvariant.camkes ├── testcamkes438 │ ├── CMakeLists.txt │ ├── bar.c │ ├── foo.c │ └── testcamkes438.camkes ├── testcontrolname │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── client.c │ │ └── Echo │ │ │ ├── Echo.camkes │ │ │ └── src │ │ │ └── echo.c │ ├── interfaces │ │ └── Simple.idl4 │ └── testcontrolname.camkes ├── testdataportbifurcate │ ├── CMakeLists.txt │ ├── README.md │ ├── foo.c │ └── testdataportbifurcate.camkes ├── testdataportmux │ ├── CMakeLists.txt │ ├── counter.c │ └── testdataportmux.camkes ├── testdataportmuxflat │ ├── CMakeLists.txt │ ├── README.md │ ├── counter.c │ └── testdataportmuxflat.camkes ├── testdataportptrwrap │ ├── CMakeLists.txt │ ├── README.md │ ├── client.c │ ├── intermediary.c │ ├── server.c │ └── testdataportptrwrap.camkes ├── testdataportrpc │ ├── CMakeLists.txt │ ├── README.md │ ├── client.c │ ├── ctypes.h │ ├── server.c │ └── testdataportrpc.camkes ├── testfaulthandlers │ ├── CMakeLists.txt │ ├── README.md │ ├── client.c │ ├── server.c │ └── testfaulthandlers.camkes ├── testgrouping │ ├── A.c │ ├── B.c │ ├── C.c │ ├── CMakeLists.txt │ ├── README.md │ └── testgrouping.camkes ├── testgroupingcontrol │ ├── CMakeLists.txt │ ├── bar.c │ ├── foo.c │ └── testgroupingcontrol.camkes ├── testhardwareinterrupt │ ├── C.c │ ├── CMakeLists.txt │ ├── README.md │ ├── settings.cmake │ └── testhardwareinterrupt.camkes ├── testhwdataportlrgpages │ ├── CMakeLists.txt │ ├── main.c │ └── testhwdataportlrgpages.camkes ├── testnto1mmio │ ├── CMakeLists.txt │ ├── README.md │ ├── driver.h │ ├── driver1.c │ ├── driver2.c │ └── testnto1mmio.camkes ├── testnto1overload │ ├── CMakeLists.txt │ ├── README.md │ ├── client.c │ ├── server.c │ └── testnto1overload.camkes ├── testrefin │ ├── CMakeLists.txt │ ├── README.md │ ├── client.c │ ├── my_struct.h │ ├── server.c │ └── testrefin.camkes ├── testreplycapprotection │ ├── CMakeLists.txt │ ├── README.md │ ├── caller.c │ ├── generator.c │ ├── receiver.c │ ├── responder.c │ └── testreplycapprotection.camkes ├── testsel4notification │ ├── CMakeLists.txt │ ├── client.c │ ├── server.c │ └── testsel4notification.camkes ├── testsingleaddressspaceheap │ ├── CMakeLists.txt │ ├── README.md │ ├── client.c │ ├── server.c │ └── testsingleaddressspaceheap.camkes ├── teststringarrays │ ├── A.c │ ├── B.c │ ├── C.c │ ├── CMakeLists.txt │ ├── README.md │ ├── heap_check.h │ └── teststringarrays.camkes ├── testsyscalls │ ├── CMakeLists.txt │ ├── README.md │ ├── client.c │ ├── server.c │ └── testsyscalls.camkes ├── testunderscorename │ ├── CMakeLists.txt │ ├── components │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── client.c │ │ └── Echo │ │ │ ├── Echo.camkes │ │ │ └── src │ │ │ └── echo.c │ ├── interfaces │ │ └── Simple.idl4 │ └── testunderscorename.camkes ├── timeserver │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ └── Client │ │ │ └── src │ │ │ └── client.c │ └── timeserver.camkes ├── uart │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ │ ├── Client │ │ │ ├── Client.camkes │ │ │ └── src │ │ │ │ └── client.c │ │ └── Driver │ │ │ ├── Driver.camkes │ │ │ └── src │ │ │ └── driver.c │ ├── interfaces │ │ └── uart.idl4 │ └── uart.camkes └── vgatest │ ├── CMakeLists.txt │ ├── README.md │ ├── components │ └── VGADriver │ │ └── vgadriver.c │ └── vgatest.camkes ├── easy-settings.cmake ├── libs ├── libringbuffer │ └── README.md ├── libsel4bga │ └── README.md └── libsel4keyboard │ └── README.md ├── settings.cmake └── tests ├── CMakeLists.txt ├── Makefile ├── test_launcher.sh └── test_script.tcl.in /.github/CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/.github/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /.github/CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/.github/CONTRIBUTING.md -------------------------------------------------------------------------------- /.github/workflows/pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/.github/workflows/pr.yml -------------------------------------------------------------------------------- /.github/workflows/push.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/.github/workflows/push.yml -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.github/workflows/trigger.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/.github/workflows/trigger.yml -------------------------------------------------------------------------------- /.github/workflows/vm-test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/.github/workflows/vm-test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/.gitignore -------------------------------------------------------------------------------- /.licenseignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/.licenseignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/LICENSE.md -------------------------------------------------------------------------------- /LICENSES/BSD-2-Clause.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/LICENSES/BSD-2-Clause.txt -------------------------------------------------------------------------------- /LICENSES/CC-BY-SA-4.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/LICENSES/CC-BY-SA-4.0.txt -------------------------------------------------------------------------------- /LICENSES/GPL-2.0-only.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/LICENSES/GPL-2.0-only.txt -------------------------------------------------------------------------------- /LICENSES/MIT.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/LICENSES/MIT.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/README.md -------------------------------------------------------------------------------- /apps/RPCOverMultiSharedData/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/RPCOverMultiSharedData/CMakeLists.txt -------------------------------------------------------------------------------- /apps/RPCOverMultiSharedData/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/RPCOverMultiSharedData/README.md -------------------------------------------------------------------------------- /apps/RPCOverMultiSharedData/components/Adder/Adder.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/RPCOverMultiSharedData/components/Adder/Adder.camkes -------------------------------------------------------------------------------- /apps/RPCOverMultiSharedData/components/Adder/src/adder.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/RPCOverMultiSharedData/components/Adder/src/adder.c -------------------------------------------------------------------------------- /apps/RPCOverMultiSharedData/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/RPCOverMultiSharedData/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/RPCOverMultiSharedData/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/RPCOverMultiSharedData/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/RPCOverMultiSharedData/include/payload.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/RPCOverMultiSharedData/include/payload.h -------------------------------------------------------------------------------- /apps/RPCOverMultiSharedData/interfaces/Addition.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/RPCOverMultiSharedData/interfaces/Addition.idl4 -------------------------------------------------------------------------------- /apps/RPCOverMultiSharedData/project.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/RPCOverMultiSharedData/project.camkes -------------------------------------------------------------------------------- /apps/adder/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/adder/CMakeLists.txt -------------------------------------------------------------------------------- /apps/adder/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/adder/README.md -------------------------------------------------------------------------------- /apps/adder/adder.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/adder/adder.camkes -------------------------------------------------------------------------------- /apps/adder/components/Adder/Adder.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/adder/components/Adder/Adder.camkes -------------------------------------------------------------------------------- /apps/adder/components/Adder/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/adder/components/Adder/CMakeLists.txt -------------------------------------------------------------------------------- /apps/adder/components/Adder/include/payload.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/adder/components/Adder/include/payload.h -------------------------------------------------------------------------------- /apps/adder/components/Adder/src/adder.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/adder/components/Adder/src/adder.c -------------------------------------------------------------------------------- /apps/adder/components/Client/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/adder/components/Client/CMakeLists.txt -------------------------------------------------------------------------------- /apps/adder/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/adder/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/adder/components/Client/include/payload.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/adder/components/Client/include/payload.h -------------------------------------------------------------------------------- /apps/adder/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/adder/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/adder/interfaces/Addition.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/adder/interfaces/Addition.idl4 -------------------------------------------------------------------------------- /apps/aeroplage/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/aeroplage/CMakeLists.txt -------------------------------------------------------------------------------- /apps/aeroplage/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/aeroplage/README.md -------------------------------------------------------------------------------- /apps/aeroplage/aeroplage.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/aeroplage/aeroplage.camkes -------------------------------------------------------------------------------- /apps/aeroplage/components/KeyboardDriver/driver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/aeroplage/components/KeyboardDriver/driver.c -------------------------------------------------------------------------------- /apps/aeroplage/components/MockLinux/mocklinux.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/aeroplage/components/MockLinux/mocklinux.c -------------------------------------------------------------------------------- /apps/aeroplage/components/Switch/switch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/aeroplage/components/Switch/switch.c -------------------------------------------------------------------------------- /apps/aeroplage/components/VESADriver/chars.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/aeroplage/components/VESADriver/chars.c -------------------------------------------------------------------------------- /apps/aeroplage/components/VESADriver/chars.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/aeroplage/components/VESADriver/chars.sh -------------------------------------------------------------------------------- /apps/aeroplage/components/VESADriver/vesadriver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/aeroplage/components/VESADriver/vesadriver.c -------------------------------------------------------------------------------- /apps/alignment/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/alignment/CMakeLists.txt -------------------------------------------------------------------------------- /apps/alignment/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/alignment/README.md -------------------------------------------------------------------------------- /apps/alignment/alignment.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/alignment/alignment.camkes -------------------------------------------------------------------------------- /apps/alignment/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/alignment/client.c -------------------------------------------------------------------------------- /apps/alignment/common/common.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/alignment/common/common.S -------------------------------------------------------------------------------- /apps/alignment/common/common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/alignment/common/common.h -------------------------------------------------------------------------------- /apps/alignment/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/alignment/server.c -------------------------------------------------------------------------------- /apps/attributes/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/attributes/CMakeLists.txt -------------------------------------------------------------------------------- /apps/attributes/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/attributes/README.md -------------------------------------------------------------------------------- /apps/attributes/attributes.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/attributes/attributes.camkes -------------------------------------------------------------------------------- /apps/attributes/bar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/attributes/bar.c -------------------------------------------------------------------------------- /apps/attributes/foo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/attributes/foo.c -------------------------------------------------------------------------------- /apps/binary-semaphore/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/binary-semaphore/CMakeLists.txt -------------------------------------------------------------------------------- /apps/binary-semaphore/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/binary-semaphore/README.md -------------------------------------------------------------------------------- /apps/binary-semaphore/binary-semaphore.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/binary-semaphore/binary-semaphore.camkes -------------------------------------------------------------------------------- /apps/binary-semaphore/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/binary-semaphore/src/client.c -------------------------------------------------------------------------------- /apps/binary-semaphore/src/periodic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/binary-semaphore/src/periodic.c -------------------------------------------------------------------------------- /apps/binary-semaphore/src/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/binary-semaphore/src/server.c -------------------------------------------------------------------------------- /apps/cakeml_hello/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_hello/CMakeLists.txt -------------------------------------------------------------------------------- /apps/cakeml_hello/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_hello/README.md -------------------------------------------------------------------------------- /apps/cakeml_hello/cakeml_hello.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_hello/cakeml_hello.camkes -------------------------------------------------------------------------------- /apps/cakeml_hello/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_hello/client.c -------------------------------------------------------------------------------- /apps/cakeml_hello/componentScript.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_hello/componentScript.sml -------------------------------------------------------------------------------- /apps/cakeml_regex/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_regex/CMakeLists.txt -------------------------------------------------------------------------------- /apps/cakeml_regex/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_regex/README.md -------------------------------------------------------------------------------- /apps/cakeml_regex/cakeml_regex.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_regex/cakeml_regex.camkes -------------------------------------------------------------------------------- /apps/cakeml_regex/components/CakeMLFilter/CakeMLFilter.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_regex/components/CakeMLFilter/CakeMLFilter.camkes -------------------------------------------------------------------------------- /apps/cakeml_regex/components/CakeMLFilter/componentScript.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_regex/components/CakeMLFilter/componentScript.sml -------------------------------------------------------------------------------- /apps/cakeml_regex/components/CakeMLFilter/emit_string.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_regex/components/CakeMLFilter/emit_string.c -------------------------------------------------------------------------------- /apps/cakeml_regex/components/CakeMLFilter/filterProgScript.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_regex/components/CakeMLFilter/filterProgScript.sml -------------------------------------------------------------------------------- /apps/cakeml_regex/components/Consumer/Consumer.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_regex/components/Consumer/Consumer.camkes -------------------------------------------------------------------------------- /apps/cakeml_regex/components/Consumer/consumer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_regex/components/Consumer/consumer.c -------------------------------------------------------------------------------- /apps/cakeml_regex/components/Producer/Producer.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_regex/components/Producer/Producer.camkes -------------------------------------------------------------------------------- /apps/cakeml_regex/components/Producer/producer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_regex/components/Producer/producer.c -------------------------------------------------------------------------------- /apps/cakeml_regex/interfaces/TransferString.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_regex/interfaces/TransferString.idl4 -------------------------------------------------------------------------------- /apps/cakeml_tipc/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_tipc/CMakeLists.txt -------------------------------------------------------------------------------- /apps/cakeml_tipc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_tipc/README.md -------------------------------------------------------------------------------- /apps/cakeml_tipc/cakeml_tipc.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_tipc/cakeml_tipc.camkes -------------------------------------------------------------------------------- /apps/cakeml_tipc/components/cakeml-filter/componentScript.sml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_tipc/components/cakeml-filter/componentScript.sml -------------------------------------------------------------------------------- /apps/cakeml_tipc/components/cakeml-filter/global_endpoint.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_tipc/components/cakeml-filter/global_endpoint.c -------------------------------------------------------------------------------- /apps/cakeml_tipc/components/client/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cakeml_tipc/components/client/client.c -------------------------------------------------------------------------------- /apps/cms-donate/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cms-donate/CMakeLists.txt -------------------------------------------------------------------------------- /apps/cms-donate/cms-donate.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cms-donate/cms-donate.camkes -------------------------------------------------------------------------------- /apps/cms-donate/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cms-donate/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/cms-donate/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cms-donate/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/cms-donate/components/Intermediate/Intermediate.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cms-donate/components/Intermediate/Intermediate.camkes -------------------------------------------------------------------------------- /apps/cms-donate/components/Intermediate/src/intermediate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cms-donate/components/Intermediate/src/intermediate.c -------------------------------------------------------------------------------- /apps/cms-donate/components/Server/Server.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cms-donate/components/Server/Server.camkes -------------------------------------------------------------------------------- /apps/cms-donate/components/Server/src/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cms-donate/components/Server/src/server.c -------------------------------------------------------------------------------- /apps/cms-donate/interfaces/Echo.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cms-donate/interfaces/Echo.idl4 -------------------------------------------------------------------------------- /apps/cs-donate/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cs-donate/CMakeLists.txt -------------------------------------------------------------------------------- /apps/cs-donate/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cs-donate/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/cs-donate/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cs-donate/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/cs-donate/components/Server/Server.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cs-donate/components/Server/Server.camkes -------------------------------------------------------------------------------- /apps/cs-donate/components/Server/src/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cs-donate/components/Server/src/server.c -------------------------------------------------------------------------------- /apps/cs-donate/cs-donate.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cs-donate/cs-donate.camkes -------------------------------------------------------------------------------- /apps/cs-donate/interfaces/Echo.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cs-donate/interfaces/Echo.idl4 -------------------------------------------------------------------------------- /apps/cs-nodonate/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cs-nodonate/CMakeLists.txt -------------------------------------------------------------------------------- /apps/cs-nodonate/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cs-nodonate/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/cs-nodonate/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cs-nodonate/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/cs-nodonate/components/Server/Server.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cs-nodonate/components/Server/Server.camkes -------------------------------------------------------------------------------- /apps/cs-nodonate/components/Server/src/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cs-nodonate/components/Server/src/server.c -------------------------------------------------------------------------------- /apps/cs-nodonate/cs-nodonate.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cs-nodonate/cs-nodonate.camkes -------------------------------------------------------------------------------- /apps/cs-nodonate/interfaces/Echo.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/cs-nodonate/interfaces/Echo.idl4 -------------------------------------------------------------------------------- /apps/dataport/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/dataport/CMakeLists.txt -------------------------------------------------------------------------------- /apps/dataport/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/dataport/README.md -------------------------------------------------------------------------------- /apps/dataport/components/DataportTest/DataportTest.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/dataport/components/DataportTest/DataportTest.camkes -------------------------------------------------------------------------------- /apps/dataport/components/DataportTest/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/dataport/components/DataportTest/src/client.c -------------------------------------------------------------------------------- /apps/dataport/dataport.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/dataport/dataport.camkes -------------------------------------------------------------------------------- /apps/debug-simple/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/debug-simple/CMakeLists.txt -------------------------------------------------------------------------------- /apps/debug-simple/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/debug-simple/README.md -------------------------------------------------------------------------------- /apps/debug-simple/Simple.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/debug-simple/Simple.idl4 -------------------------------------------------------------------------------- /apps/debug-simple/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/debug-simple/client.c -------------------------------------------------------------------------------- /apps/debug-simple/debug-simple.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/debug-simple/debug-simple.camkes -------------------------------------------------------------------------------- /apps/debug-simple/debug-simple.tcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/debug-simple/debug-simple.tcl -------------------------------------------------------------------------------- /apps/debug-simple/echo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/debug-simple/echo.c -------------------------------------------------------------------------------- /apps/debug-simple/settings.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/debug-simple/settings.cmake -------------------------------------------------------------------------------- /apps/dhcp/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/dhcp/CMakeLists.txt -------------------------------------------------------------------------------- /apps/dhcp/dhcp.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/dhcp/dhcp.camkes -------------------------------------------------------------------------------- /apps/dhcp/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/dhcp/src/client.c -------------------------------------------------------------------------------- /apps/dhcp/src/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/dhcp/src/server.c -------------------------------------------------------------------------------- /apps/dhcp/src/util.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/dhcp/src/util.c -------------------------------------------------------------------------------- /apps/dhcp/src/util.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/dhcp/src/util.h -------------------------------------------------------------------------------- /apps/dma-example/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/dma-example/CMakeLists.txt -------------------------------------------------------------------------------- /apps/dma-example/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/dma-example/client.c -------------------------------------------------------------------------------- /apps/dma-example/dma-example.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/dma-example/dma-example.camkes -------------------------------------------------------------------------------- /apps/dma-example/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/dma-example/server.c -------------------------------------------------------------------------------- /apps/epit/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/epit/CMakeLists.txt -------------------------------------------------------------------------------- /apps/epit/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/epit/README.md -------------------------------------------------------------------------------- /apps/epit/components/Driver/Driver.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/epit/components/Driver/Driver.camkes -------------------------------------------------------------------------------- /apps/epit/components/Driver/src/driver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/epit/components/Driver/src/driver.c -------------------------------------------------------------------------------- /apps/epit/epit.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/epit/epit.camkes -------------------------------------------------------------------------------- /apps/event-driven/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/event-driven/CMakeLists.txt -------------------------------------------------------------------------------- /apps/event-driven/components/Collector/Collector.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/event-driven/components/Collector/Collector.camkes -------------------------------------------------------------------------------- /apps/event-driven/components/Collector/src/collector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/event-driven/components/Collector/src/collector.c -------------------------------------------------------------------------------- /apps/event-driven/components/Emitter/Emitter.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/event-driven/components/Emitter/Emitter.camkes -------------------------------------------------------------------------------- /apps/event-driven/components/Emitter/src/emitter.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/event-driven/components/Emitter/src/emitter.c -------------------------------------------------------------------------------- /apps/event-driven/event-driven.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/event-driven/event-driven.camkes -------------------------------------------------------------------------------- /apps/event/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/event/CMakeLists.txt -------------------------------------------------------------------------------- /apps/event/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/event/README.md -------------------------------------------------------------------------------- /apps/event/components/Collector/Collector.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/event/components/Collector/Collector.camkes -------------------------------------------------------------------------------- /apps/event/components/Collector/src/collector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/event/components/Collector/src/collector.c -------------------------------------------------------------------------------- /apps/event/components/Emitter/Emitter.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/event/components/Emitter/Emitter.camkes -------------------------------------------------------------------------------- /apps/event/components/Emitter/src/emitter.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/event/components/Emitter/src/emitter.c -------------------------------------------------------------------------------- /apps/event/event.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/event/event.camkes -------------------------------------------------------------------------------- /apps/exchangestring/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/exchangestring/CMakeLists.txt -------------------------------------------------------------------------------- /apps/exchangestring/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/exchangestring/README.md -------------------------------------------------------------------------------- /apps/exchangestring/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/exchangestring/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/exchangestring/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/exchangestring/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/exchangestring/components/Server/Server.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/exchangestring/components/Server/Server.camkes -------------------------------------------------------------------------------- /apps/exchangestring/components/Server/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/exchangestring/components/Server/src/main.c -------------------------------------------------------------------------------- /apps/exchangestring/exchangestring.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/exchangestring/exchangestring.camkes -------------------------------------------------------------------------------- /apps/exchangestring/interfaces/ExchangeString.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/exchangestring/interfaces/ExchangeString.idl4 -------------------------------------------------------------------------------- /apps/fdtgen/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/fdtgen/CMakeLists.txt -------------------------------------------------------------------------------- /apps/fdtgen/fdt_utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/fdtgen/fdt_utils.c -------------------------------------------------------------------------------- /apps/fdtgen/fdt_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/fdtgen/fdt_utils.h -------------------------------------------------------------------------------- /apps/fdtgen/fdtgen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/fdtgen/fdtgen.c -------------------------------------------------------------------------------- /apps/fdtgen/fdtgen.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/fdtgen/fdtgen.camkes -------------------------------------------------------------------------------- /apps/filter/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/filter/CMakeLists.txt -------------------------------------------------------------------------------- /apps/filter/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/filter/README.md -------------------------------------------------------------------------------- /apps/filter/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/filter/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/filter/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/filter/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/filter/components/Filter/Filter.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/filter/components/Filter/Filter.camkes -------------------------------------------------------------------------------- /apps/filter/components/Filter/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/filter/components/Filter/src/main.c -------------------------------------------------------------------------------- /apps/filter/components/Store/Store.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/filter/components/Store/Store.camkes -------------------------------------------------------------------------------- /apps/filter/components/Store/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/filter/components/Store/src/main.c -------------------------------------------------------------------------------- /apps/filter/filter.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/filter/filter.camkes -------------------------------------------------------------------------------- /apps/filter/interfaces/Lookup.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/filter/interfaces/Lookup.idl4 -------------------------------------------------------------------------------- /apps/global-imports/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global-imports/CMakeLists.txt -------------------------------------------------------------------------------- /apps/global-imports/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global-imports/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/global-imports/components/Client/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global-imports/components/Client/src/main.c -------------------------------------------------------------------------------- /apps/global-imports/global-imports.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global-imports/global-imports.camkes -------------------------------------------------------------------------------- /apps/global-imports/global/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global-imports/global/CMakeLists.txt -------------------------------------------------------------------------------- /apps/global-imports/global/components/Printer/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global-imports/global/components/Printer/CMakeLists.txt -------------------------------------------------------------------------------- /apps/global-imports/global/components/Printer/Printer.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global-imports/global/components/Printer/Printer.camkes -------------------------------------------------------------------------------- /apps/global-imports/global/components/Printer/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global-imports/global/components/Printer/src/main.c -------------------------------------------------------------------------------- /apps/global-imports/global/components/Server/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global-imports/global/components/Server/CMakeLists.txt -------------------------------------------------------------------------------- /apps/global-imports/global/components/Server/Server.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global-imports/global/components/Server/Server.camkes -------------------------------------------------------------------------------- /apps/global-imports/global/components/Server/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global-imports/global/components/Server/src/main.c -------------------------------------------------------------------------------- /apps/global-imports/global/components/common_port_types/shared_int.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global-imports/global/components/common_port_types/shared_int.h -------------------------------------------------------------------------------- /apps/global-imports/global/interfaces/GetterIface/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global-imports/global/interfaces/GetterIface/CMakeLists.txt -------------------------------------------------------------------------------- /apps/global-imports/global/interfaces/GetterIface/GetterIface.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global-imports/global/interfaces/GetterIface/GetterIface.camkes -------------------------------------------------------------------------------- /apps/global-imports/global/interfaces/PrinterIface/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global-imports/global/interfaces/PrinterIface/CMakeLists.txt -------------------------------------------------------------------------------- /apps/global-imports/global/interfaces/PrinterIface/PrinterIface.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global-imports/global/interfaces/PrinterIface/PrinterIface.camkes -------------------------------------------------------------------------------- /apps/global-imports/global/interfaces/common_procedure_types/vec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global-imports/global/interfaces/common_procedure_types/vec.h -------------------------------------------------------------------------------- /apps/global_async/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global_async/CMakeLists.txt -------------------------------------------------------------------------------- /apps/global_async/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global_async/README.md -------------------------------------------------------------------------------- /apps/global_async/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global_async/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/global_async/components/Client/src/client_events.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global_async/components/Client/src/client_events.c -------------------------------------------------------------------------------- /apps/global_async/components/Client/src/client_events.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global_async/components/Client/src/client_events.h -------------------------------------------------------------------------------- /apps/global_async/components/Sender/src/sender.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global_async/components/Sender/src/sender.c -------------------------------------------------------------------------------- /apps/global_async/global_async.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/global_async/global_async.camkes -------------------------------------------------------------------------------- /apps/hellorust/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hellorust/CMakeLists.txt -------------------------------------------------------------------------------- /apps/hellorust/components/main/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hellorust/components/main/Cargo.lock -------------------------------------------------------------------------------- /apps/hellorust/components/main/Cargo.lock.license: -------------------------------------------------------------------------------- 1 | Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 2 | SPDX-License-Identifier: BSD-2-Clause 3 | -------------------------------------------------------------------------------- /apps/hellorust/components/main/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hellorust/components/main/Cargo.toml -------------------------------------------------------------------------------- /apps/hellorust/components/main/Xargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hellorust/components/main/Xargo.toml -------------------------------------------------------------------------------- /apps/hellorust/components/main/main.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hellorust/components/main/main.camkes -------------------------------------------------------------------------------- /apps/hellorust/components/main/src/run.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hellorust/components/main/src/run.rs -------------------------------------------------------------------------------- /apps/hellorust/hellorust.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hellorust/hellorust.camkes -------------------------------------------------------------------------------- /apps/hierarchical-attributes/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-attributes/CMakeLists.txt -------------------------------------------------------------------------------- /apps/hierarchical-attributes/components/Bar/Bar.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-attributes/components/Bar/Bar.camkes -------------------------------------------------------------------------------- /apps/hierarchical-attributes/components/Bar/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-attributes/components/Bar/src/main.c -------------------------------------------------------------------------------- /apps/hierarchical-attributes/components/Baz/Baz.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-attributes/components/Baz/Baz.camkes -------------------------------------------------------------------------------- /apps/hierarchical-attributes/components/Baz/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-attributes/components/Baz/src/main.c -------------------------------------------------------------------------------- /apps/hierarchical-attributes/components/Controller/Controller.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-attributes/components/Controller/Controller.camkes -------------------------------------------------------------------------------- /apps/hierarchical-attributes/components/Controller/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-attributes/components/Controller/src/main.c -------------------------------------------------------------------------------- /apps/hierarchical-attributes/components/Foo/Foo.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-attributes/components/Foo/Foo.camkes -------------------------------------------------------------------------------- /apps/hierarchical-attributes/components/Foo/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-attributes/components/Foo/src/main.c -------------------------------------------------------------------------------- /apps/hierarchical-attributes/hierarchical-attributes.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-attributes/hierarchical-attributes.camkes -------------------------------------------------------------------------------- /apps/hierarchical-attributes/interfaces/print_attributes.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-attributes/interfaces/print_attributes.camkes -------------------------------------------------------------------------------- /apps/hierarchical-components/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-components/CMakeLists.txt -------------------------------------------------------------------------------- /apps/hierarchical-components/components/Append/Append.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-components/components/Append/Append.camkes -------------------------------------------------------------------------------- /apps/hierarchical-components/components/Append/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-components/components/Append/src/main.c -------------------------------------------------------------------------------- /apps/hierarchical-components/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-components/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/hierarchical-components/components/Client/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-components/components/Client/src/main.c -------------------------------------------------------------------------------- /apps/hierarchical-components/components/Pipeline/Pipeline.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-components/components/Pipeline/Pipeline.camkes -------------------------------------------------------------------------------- /apps/hierarchical-components/components/Pipeline/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-components/components/Pipeline/src/main.c -------------------------------------------------------------------------------- /apps/hierarchical-components/components/Reverse/Reverse.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-components/components/Reverse/Reverse.camkes -------------------------------------------------------------------------------- /apps/hierarchical-components/components/Reverse/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-components/components/Reverse/src/main.c -------------------------------------------------------------------------------- /apps/hierarchical-components/components/Server/Server.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-components/components/Server/Server.camkes -------------------------------------------------------------------------------- /apps/hierarchical-components/components/Server/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-components/components/Server/src/main.c -------------------------------------------------------------------------------- /apps/hierarchical-components/components/SubPipeline/SubPipeline.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-components/components/SubPipeline/SubPipeline.camkes -------------------------------------------------------------------------------- /apps/hierarchical-components/components/UpperCase/UpperCase.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-components/components/UpperCase/UpperCase.camkes -------------------------------------------------------------------------------- /apps/hierarchical-components/components/UpperCase/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-components/components/UpperCase/src/main.c -------------------------------------------------------------------------------- /apps/hierarchical-components/hierarchical-components.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-components/hierarchical-components.camkes -------------------------------------------------------------------------------- /apps/hierarchical-components/interfaces/string_processor.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/hierarchical-components/interfaces/string_processor.idl4 -------------------------------------------------------------------------------- /apps/keyboard/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/keyboard/CMakeLists.txt -------------------------------------------------------------------------------- /apps/keyboard/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/keyboard/README.md -------------------------------------------------------------------------------- /apps/keyboard/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/keyboard/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/keyboard/components/Client/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/keyboard/components/Client/src/main.c -------------------------------------------------------------------------------- /apps/keyboard/components/Driver/Driver.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/keyboard/components/Driver/Driver.camkes -------------------------------------------------------------------------------- /apps/keyboard/components/Driver/src/driver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/keyboard/components/Driver/src/driver.c -------------------------------------------------------------------------------- /apps/keyboard/interfaces/kbd.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/keyboard/interfaces/kbd.idl4 -------------------------------------------------------------------------------- /apps/keyboard/keyboard.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/keyboard/keyboard.camkes -------------------------------------------------------------------------------- /apps/lockserver/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/lockserver/CMakeLists.txt -------------------------------------------------------------------------------- /apps/lockserver/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/lockserver/README.md -------------------------------------------------------------------------------- /apps/lockserver/lockserver.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/lockserver/lockserver.camkes -------------------------------------------------------------------------------- /apps/lockserver/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/lockserver/src/client.c -------------------------------------------------------------------------------- /apps/lockserver/src/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/lockserver/src/server.c -------------------------------------------------------------------------------- /apps/mcs-donate/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-donate/CMakeLists.txt -------------------------------------------------------------------------------- /apps/mcs-donate/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-donate/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/mcs-donate/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-donate/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/mcs-donate/components/Server/Server.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-donate/components/Server/Server.camkes -------------------------------------------------------------------------------- /apps/mcs-donate/components/Server/src/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-donate/components/Server/src/server.c -------------------------------------------------------------------------------- /apps/mcs-donate/interfaces/Echo.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-donate/interfaces/Echo.idl4 -------------------------------------------------------------------------------- /apps/mcs-donate/mcs-donate.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-donate/mcs-donate.camkes -------------------------------------------------------------------------------- /apps/mcs-nodonate/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-nodonate/CMakeLists.txt -------------------------------------------------------------------------------- /apps/mcs-nodonate/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-nodonate/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/mcs-nodonate/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-nodonate/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/mcs-nodonate/components/Server/Server.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-nodonate/components/Server/Server.camkes -------------------------------------------------------------------------------- /apps/mcs-nodonate/components/Server/src/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-nodonate/components/Server/src/server.c -------------------------------------------------------------------------------- /apps/mcs-nodonate/interfaces/Echo.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-nodonate/interfaces/Echo.idl4 -------------------------------------------------------------------------------- /apps/mcs-nodonate/mcs-nodonate.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-nodonate/mcs-nodonate.camkes -------------------------------------------------------------------------------- /apps/mcs-scheduling/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-scheduling/CMakeLists.txt -------------------------------------------------------------------------------- /apps/mcs-scheduling/components/Init/Init.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-scheduling/components/Init/Init.camkes -------------------------------------------------------------------------------- /apps/mcs-scheduling/components/Init/src/init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-scheduling/components/Init/src/init.c -------------------------------------------------------------------------------- /apps/mcs-scheduling/components/Task/Task.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-scheduling/components/Task/Task.camkes -------------------------------------------------------------------------------- /apps/mcs-scheduling/components/Task/src/task.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-scheduling/components/Task/src/task.c -------------------------------------------------------------------------------- /apps/mcs-scheduling/mcs-scheduling.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mcs-scheduling/mcs-scheduling.camkes -------------------------------------------------------------------------------- /apps/multiassembly/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiassembly/CMakeLists.txt -------------------------------------------------------------------------------- /apps/multiassembly/components/Append/Append.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiassembly/components/Append/Append.camkes -------------------------------------------------------------------------------- /apps/multiassembly/components/Append/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiassembly/components/Append/src/main.c -------------------------------------------------------------------------------- /apps/multiassembly/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiassembly/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/multiassembly/components/Client/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiassembly/components/Client/src/main.c -------------------------------------------------------------------------------- /apps/multiassembly/components/Reverse/Reverse.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiassembly/components/Reverse/Reverse.camkes -------------------------------------------------------------------------------- /apps/multiassembly/components/Reverse/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiassembly/components/Reverse/src/main.c -------------------------------------------------------------------------------- /apps/multiassembly/components/Server/Server.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiassembly/components/Server/Server.camkes -------------------------------------------------------------------------------- /apps/multiassembly/components/Server/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiassembly/components/Server/src/main.c -------------------------------------------------------------------------------- /apps/multiassembly/components/UpperCase/UpperCase.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiassembly/components/UpperCase/UpperCase.camkes -------------------------------------------------------------------------------- /apps/multiassembly/components/UpperCase/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiassembly/components/UpperCase/src/main.c -------------------------------------------------------------------------------- /apps/multiassembly/interfaces/string_processor.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiassembly/interfaces/string_processor.idl4 -------------------------------------------------------------------------------- /apps/multiassembly/multiassembly.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiassembly/multiassembly.camkes -------------------------------------------------------------------------------- /apps/multiclient/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiclient/CMakeLists.txt -------------------------------------------------------------------------------- /apps/multiclient/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiclient/README.md -------------------------------------------------------------------------------- /apps/multiclient/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiclient/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/multiclient/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiclient/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/multiclient/components/Echo/Echo.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiclient/components/Echo/Echo.camkes -------------------------------------------------------------------------------- /apps/multiclient/components/Echo/src/echo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiclient/components/Echo/src/echo.c -------------------------------------------------------------------------------- /apps/multiclient/components/Sender/Sender.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiclient/components/Sender/Sender.camkes -------------------------------------------------------------------------------- /apps/multiclient/components/Sender/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiclient/components/Sender/src/client.c -------------------------------------------------------------------------------- /apps/multiclient/interfaces/Simple.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiclient/interfaces/Simple.idl4 -------------------------------------------------------------------------------- /apps/multiclient/multiclient.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiclient/multiclient.camkes -------------------------------------------------------------------------------- /apps/multiplier/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiplier/CMakeLists.txt -------------------------------------------------------------------------------- /apps/multiplier/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiplier/README.md -------------------------------------------------------------------------------- /apps/multiplier/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiplier/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/multiplier/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiplier/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/multiplier/components/Multiplier/Multiplier.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiplier/components/Multiplier/Multiplier.camkes -------------------------------------------------------------------------------- /apps/multiplier/components/Multiplier/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiplier/components/Multiplier/src/main.c -------------------------------------------------------------------------------- /apps/multiplier/interfaces/Multiply.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiplier/interfaces/Multiply.idl4 -------------------------------------------------------------------------------- /apps/multiplier/multiplier.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/multiplier/multiplier.camkes -------------------------------------------------------------------------------- /apps/mutex/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mutex/CMakeLists.txt -------------------------------------------------------------------------------- /apps/mutex/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mutex/README.md -------------------------------------------------------------------------------- /apps/mutex/components/A/A.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mutex/components/A/A.camkes -------------------------------------------------------------------------------- /apps/mutex/components/A/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mutex/components/A/src/main.c -------------------------------------------------------------------------------- /apps/mutex/components/B/B.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mutex/components/B/B.camkes -------------------------------------------------------------------------------- /apps/mutex/components/B/src/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mutex/components/B/src/main.c -------------------------------------------------------------------------------- /apps/mutex/interfaces/lock.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mutex/interfaces/lock.idl4 -------------------------------------------------------------------------------- /apps/mutex/mutex.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mutex/mutex.camkes -------------------------------------------------------------------------------- /apps/mutex/templates/seL4MyConnector-from.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mutex/templates/seL4MyConnector-from.c -------------------------------------------------------------------------------- /apps/mutex/templates/seL4MyConnector-to.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/mutex/templates/seL4MyConnector-to.c -------------------------------------------------------------------------------- /apps/periodic/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/periodic/CMakeLists.txt -------------------------------------------------------------------------------- /apps/periodic/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/periodic/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/periodic/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/periodic/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/periodic/periodic.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/periodic/periodic.camkes -------------------------------------------------------------------------------- /apps/picoserver/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picoserver/CMakeLists.txt -------------------------------------------------------------------------------- /apps/picoserver/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picoserver/README.md -------------------------------------------------------------------------------- /apps/picoserver/components/Echo/src/echo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picoserver/components/Echo/src/echo.c -------------------------------------------------------------------------------- /apps/picoserver/components/Listener/src/listener.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picoserver/components/Listener/src/listener.c -------------------------------------------------------------------------------- /apps/picoserver/components/include/echo_listener_common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picoserver/components/include/echo_listener_common.h -------------------------------------------------------------------------------- /apps/picoserver/picoserver.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picoserver/picoserver.camkes -------------------------------------------------------------------------------- /apps/picoserver/settings.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picoserver/settings.cmake -------------------------------------------------------------------------------- /apps/picotcp_single_component/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_single_component/CMakeLists.txt -------------------------------------------------------------------------------- /apps/picotcp_single_component/Ethdriver.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_single_component/Ethdriver.camkes -------------------------------------------------------------------------------- /apps/picotcp_single_component/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_single_component/README.md -------------------------------------------------------------------------------- /apps/picotcp_single_component/settings.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_single_component/settings.cmake -------------------------------------------------------------------------------- /apps/picotcp_single_component/src/ethdriver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_single_component/src/ethdriver.c -------------------------------------------------------------------------------- /apps/picotcp_single_component/src/ports.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_single_component/src/ports.h -------------------------------------------------------------------------------- /apps/picotcp_single_component/src/tcp_echo_socket.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_single_component/src/tcp_echo_socket.c -------------------------------------------------------------------------------- /apps/picotcp_single_component/src/tuning_params.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_single_component/src/tuning_params.h -------------------------------------------------------------------------------- /apps/picotcp_single_component/src/udp_echo_socket.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_single_component/src/udp_echo_socket.c -------------------------------------------------------------------------------- /apps/picotcp_single_component/src/utilization_socket.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_single_component/src/utilization_socket.c -------------------------------------------------------------------------------- /apps/picotcp_single_component/x86_64_eth_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_single_component/x86_64_eth_init.c -------------------------------------------------------------------------------- /apps/picotcp_tcp_echo/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_tcp_echo/CMakeLists.txt -------------------------------------------------------------------------------- /apps/picotcp_tcp_echo/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_tcp_echo/README.md -------------------------------------------------------------------------------- /apps/picotcp_tcp_echo/components/Echo/src/client.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_tcp_echo/components/Echo/src/client.h -------------------------------------------------------------------------------- /apps/picotcp_tcp_echo/components/Echo/src/echo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_tcp_echo/components/Echo/src/echo.c -------------------------------------------------------------------------------- /apps/picotcp_tcp_echo/components/Echo/src/ports.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_tcp_echo/components/Echo/src/ports.h -------------------------------------------------------------------------------- /apps/picotcp_tcp_echo/components/Echo/src/tcp_echo_socket.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_tcp_echo/components/Echo/src/tcp_echo_socket.c -------------------------------------------------------------------------------- /apps/picotcp_tcp_echo/components/Echo/src/tuning_params.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_tcp_echo/components/Echo/src/tuning_params.h -------------------------------------------------------------------------------- /apps/picotcp_tcp_echo/components/Echo/src/udp_echo_socket.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_tcp_echo/components/Echo/src/udp_echo_socket.c -------------------------------------------------------------------------------- /apps/picotcp_tcp_echo/components/Echo/src/utilization_socket.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_tcp_echo/components/Echo/src/utilization_socket.c -------------------------------------------------------------------------------- /apps/picotcp_tcp_echo/picotcp_tcp_echo_tx2.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_tcp_echo/picotcp_tcp_echo_tx2.camkes -------------------------------------------------------------------------------- /apps/picotcp_tcp_echo/picotcp_tcp_echo_x86_64.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_tcp_echo/picotcp_tcp_echo_x86_64.camkes -------------------------------------------------------------------------------- /apps/picotcp_tcp_echo/settings.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_tcp_echo/settings.cmake -------------------------------------------------------------------------------- /apps/picotcp_tcp_echo/x86_64_eth_init.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/picotcp_tcp_echo/x86_64_eth_init.c -------------------------------------------------------------------------------- /apps/pit/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/pit/CMakeLists.txt -------------------------------------------------------------------------------- /apps/pit/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/pit/README.md -------------------------------------------------------------------------------- /apps/pit/components/Driver/Driver.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/pit/components/Driver/Driver.camkes -------------------------------------------------------------------------------- /apps/pit/components/Driver/src/driver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/pit/components/Driver/src/driver.c -------------------------------------------------------------------------------- /apps/pit/pit.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/pit/pit.camkes -------------------------------------------------------------------------------- /apps/pit/settings.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/pit/settings.cmake -------------------------------------------------------------------------------- /apps/reversestring/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/reversestring/CMakeLists.txt -------------------------------------------------------------------------------- /apps/reversestring/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/reversestring/README.md -------------------------------------------------------------------------------- /apps/reversestring/include/buffer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/reversestring/include/buffer.h -------------------------------------------------------------------------------- /apps/reversestring/reversestring.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/reversestring/reversestring.camkes -------------------------------------------------------------------------------- /apps/reversestring/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/reversestring/src/client.c -------------------------------------------------------------------------------- /apps/reversestring/src/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/reversestring/src/server.c -------------------------------------------------------------------------------- /apps/rotate/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rotate/CMakeLists.txt -------------------------------------------------------------------------------- /apps/rotate/MyType.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rotate/MyType.h -------------------------------------------------------------------------------- /apps/rotate/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rotate/README.md -------------------------------------------------------------------------------- /apps/rotate/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rotate/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/rotate/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rotate/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/rotate/components/Server/Server.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rotate/components/Server/Server.camkes -------------------------------------------------------------------------------- /apps/rotate/components/Server/src/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rotate/components/Server/src/server.c -------------------------------------------------------------------------------- /apps/rotate/interfaces/Rotation.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rotate/interfaces/Rotation.idl4 -------------------------------------------------------------------------------- /apps/rotate/rotate.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rotate/rotate.camkes -------------------------------------------------------------------------------- /apps/rumprun_common.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_common.cmake -------------------------------------------------------------------------------- /apps/rumprun_ethernet/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_ethernet/CMakeLists.txt -------------------------------------------------------------------------------- /apps/rumprun_ethernet/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_ethernet/README.md -------------------------------------------------------------------------------- /apps/rumprun_ethernet/components/reverse_string/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_ethernet/components/reverse_string/server.c -------------------------------------------------------------------------------- /apps/rumprun_ethernet/components/reverse_string/server.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_ethernet/components/reverse_string/server.camkes -------------------------------------------------------------------------------- /apps/rumprun_ethernet/components/rump_ether/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_ethernet/components/rump_ether/CMakeLists.txt -------------------------------------------------------------------------------- /apps/rumprun_ethernet/components/rump_ether/rump_ether.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_ethernet/components/rump_ether/rump_ether.camkes -------------------------------------------------------------------------------- /apps/rumprun_ethernet/components/rump_ether/tcp_server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_ethernet/components/rump_ether/tcp_server.c -------------------------------------------------------------------------------- /apps/rumprun_ethernet/include/buffer.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_ethernet/include/buffer.h -------------------------------------------------------------------------------- /apps/rumprun_ethernet/rumprun_ethernet.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_ethernet/rumprun_ethernet.camkes -------------------------------------------------------------------------------- /apps/rumprun_hello/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_hello/CMakeLists.txt -------------------------------------------------------------------------------- /apps/rumprun_hello/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_hello/README.md -------------------------------------------------------------------------------- /apps/rumprun_hello/components/hello/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_hello/components/hello/CMakeLists.txt -------------------------------------------------------------------------------- /apps/rumprun_hello/components/hello/hello.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_hello/components/hello/hello.c -------------------------------------------------------------------------------- /apps/rumprun_hello/components/hello/hello.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_hello/components/hello/hello.camkes -------------------------------------------------------------------------------- /apps/rumprun_hello/rumprun_hello.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_hello/rumprun_hello.camkes -------------------------------------------------------------------------------- /apps/rumprun_pthreads/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_pthreads/CMakeLists.txt -------------------------------------------------------------------------------- /apps/rumprun_pthreads/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_pthreads/README.md -------------------------------------------------------------------------------- /apps/rumprun_pthreads/components/pthreads/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_pthreads/components/pthreads/CMakeLists.txt -------------------------------------------------------------------------------- /apps/rumprun_pthreads/components/pthreads/pthreads.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_pthreads/components/pthreads/pthreads.c -------------------------------------------------------------------------------- /apps/rumprun_pthreads/components/pthreads/pthreads.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_pthreads/components/pthreads/pthreads.camkes -------------------------------------------------------------------------------- /apps/rumprun_pthreads/rumprun_pthreads.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_pthreads/rumprun_pthreads.camkes -------------------------------------------------------------------------------- /apps/rumprun_rust/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_rust/CMakeLists.txt -------------------------------------------------------------------------------- /apps/rumprun_rust/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_rust/README.md -------------------------------------------------------------------------------- /apps/rumprun_rust/components/hello/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_rust/components/hello/CMakeLists.txt -------------------------------------------------------------------------------- /apps/rumprun_rust/components/hello/hello.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_rust/components/hello/hello.c -------------------------------------------------------------------------------- /apps/rumprun_rust/components/hello/hello.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_rust/components/hello/hello.camkes -------------------------------------------------------------------------------- /apps/rumprun_rust/components/hellorust/hellorust.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_rust/components/hellorust/hellorust.camkes -------------------------------------------------------------------------------- /apps/rumprun_rust/components/hellorust/rustest/.cargo/config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_rust/components/hellorust/rustest/.cargo/config -------------------------------------------------------------------------------- /apps/rumprun_rust/components/hellorust/rustest/Cargo.lock: -------------------------------------------------------------------------------- 1 | [[package]] 2 | name = "rustest" 3 | version = "0.1.0" 4 | 5 | -------------------------------------------------------------------------------- /apps/rumprun_rust/components/hellorust/rustest/Cargo.lock.license: -------------------------------------------------------------------------------- 1 | Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 2 | SPDX-License-Identifier: BSD-2-Clause 3 | -------------------------------------------------------------------------------- /apps/rumprun_rust/components/hellorust/rustest/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_rust/components/hellorust/rustest/Cargo.toml -------------------------------------------------------------------------------- /apps/rumprun_rust/components/hellorust/rustest/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_rust/components/hellorust/rustest/src/main.rs -------------------------------------------------------------------------------- /apps/rumprun_rust/rumprun_rust.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/rumprun_rust/rumprun_rust.camkes -------------------------------------------------------------------------------- /apps/serialserver_interrupt/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/serialserver_interrupt/CMakeLists.txt -------------------------------------------------------------------------------- /apps/serialserver_interrupt/components/Client/src/interrupt-client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/serialserver_interrupt/components/Client/src/interrupt-client.c -------------------------------------------------------------------------------- /apps/serialserver_interrupt/serialserver_interrupt.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/serialserver_interrupt/serialserver_interrupt.camkes -------------------------------------------------------------------------------- /apps/serialserver_loopback/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/serialserver_loopback/CMakeLists.txt -------------------------------------------------------------------------------- /apps/serialserver_loopback/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/serialserver_loopback/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/serialserver_loopback/serialserver_loopback.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/serialserver_loopback/serialserver_loopback.camkes -------------------------------------------------------------------------------- /apps/serialserver_polling/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/serialserver_polling/CMakeLists.txt -------------------------------------------------------------------------------- /apps/serialserver_polling/components/Client/src/polling-client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/serialserver_polling/components/Client/src/polling-client.c -------------------------------------------------------------------------------- /apps/serialserver_polling/serialserver_polling.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/serialserver_polling/serialserver_polling.camkes -------------------------------------------------------------------------------- /apps/simple/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/simple/CMakeLists.txt -------------------------------------------------------------------------------- /apps/simple/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/simple/README.md -------------------------------------------------------------------------------- /apps/simple/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/simple/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/simple/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/simple/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/simple/components/Echo/Echo.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/simple/components/Echo/Echo.camkes -------------------------------------------------------------------------------- /apps/simple/components/Echo/src/echo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/simple/components/Echo/src/echo.c -------------------------------------------------------------------------------- /apps/simple/interfaces/Simple.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/simple/interfaces/Simple.idl4 -------------------------------------------------------------------------------- /apps/simple/simple.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/simple/simple.camkes -------------------------------------------------------------------------------- /apps/simplesingleaddressspace/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/simplesingleaddressspace/CMakeLists.txt -------------------------------------------------------------------------------- /apps/simplesingleaddressspace/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/simplesingleaddressspace/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/simplesingleaddressspace/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/simplesingleaddressspace/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/simplesingleaddressspace/components/Echo/Echo.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/simplesingleaddressspace/components/Echo/Echo.camkes -------------------------------------------------------------------------------- /apps/simplesingleaddressspace/components/Echo/src/echo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/simplesingleaddressspace/components/Echo/src/echo.c -------------------------------------------------------------------------------- /apps/simplesingleaddressspace/interfaces/Simple.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/simplesingleaddressspace/interfaces/Simple.idl4 -------------------------------------------------------------------------------- /apps/simplesingleaddressspace/simplesingleaddressspace.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/simplesingleaddressspace/simplesingleaddressspace.camkes -------------------------------------------------------------------------------- /apps/socket/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/socket/CMakeLists.txt -------------------------------------------------------------------------------- /apps/socket/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/socket/README.md -------------------------------------------------------------------------------- /apps/socket/components/Receiver/Receiver.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/socket/components/Receiver/Receiver.camkes -------------------------------------------------------------------------------- /apps/socket/components/Receiver/include/socket.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/socket/components/Receiver/include/socket.h -------------------------------------------------------------------------------- /apps/socket/components/Receiver/src/receiver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/socket/components/Receiver/src/receiver.c -------------------------------------------------------------------------------- /apps/socket/components/Sender/Sender.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/socket/components/Sender/Sender.camkes -------------------------------------------------------------------------------- /apps/socket/components/Sender/include/socket.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/socket/components/Sender/include/socket.h -------------------------------------------------------------------------------- /apps/socket/components/Sender/src/sender.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/socket/components/Sender/src/sender.c -------------------------------------------------------------------------------- /apps/socket/components/Transport/Transport.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/socket/components/Transport/Transport.camkes -------------------------------------------------------------------------------- /apps/socket/components/Transport/include/socket.h: -------------------------------------------------------------------------------- 1 | ../../Sender/include/socket.h -------------------------------------------------------------------------------- /apps/socket/components/Transport/src/transport.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/socket/components/Transport/src/transport.c -------------------------------------------------------------------------------- /apps/socket/socket.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/socket/socket.camkes -------------------------------------------------------------------------------- /apps/structs/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/structs/CMakeLists.txt -------------------------------------------------------------------------------- /apps/structs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/structs/README.md -------------------------------------------------------------------------------- /apps/structs/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/structs/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/structs/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/structs/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/structs/structs.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/structs/structs.camkes -------------------------------------------------------------------------------- /apps/swapcounter/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/swapcounter/CMakeLists.txt -------------------------------------------------------------------------------- /apps/swapcounter/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/swapcounter/README.md -------------------------------------------------------------------------------- /apps/swapcounter/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/swapcounter/client.c -------------------------------------------------------------------------------- /apps/swapcounter/service.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/swapcounter/service.c -------------------------------------------------------------------------------- /apps/swapcounter/swapcounter.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/swapcounter/swapcounter.camkes -------------------------------------------------------------------------------- /apps/terminal/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/terminal/CMakeLists.txt -------------------------------------------------------------------------------- /apps/terminal/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/terminal/README.md -------------------------------------------------------------------------------- /apps/terminal/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/terminal/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/terminal/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/terminal/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/terminal/components/Manager/Manager.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/terminal/components/Manager/Manager.camkes -------------------------------------------------------------------------------- /apps/terminal/components/Manager/include/configuration.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/terminal/components/Manager/include/configuration.h -------------------------------------------------------------------------------- /apps/terminal/components/Manager/src/display.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/terminal/components/Manager/src/display.c -------------------------------------------------------------------------------- /apps/terminal/interfaces/Display.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/terminal/interfaces/Display.idl4 -------------------------------------------------------------------------------- /apps/terminal/terminal.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/terminal/terminal.camkes -------------------------------------------------------------------------------- /apps/terminal/tools/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/terminal/tools/CMakeLists.txt -------------------------------------------------------------------------------- /apps/terminal/tools/termsize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/terminal/tools/termsize.c -------------------------------------------------------------------------------- /apps/testbufvariant/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testbufvariant/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testbufvariant/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testbufvariant/client.c -------------------------------------------------------------------------------- /apps/testbufvariant/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testbufvariant/server.c -------------------------------------------------------------------------------- /apps/testbufvariant/testbufvariant.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testbufvariant/testbufvariant.camkes -------------------------------------------------------------------------------- /apps/testcamkes438/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testcamkes438/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testcamkes438/bar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testcamkes438/bar.c -------------------------------------------------------------------------------- /apps/testcamkes438/foo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testcamkes438/foo.c -------------------------------------------------------------------------------- /apps/testcamkes438/testcamkes438.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testcamkes438/testcamkes438.camkes -------------------------------------------------------------------------------- /apps/testcontrolname/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testcontrolname/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testcontrolname/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testcontrolname/README.md -------------------------------------------------------------------------------- /apps/testcontrolname/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testcontrolname/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/testcontrolname/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testcontrolname/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/testcontrolname/components/Echo/Echo.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testcontrolname/components/Echo/Echo.camkes -------------------------------------------------------------------------------- /apps/testcontrolname/components/Echo/src/echo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testcontrolname/components/Echo/src/echo.c -------------------------------------------------------------------------------- /apps/testcontrolname/interfaces/Simple.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testcontrolname/interfaces/Simple.idl4 -------------------------------------------------------------------------------- /apps/testcontrolname/testcontrolname.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testcontrolname/testcontrolname.camkes -------------------------------------------------------------------------------- /apps/testdataportbifurcate/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportbifurcate/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testdataportbifurcate/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportbifurcate/README.md -------------------------------------------------------------------------------- /apps/testdataportbifurcate/foo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportbifurcate/foo.c -------------------------------------------------------------------------------- /apps/testdataportbifurcate/testdataportbifurcate.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportbifurcate/testdataportbifurcate.camkes -------------------------------------------------------------------------------- /apps/testdataportmux/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportmux/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testdataportmux/counter.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportmux/counter.c -------------------------------------------------------------------------------- /apps/testdataportmux/testdataportmux.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportmux/testdataportmux.camkes -------------------------------------------------------------------------------- /apps/testdataportmuxflat/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportmuxflat/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testdataportmuxflat/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportmuxflat/README.md -------------------------------------------------------------------------------- /apps/testdataportmuxflat/counter.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportmuxflat/counter.c -------------------------------------------------------------------------------- /apps/testdataportmuxflat/testdataportmuxflat.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportmuxflat/testdataportmuxflat.camkes -------------------------------------------------------------------------------- /apps/testdataportptrwrap/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportptrwrap/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testdataportptrwrap/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportptrwrap/README.md -------------------------------------------------------------------------------- /apps/testdataportptrwrap/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportptrwrap/client.c -------------------------------------------------------------------------------- /apps/testdataportptrwrap/intermediary.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportptrwrap/intermediary.c -------------------------------------------------------------------------------- /apps/testdataportptrwrap/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportptrwrap/server.c -------------------------------------------------------------------------------- /apps/testdataportptrwrap/testdataportptrwrap.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportptrwrap/testdataportptrwrap.camkes -------------------------------------------------------------------------------- /apps/testdataportrpc/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportrpc/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testdataportrpc/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportrpc/README.md -------------------------------------------------------------------------------- /apps/testdataportrpc/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportrpc/client.c -------------------------------------------------------------------------------- /apps/testdataportrpc/ctypes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportrpc/ctypes.h -------------------------------------------------------------------------------- /apps/testdataportrpc/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportrpc/server.c -------------------------------------------------------------------------------- /apps/testdataportrpc/testdataportrpc.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testdataportrpc/testdataportrpc.camkes -------------------------------------------------------------------------------- /apps/testfaulthandlers/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testfaulthandlers/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testfaulthandlers/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testfaulthandlers/README.md -------------------------------------------------------------------------------- /apps/testfaulthandlers/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testfaulthandlers/client.c -------------------------------------------------------------------------------- /apps/testfaulthandlers/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testfaulthandlers/server.c -------------------------------------------------------------------------------- /apps/testfaulthandlers/testfaulthandlers.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testfaulthandlers/testfaulthandlers.camkes -------------------------------------------------------------------------------- /apps/testgrouping/A.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testgrouping/A.c -------------------------------------------------------------------------------- /apps/testgrouping/B.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testgrouping/B.c -------------------------------------------------------------------------------- /apps/testgrouping/C.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testgrouping/C.c -------------------------------------------------------------------------------- /apps/testgrouping/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testgrouping/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testgrouping/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testgrouping/README.md -------------------------------------------------------------------------------- /apps/testgrouping/testgrouping.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testgrouping/testgrouping.camkes -------------------------------------------------------------------------------- /apps/testgroupingcontrol/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testgroupingcontrol/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testgroupingcontrol/bar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testgroupingcontrol/bar.c -------------------------------------------------------------------------------- /apps/testgroupingcontrol/foo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testgroupingcontrol/foo.c -------------------------------------------------------------------------------- /apps/testgroupingcontrol/testgroupingcontrol.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testgroupingcontrol/testgroupingcontrol.camkes -------------------------------------------------------------------------------- /apps/testhardwareinterrupt/C.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testhardwareinterrupt/C.c -------------------------------------------------------------------------------- /apps/testhardwareinterrupt/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testhardwareinterrupt/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testhardwareinterrupt/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testhardwareinterrupt/README.md -------------------------------------------------------------------------------- /apps/testhardwareinterrupt/settings.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testhardwareinterrupt/settings.cmake -------------------------------------------------------------------------------- /apps/testhardwareinterrupt/testhardwareinterrupt.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testhardwareinterrupt/testhardwareinterrupt.camkes -------------------------------------------------------------------------------- /apps/testhwdataportlrgpages/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testhwdataportlrgpages/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testhwdataportlrgpages/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testhwdataportlrgpages/main.c -------------------------------------------------------------------------------- /apps/testhwdataportlrgpages/testhwdataportlrgpages.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testhwdataportlrgpages/testhwdataportlrgpages.camkes -------------------------------------------------------------------------------- /apps/testnto1mmio/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testnto1mmio/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testnto1mmio/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testnto1mmio/README.md -------------------------------------------------------------------------------- /apps/testnto1mmio/driver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testnto1mmio/driver.h -------------------------------------------------------------------------------- /apps/testnto1mmio/driver1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testnto1mmio/driver1.c -------------------------------------------------------------------------------- /apps/testnto1mmio/driver2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testnto1mmio/driver2.c -------------------------------------------------------------------------------- /apps/testnto1mmio/testnto1mmio.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testnto1mmio/testnto1mmio.camkes -------------------------------------------------------------------------------- /apps/testnto1overload/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testnto1overload/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testnto1overload/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testnto1overload/README.md -------------------------------------------------------------------------------- /apps/testnto1overload/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testnto1overload/client.c -------------------------------------------------------------------------------- /apps/testnto1overload/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testnto1overload/server.c -------------------------------------------------------------------------------- /apps/testnto1overload/testnto1overload.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testnto1overload/testnto1overload.camkes -------------------------------------------------------------------------------- /apps/testrefin/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testrefin/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testrefin/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testrefin/README.md -------------------------------------------------------------------------------- /apps/testrefin/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testrefin/client.c -------------------------------------------------------------------------------- /apps/testrefin/my_struct.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testrefin/my_struct.h -------------------------------------------------------------------------------- /apps/testrefin/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testrefin/server.c -------------------------------------------------------------------------------- /apps/testrefin/testrefin.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testrefin/testrefin.camkes -------------------------------------------------------------------------------- /apps/testreplycapprotection/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testreplycapprotection/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testreplycapprotection/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testreplycapprotection/README.md -------------------------------------------------------------------------------- /apps/testreplycapprotection/caller.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testreplycapprotection/caller.c -------------------------------------------------------------------------------- /apps/testreplycapprotection/generator.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testreplycapprotection/generator.c -------------------------------------------------------------------------------- /apps/testreplycapprotection/receiver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testreplycapprotection/receiver.c -------------------------------------------------------------------------------- /apps/testreplycapprotection/responder.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testreplycapprotection/responder.c -------------------------------------------------------------------------------- /apps/testreplycapprotection/testreplycapprotection.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testreplycapprotection/testreplycapprotection.camkes -------------------------------------------------------------------------------- /apps/testsel4notification/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testsel4notification/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testsel4notification/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testsel4notification/client.c -------------------------------------------------------------------------------- /apps/testsel4notification/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testsel4notification/server.c -------------------------------------------------------------------------------- /apps/testsel4notification/testsel4notification.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testsel4notification/testsel4notification.camkes -------------------------------------------------------------------------------- /apps/testsingleaddressspaceheap/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testsingleaddressspaceheap/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testsingleaddressspaceheap/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testsingleaddressspaceheap/README.md -------------------------------------------------------------------------------- /apps/testsingleaddressspaceheap/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testsingleaddressspaceheap/client.c -------------------------------------------------------------------------------- /apps/testsingleaddressspaceheap/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testsingleaddressspaceheap/server.c -------------------------------------------------------------------------------- /apps/testsingleaddressspaceheap/testsingleaddressspaceheap.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testsingleaddressspaceheap/testsingleaddressspaceheap.camkes -------------------------------------------------------------------------------- /apps/teststringarrays/A.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/teststringarrays/A.c -------------------------------------------------------------------------------- /apps/teststringarrays/B.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/teststringarrays/B.c -------------------------------------------------------------------------------- /apps/teststringarrays/C.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/teststringarrays/C.c -------------------------------------------------------------------------------- /apps/teststringarrays/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/teststringarrays/CMakeLists.txt -------------------------------------------------------------------------------- /apps/teststringarrays/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/teststringarrays/README.md -------------------------------------------------------------------------------- /apps/teststringarrays/heap_check.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/teststringarrays/heap_check.h -------------------------------------------------------------------------------- /apps/teststringarrays/teststringarrays.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/teststringarrays/teststringarrays.camkes -------------------------------------------------------------------------------- /apps/testsyscalls/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testsyscalls/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testsyscalls/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testsyscalls/README.md -------------------------------------------------------------------------------- /apps/testsyscalls/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testsyscalls/client.c -------------------------------------------------------------------------------- /apps/testsyscalls/server.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testsyscalls/server.c -------------------------------------------------------------------------------- /apps/testsyscalls/testsyscalls.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testsyscalls/testsyscalls.camkes -------------------------------------------------------------------------------- /apps/testunderscorename/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testunderscorename/CMakeLists.txt -------------------------------------------------------------------------------- /apps/testunderscorename/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testunderscorename/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/testunderscorename/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testunderscorename/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/testunderscorename/components/Echo/Echo.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testunderscorename/components/Echo/Echo.camkes -------------------------------------------------------------------------------- /apps/testunderscorename/components/Echo/src/echo.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testunderscorename/components/Echo/src/echo.c -------------------------------------------------------------------------------- /apps/testunderscorename/interfaces/Simple.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testunderscorename/interfaces/Simple.idl4 -------------------------------------------------------------------------------- /apps/testunderscorename/testunderscorename.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/testunderscorename/testunderscorename.camkes -------------------------------------------------------------------------------- /apps/timeserver/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/timeserver/CMakeLists.txt -------------------------------------------------------------------------------- /apps/timeserver/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/timeserver/README.md -------------------------------------------------------------------------------- /apps/timeserver/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/timeserver/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/timeserver/timeserver.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/timeserver/timeserver.camkes -------------------------------------------------------------------------------- /apps/uart/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/uart/CMakeLists.txt -------------------------------------------------------------------------------- /apps/uart/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/uart/README.md -------------------------------------------------------------------------------- /apps/uart/components/Client/Client.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/uart/components/Client/Client.camkes -------------------------------------------------------------------------------- /apps/uart/components/Client/src/client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/uart/components/Client/src/client.c -------------------------------------------------------------------------------- /apps/uart/components/Driver/Driver.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/uart/components/Driver/Driver.camkes -------------------------------------------------------------------------------- /apps/uart/components/Driver/src/driver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/uart/components/Driver/src/driver.c -------------------------------------------------------------------------------- /apps/uart/interfaces/uart.idl4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/uart/interfaces/uart.idl4 -------------------------------------------------------------------------------- /apps/uart/uart.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/uart/uart.camkes -------------------------------------------------------------------------------- /apps/vgatest/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/vgatest/CMakeLists.txt -------------------------------------------------------------------------------- /apps/vgatest/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/vgatest/README.md -------------------------------------------------------------------------------- /apps/vgatest/components/VGADriver/vgadriver.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/vgatest/components/VGADriver/vgadriver.c -------------------------------------------------------------------------------- /apps/vgatest/vgatest.camkes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/apps/vgatest/vgatest.camkes -------------------------------------------------------------------------------- /easy-settings.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/easy-settings.cmake -------------------------------------------------------------------------------- /libs/libringbuffer/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/libs/libringbuffer/README.md -------------------------------------------------------------------------------- /libs/libsel4bga/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/libs/libsel4bga/README.md -------------------------------------------------------------------------------- /libs/libsel4keyboard/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/libs/libsel4keyboard/README.md -------------------------------------------------------------------------------- /settings.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/settings.cmake -------------------------------------------------------------------------------- /tests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/tests/CMakeLists.txt -------------------------------------------------------------------------------- /tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/tests/Makefile -------------------------------------------------------------------------------- /tests/test_launcher.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/tests/test_launcher.sh -------------------------------------------------------------------------------- /tests/test_script.tcl.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/seL4/camkes/HEAD/tests/test_script.tcl.in --------------------------------------------------------------------------------