├── .github └── workflows │ └── ci.yml ├── .gitignore ├── .gitmodules ├── LICENSE ├── README.md ├── cement ├── gneiss_component.gpr ├── gprconfig_db └── recordflux.xml ├── lib ├── SXML.gpr ├── basalt.gpr ├── gneiss.gpr └── gneiss_protocol.gpr ├── spark.adc ├── src ├── block │ ├── client │ │ ├── genode │ │ │ ├── block_client.cc │ │ │ ├── block_client.h │ │ │ ├── cxx-block-client.ads │ │ │ └── gneiss-block-client.adb │ │ ├── gneiss-block-client.ads │ │ └── linux │ │ │ ├── block_client.c │ │ │ ├── block_client.h │ │ │ └── gneiss-block-client.adb │ ├── genode │ │ ├── block_root.h │ │ ├── cxx-block.ads │ │ ├── gneiss-block.adb │ │ └── gneiss_internal-block.ads │ ├── gneiss-block.ads │ ├── linux │ │ ├── gneiss-block.adb │ │ └── gneiss-internal-block.ads │ └── server │ │ ├── genode │ │ ├── block_dispatcher.cc │ │ ├── block_dispatcher.h │ │ ├── block_server.cc │ │ ├── block_server.h │ │ ├── cxx-block-dispatcher.adb │ │ ├── cxx-block-dispatcher.ads │ │ ├── cxx-block-server.ads │ │ ├── gneiss-block-dispatcher.adb │ │ └── gneiss-block-server.adb │ │ ├── gneiss-block-dispatcher.ads │ │ └── gneiss-block-server.ads ├── core │ └── linux │ │ ├── core.gpr │ │ ├── gneiss-broker-lookup.adb │ │ ├── gneiss-broker-lookup.ads │ │ ├── gneiss-broker-main.adb │ │ ├── gneiss-broker-main.ads │ │ ├── gneiss-broker-message.adb │ │ ├── gneiss-broker-message.ads │ │ ├── gneiss-broker-startup.adb │ │ ├── gneiss-broker-startup.ads │ │ ├── gneiss-broker.ads │ │ ├── gneiss-command_line.adb │ │ ├── gneiss-command_line.ads │ │ ├── gneiss-config.adb │ │ ├── gneiss-config.ads │ │ ├── gneiss-main.adb │ │ ├── gneiss-main.ads │ │ └── main.adb ├── gneiss-component.ads ├── gneiss.ads ├── log │ ├── client │ │ ├── genode │ │ │ ├── gneiss-log-client.adb │ │ │ ├── gneiss_log_client.cc │ │ │ └── gneiss_log_client.h │ │ ├── gneiss-log-client.ads │ │ └── linux │ │ │ └── gneiss-log-client.adb │ ├── genode │ │ ├── cxx-log.ads │ │ ├── gneiss-log.adb │ │ └── gneiss_internal-log.ads │ ├── gneiss-log.ads │ ├── linux │ │ ├── gneiss-log.adb │ │ └── gneiss_internal-log.ads │ └── server │ │ ├── genode │ │ ├── gneiss-log-dispatcher.adb │ │ ├── gneiss_log_dispatcher.cc │ │ ├── gneiss_log_dispatcher.h │ │ ├── gneiss_log_server.cc │ │ └── gneiss_log_server.h │ │ ├── gneiss-log-dispatcher.ads │ │ ├── gneiss-log-server.ads │ │ └── linux │ │ └── gneiss-log-dispatcher.adb ├── memory │ ├── client │ │ ├── genode │ │ │ ├── gneiss-memory-client.adb │ │ │ ├── gneiss_memory_client.cc │ │ │ └── gneiss_memory_client.h │ │ ├── gneiss-memory-client.ads │ │ └── linux │ │ │ ├── gneiss-memory-client.adb │ │ │ └── gneiss_memory_client.c │ ├── genode │ │ ├── gneiss-memory.adb │ │ ├── gneiss_internal-memory.ads │ │ └── gneiss_memory_session.h │ ├── gneiss-memory.ads │ ├── linux │ │ ├── gneiss-memory.adb │ │ └── gneiss_internal-memory.ads │ └── server │ │ ├── genode │ │ ├── gneiss-memory-dispatcher.adb │ │ ├── gneiss-memory-server.adb │ │ ├── gneiss_memory_dispatcher.cc │ │ ├── gneiss_memory_dispatcher.h │ │ ├── gneiss_memory_server.cc │ │ └── gneiss_memory_server.h │ │ ├── gneiss-memory-dispatcher.ads │ │ ├── gneiss-memory-server.ads │ │ └── linux │ │ ├── gneiss-memory-dispatcher.adb │ │ └── gneiss-memory-server.adb ├── message │ ├── client │ │ ├── genode │ │ │ ├── gneiss-message-client.adb │ │ │ ├── gneiss_message_client.cc │ │ │ └── gneiss_message_client.h │ │ ├── gneiss-message-client.ads │ │ └── linux │ │ │ └── gneiss-message-client.adb │ ├── genode │ │ ├── gneiss-message.adb │ │ ├── gneiss_internal-message.ads │ │ └── gneiss_message_session.h │ ├── gneiss-message.ads │ ├── linux │ │ ├── gneiss-message.adb │ │ ├── gneiss_internal-message.ads │ │ ├── gneiss_internal-message_syscall.ads │ │ └── gneiss_message.c │ └── server │ │ ├── genode │ │ ├── gneiss-message-dispatcher.adb │ │ ├── gneiss-message-server.adb │ │ ├── gneiss_message_dispatcher.cc │ │ ├── gneiss_message_dispatcher.h │ │ ├── gneiss_message_server.cc │ │ └── gneiss_message_server.h │ │ ├── gneiss-message-dispatcher.ads │ │ ├── gneiss-message-server.ads │ │ └── linux │ │ ├── gneiss-message-dispatcher.adb │ │ └── gneiss-message-server.adb ├── platform │ ├── genode │ │ ├── cai_capability.h │ │ ├── cai_factory.cc │ │ ├── cai_factory.h │ │ ├── cai_main.cc │ │ ├── cxx-genode.ads │ │ ├── cxx.ads │ │ ├── factory.h │ │ ├── genode.adb │ │ ├── genode.ads │ │ ├── gneiss-component.adb │ │ ├── gneiss.h │ │ ├── gneiss_internal.adb │ │ ├── gneiss_internal.ads │ │ └── trace.h │ └── linux │ │ ├── epoll.c │ │ ├── gneiss-component.adb │ │ ├── gneiss_internal-client.adb │ │ ├── gneiss_internal-client.ads │ │ ├── gneiss_internal-epoll.adb │ │ ├── gneiss_internal-epoll.ads │ │ ├── gneiss_internal-libc.ads │ │ ├── gneiss_internal-linker.adb │ │ ├── gneiss_internal-linker.ads │ │ ├── gneiss_internal-linux.adb │ │ ├── gneiss_internal-linux.ads │ │ ├── gneiss_internal-packet.adb │ │ ├── gneiss_internal-packet.ads │ │ ├── gneiss_internal-print.adb │ │ ├── gneiss_internal-print.ads │ │ ├── gneiss_internal-syscall.adb │ │ ├── gneiss_internal-syscall.ads │ │ ├── gneiss_internal-util.adb │ │ ├── gneiss_internal-util.ads │ │ ├── gneiss_internal.adb │ │ ├── gneiss_internal.ads │ │ ├── linker.c │ │ ├── session.rflx │ │ ├── syscall.c │ │ └── trace.h ├── rom │ ├── client │ │ ├── genode │ │ │ ├── gneiss-rom-client.adb │ │ │ └── gneiss_rom_client.cc │ │ ├── gneiss-rom-client.ads │ │ └── linux │ │ │ └── gneiss-rom-client.adb │ ├── genode │ │ ├── gneiss-rom.adb │ │ └── gneiss_internal-rom.ads │ ├── gneiss-rom.ads │ └── linux │ │ ├── gneiss-rom.adb │ │ └── gneiss_internal-rom.ads └── timer │ ├── client │ ├── genode │ │ ├── cxx-timer-client.ads │ │ ├── gneiss-timer-client.adb │ │ ├── timer_client.cc │ │ └── timer_client.h │ ├── gneiss-timer-client.ads │ └── linux │ │ ├── gneiss-timer-client.adb │ │ └── gneiss_timer_client.c │ ├── genode │ ├── cxx-timer.ads │ ├── gneiss-timer.adb │ └── gneiss_internal-timer.ads │ ├── gneiss-timer.ads │ └── linux │ ├── gneiss-timer.adb │ └── gneiss_internal-timer.ads ├── switches.gpr └── test ├── block_client ├── component.adb ├── component.ads └── component.gpr ├── block_proxy ├── component.adb └── component.ads ├── block_server ├── component.adb └── component.ads ├── genode.sh ├── hello_world.gpr ├── hello_world ├── component.adb ├── component.ads ├── gnat_ce_2020 │ └── component.ads ├── hello_world.expect └── hello_world.xml ├── linux.sh ├── linux_log_server.gpr ├── linux_log_server ├── component.adb ├── component.ads └── put.c ├── log_proxy.gpr ├── log_proxy ├── component.adb ├── component.ads ├── gnat_ce_2020 │ └── component.ads ├── log_proxy.expect └── log_proxy.xml ├── memory_client.gpr ├── memory_client ├── component.adb ├── component.ads ├── gnat_ce_2020 │ └── component.ads ├── memory_client.expect └── memory_client.xml ├── memory_server.gpr ├── memory_server ├── component.adb ├── component.ads └── gnat_ce_2020 │ └── component.ads ├── message_client.gpr ├── message_client ├── component.adb ├── component.ads ├── gnat_ce_2020 │ └── component.ads ├── message_client.expect └── message_client.xml ├── message_server.gpr ├── message_server ├── component.adb ├── component.ads └── gnat_ce_2020 │ └── component.ads ├── rom.gpr ├── rom ├── component.adb ├── component.ads ├── gnat_ce_2020 │ └── component.ads ├── rom.expect └── rom.xml ├── rom2.gpr ├── timer.gpr └── timer ├── component.adb ├── component.ads ├── gnat_ce_2020 └── component.ads ├── timer.expect └── timer.xml /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | # Object file 2 | *.o 3 | 4 | # Ada Library Information 5 | *.ali 6 | -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/README.md -------------------------------------------------------------------------------- /cement: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/cement -------------------------------------------------------------------------------- /gneiss_component.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/gneiss_component.gpr -------------------------------------------------------------------------------- /gprconfig_db/recordflux.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/gprconfig_db/recordflux.xml -------------------------------------------------------------------------------- /lib/SXML.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/lib/SXML.gpr -------------------------------------------------------------------------------- /lib/basalt.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/lib/basalt.gpr -------------------------------------------------------------------------------- /lib/gneiss.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/lib/gneiss.gpr -------------------------------------------------------------------------------- /lib/gneiss_protocol.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/lib/gneiss_protocol.gpr -------------------------------------------------------------------------------- /spark.adc: -------------------------------------------------------------------------------- 1 | pragma SPARK_Mode (On); 2 | -------------------------------------------------------------------------------- /src/block/client/genode/block_client.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/client/genode/block_client.cc -------------------------------------------------------------------------------- /src/block/client/genode/block_client.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/client/genode/block_client.h -------------------------------------------------------------------------------- /src/block/client/genode/cxx-block-client.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/client/genode/cxx-block-client.ads -------------------------------------------------------------------------------- /src/block/client/genode/gneiss-block-client.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/client/genode/gneiss-block-client.adb -------------------------------------------------------------------------------- /src/block/client/gneiss-block-client.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/client/gneiss-block-client.ads -------------------------------------------------------------------------------- /src/block/client/linux/block_client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/client/linux/block_client.c -------------------------------------------------------------------------------- /src/block/client/linux/block_client.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/client/linux/block_client.h -------------------------------------------------------------------------------- /src/block/client/linux/gneiss-block-client.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/client/linux/gneiss-block-client.adb -------------------------------------------------------------------------------- /src/block/genode/block_root.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/genode/block_root.h -------------------------------------------------------------------------------- /src/block/genode/cxx-block.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/genode/cxx-block.ads -------------------------------------------------------------------------------- /src/block/genode/gneiss-block.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/genode/gneiss-block.adb -------------------------------------------------------------------------------- /src/block/genode/gneiss_internal-block.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/genode/gneiss_internal-block.ads -------------------------------------------------------------------------------- /src/block/gneiss-block.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/gneiss-block.ads -------------------------------------------------------------------------------- /src/block/linux/gneiss-block.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/linux/gneiss-block.adb -------------------------------------------------------------------------------- /src/block/linux/gneiss-internal-block.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/linux/gneiss-internal-block.ads -------------------------------------------------------------------------------- /src/block/server/genode/block_dispatcher.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/server/genode/block_dispatcher.cc -------------------------------------------------------------------------------- /src/block/server/genode/block_dispatcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/server/genode/block_dispatcher.h -------------------------------------------------------------------------------- /src/block/server/genode/block_server.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/server/genode/block_server.cc -------------------------------------------------------------------------------- /src/block/server/genode/block_server.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/server/genode/block_server.h -------------------------------------------------------------------------------- /src/block/server/genode/cxx-block-dispatcher.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/server/genode/cxx-block-dispatcher.adb -------------------------------------------------------------------------------- /src/block/server/genode/cxx-block-dispatcher.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/server/genode/cxx-block-dispatcher.ads -------------------------------------------------------------------------------- /src/block/server/genode/cxx-block-server.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/server/genode/cxx-block-server.ads -------------------------------------------------------------------------------- /src/block/server/genode/gneiss-block-dispatcher.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/server/genode/gneiss-block-dispatcher.adb -------------------------------------------------------------------------------- /src/block/server/genode/gneiss-block-server.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/server/genode/gneiss-block-server.adb -------------------------------------------------------------------------------- /src/block/server/gneiss-block-dispatcher.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/server/gneiss-block-dispatcher.ads -------------------------------------------------------------------------------- /src/block/server/gneiss-block-server.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/block/server/gneiss-block-server.ads -------------------------------------------------------------------------------- /src/core/linux/core.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/core/linux/core.gpr -------------------------------------------------------------------------------- /src/core/linux/gneiss-broker-lookup.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/core/linux/gneiss-broker-lookup.adb -------------------------------------------------------------------------------- /src/core/linux/gneiss-broker-lookup.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/core/linux/gneiss-broker-lookup.ads -------------------------------------------------------------------------------- /src/core/linux/gneiss-broker-main.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/core/linux/gneiss-broker-main.adb -------------------------------------------------------------------------------- /src/core/linux/gneiss-broker-main.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/core/linux/gneiss-broker-main.ads -------------------------------------------------------------------------------- /src/core/linux/gneiss-broker-message.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/core/linux/gneiss-broker-message.adb -------------------------------------------------------------------------------- /src/core/linux/gneiss-broker-message.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/core/linux/gneiss-broker-message.ads -------------------------------------------------------------------------------- /src/core/linux/gneiss-broker-startup.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/core/linux/gneiss-broker-startup.adb -------------------------------------------------------------------------------- /src/core/linux/gneiss-broker-startup.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/core/linux/gneiss-broker-startup.ads -------------------------------------------------------------------------------- /src/core/linux/gneiss-broker.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/core/linux/gneiss-broker.ads -------------------------------------------------------------------------------- /src/core/linux/gneiss-command_line.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/core/linux/gneiss-command_line.adb -------------------------------------------------------------------------------- /src/core/linux/gneiss-command_line.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/core/linux/gneiss-command_line.ads -------------------------------------------------------------------------------- /src/core/linux/gneiss-config.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/core/linux/gneiss-config.adb -------------------------------------------------------------------------------- /src/core/linux/gneiss-config.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/core/linux/gneiss-config.ads -------------------------------------------------------------------------------- /src/core/linux/gneiss-main.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/core/linux/gneiss-main.adb -------------------------------------------------------------------------------- /src/core/linux/gneiss-main.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/core/linux/gneiss-main.ads -------------------------------------------------------------------------------- /src/core/linux/main.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/core/linux/main.adb -------------------------------------------------------------------------------- /src/gneiss-component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/gneiss-component.ads -------------------------------------------------------------------------------- /src/gneiss.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/gneiss.ads -------------------------------------------------------------------------------- /src/log/client/genode/gneiss-log-client.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/client/genode/gneiss-log-client.adb -------------------------------------------------------------------------------- /src/log/client/genode/gneiss_log_client.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/client/genode/gneiss_log_client.cc -------------------------------------------------------------------------------- /src/log/client/genode/gneiss_log_client.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/client/genode/gneiss_log_client.h -------------------------------------------------------------------------------- /src/log/client/gneiss-log-client.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/client/gneiss-log-client.ads -------------------------------------------------------------------------------- /src/log/client/linux/gneiss-log-client.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/client/linux/gneiss-log-client.adb -------------------------------------------------------------------------------- /src/log/genode/cxx-log.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/genode/cxx-log.ads -------------------------------------------------------------------------------- /src/log/genode/gneiss-log.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/genode/gneiss-log.adb -------------------------------------------------------------------------------- /src/log/genode/gneiss_internal-log.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/genode/gneiss_internal-log.ads -------------------------------------------------------------------------------- /src/log/gneiss-log.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/gneiss-log.ads -------------------------------------------------------------------------------- /src/log/linux/gneiss-log.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/linux/gneiss-log.adb -------------------------------------------------------------------------------- /src/log/linux/gneiss_internal-log.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/linux/gneiss_internal-log.ads -------------------------------------------------------------------------------- /src/log/server/genode/gneiss-log-dispatcher.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/server/genode/gneiss-log-dispatcher.adb -------------------------------------------------------------------------------- /src/log/server/genode/gneiss_log_dispatcher.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/server/genode/gneiss_log_dispatcher.cc -------------------------------------------------------------------------------- /src/log/server/genode/gneiss_log_dispatcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/server/genode/gneiss_log_dispatcher.h -------------------------------------------------------------------------------- /src/log/server/genode/gneiss_log_server.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/server/genode/gneiss_log_server.cc -------------------------------------------------------------------------------- /src/log/server/genode/gneiss_log_server.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/server/genode/gneiss_log_server.h -------------------------------------------------------------------------------- /src/log/server/gneiss-log-dispatcher.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/server/gneiss-log-dispatcher.ads -------------------------------------------------------------------------------- /src/log/server/gneiss-log-server.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/server/gneiss-log-server.ads -------------------------------------------------------------------------------- /src/log/server/linux/gneiss-log-dispatcher.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/log/server/linux/gneiss-log-dispatcher.adb -------------------------------------------------------------------------------- /src/memory/client/genode/gneiss-memory-client.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/client/genode/gneiss-memory-client.adb -------------------------------------------------------------------------------- /src/memory/client/genode/gneiss_memory_client.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/client/genode/gneiss_memory_client.cc -------------------------------------------------------------------------------- /src/memory/client/genode/gneiss_memory_client.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/client/genode/gneiss_memory_client.h -------------------------------------------------------------------------------- /src/memory/client/gneiss-memory-client.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/client/gneiss-memory-client.ads -------------------------------------------------------------------------------- /src/memory/client/linux/gneiss-memory-client.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/client/linux/gneiss-memory-client.adb -------------------------------------------------------------------------------- /src/memory/client/linux/gneiss_memory_client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/client/linux/gneiss_memory_client.c -------------------------------------------------------------------------------- /src/memory/genode/gneiss-memory.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/genode/gneiss-memory.adb -------------------------------------------------------------------------------- /src/memory/genode/gneiss_internal-memory.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/genode/gneiss_internal-memory.ads -------------------------------------------------------------------------------- /src/memory/genode/gneiss_memory_session.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/genode/gneiss_memory_session.h -------------------------------------------------------------------------------- /src/memory/gneiss-memory.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/gneiss-memory.ads -------------------------------------------------------------------------------- /src/memory/linux/gneiss-memory.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/linux/gneiss-memory.adb -------------------------------------------------------------------------------- /src/memory/linux/gneiss_internal-memory.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/linux/gneiss_internal-memory.ads -------------------------------------------------------------------------------- /src/memory/server/genode/gneiss-memory-dispatcher.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/server/genode/gneiss-memory-dispatcher.adb -------------------------------------------------------------------------------- /src/memory/server/genode/gneiss-memory-server.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/server/genode/gneiss-memory-server.adb -------------------------------------------------------------------------------- /src/memory/server/genode/gneiss_memory_dispatcher.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/server/genode/gneiss_memory_dispatcher.cc -------------------------------------------------------------------------------- /src/memory/server/genode/gneiss_memory_dispatcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/server/genode/gneiss_memory_dispatcher.h -------------------------------------------------------------------------------- /src/memory/server/genode/gneiss_memory_server.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/server/genode/gneiss_memory_server.cc -------------------------------------------------------------------------------- /src/memory/server/genode/gneiss_memory_server.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/server/genode/gneiss_memory_server.h -------------------------------------------------------------------------------- /src/memory/server/gneiss-memory-dispatcher.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/server/gneiss-memory-dispatcher.ads -------------------------------------------------------------------------------- /src/memory/server/gneiss-memory-server.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/server/gneiss-memory-server.ads -------------------------------------------------------------------------------- /src/memory/server/linux/gneiss-memory-dispatcher.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/server/linux/gneiss-memory-dispatcher.adb -------------------------------------------------------------------------------- /src/memory/server/linux/gneiss-memory-server.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/memory/server/linux/gneiss-memory-server.adb -------------------------------------------------------------------------------- /src/message/client/genode/gneiss-message-client.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/client/genode/gneiss-message-client.adb -------------------------------------------------------------------------------- /src/message/client/genode/gneiss_message_client.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/client/genode/gneiss_message_client.cc -------------------------------------------------------------------------------- /src/message/client/genode/gneiss_message_client.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/client/genode/gneiss_message_client.h -------------------------------------------------------------------------------- /src/message/client/gneiss-message-client.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/client/gneiss-message-client.ads -------------------------------------------------------------------------------- /src/message/client/linux/gneiss-message-client.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/client/linux/gneiss-message-client.adb -------------------------------------------------------------------------------- /src/message/genode/gneiss-message.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/genode/gneiss-message.adb -------------------------------------------------------------------------------- /src/message/genode/gneiss_internal-message.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/genode/gneiss_internal-message.ads -------------------------------------------------------------------------------- /src/message/genode/gneiss_message_session.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/genode/gneiss_message_session.h -------------------------------------------------------------------------------- /src/message/gneiss-message.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/gneiss-message.ads -------------------------------------------------------------------------------- /src/message/linux/gneiss-message.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/linux/gneiss-message.adb -------------------------------------------------------------------------------- /src/message/linux/gneiss_internal-message.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/linux/gneiss_internal-message.ads -------------------------------------------------------------------------------- /src/message/linux/gneiss_internal-message_syscall.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/linux/gneiss_internal-message_syscall.ads -------------------------------------------------------------------------------- /src/message/linux/gneiss_message.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/linux/gneiss_message.c -------------------------------------------------------------------------------- /src/message/server/genode/gneiss-message-dispatcher.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/server/genode/gneiss-message-dispatcher.adb -------------------------------------------------------------------------------- /src/message/server/genode/gneiss-message-server.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/server/genode/gneiss-message-server.adb -------------------------------------------------------------------------------- /src/message/server/genode/gneiss_message_dispatcher.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/server/genode/gneiss_message_dispatcher.cc -------------------------------------------------------------------------------- /src/message/server/genode/gneiss_message_dispatcher.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/server/genode/gneiss_message_dispatcher.h -------------------------------------------------------------------------------- /src/message/server/genode/gneiss_message_server.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/server/genode/gneiss_message_server.cc -------------------------------------------------------------------------------- /src/message/server/genode/gneiss_message_server.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/server/genode/gneiss_message_server.h -------------------------------------------------------------------------------- /src/message/server/gneiss-message-dispatcher.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/server/gneiss-message-dispatcher.ads -------------------------------------------------------------------------------- /src/message/server/gneiss-message-server.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/server/gneiss-message-server.ads -------------------------------------------------------------------------------- /src/message/server/linux/gneiss-message-dispatcher.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/server/linux/gneiss-message-dispatcher.adb -------------------------------------------------------------------------------- /src/message/server/linux/gneiss-message-server.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/message/server/linux/gneiss-message-server.adb -------------------------------------------------------------------------------- /src/platform/genode/cai_capability.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/genode/cai_capability.h -------------------------------------------------------------------------------- /src/platform/genode/cai_factory.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/genode/cai_factory.cc -------------------------------------------------------------------------------- /src/platform/genode/cai_factory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/genode/cai_factory.h -------------------------------------------------------------------------------- /src/platform/genode/cai_main.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/genode/cai_main.cc -------------------------------------------------------------------------------- /src/platform/genode/cxx-genode.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/genode/cxx-genode.ads -------------------------------------------------------------------------------- /src/platform/genode/cxx.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/genode/cxx.ads -------------------------------------------------------------------------------- /src/platform/genode/factory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/genode/factory.h -------------------------------------------------------------------------------- /src/platform/genode/genode.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/genode/genode.adb -------------------------------------------------------------------------------- /src/platform/genode/genode.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/genode/genode.ads -------------------------------------------------------------------------------- /src/platform/genode/gneiss-component.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/genode/gneiss-component.adb -------------------------------------------------------------------------------- /src/platform/genode/gneiss.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/genode/gneiss.h -------------------------------------------------------------------------------- /src/platform/genode/gneiss_internal.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/genode/gneiss_internal.adb -------------------------------------------------------------------------------- /src/platform/genode/gneiss_internal.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/genode/gneiss_internal.ads -------------------------------------------------------------------------------- /src/platform/genode/trace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/genode/trace.h -------------------------------------------------------------------------------- /src/platform/linux/epoll.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/epoll.c -------------------------------------------------------------------------------- /src/platform/linux/gneiss-component.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss-component.adb -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal-client.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal-client.adb -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal-client.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal-client.ads -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal-epoll.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal-epoll.adb -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal-epoll.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal-epoll.ads -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal-libc.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal-libc.ads -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal-linker.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal-linker.adb -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal-linker.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal-linker.ads -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal-linux.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal-linux.adb -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal-linux.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal-linux.ads -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal-packet.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal-packet.adb -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal-packet.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal-packet.ads -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal-print.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal-print.adb -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal-print.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal-print.ads -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal-syscall.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal-syscall.adb -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal-syscall.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal-syscall.ads -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal-util.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal-util.adb -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal-util.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal-util.ads -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal.adb -------------------------------------------------------------------------------- /src/platform/linux/gneiss_internal.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/gneiss_internal.ads -------------------------------------------------------------------------------- /src/platform/linux/linker.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/linker.c -------------------------------------------------------------------------------- /src/platform/linux/session.rflx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/session.rflx -------------------------------------------------------------------------------- /src/platform/linux/syscall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/syscall.c -------------------------------------------------------------------------------- /src/platform/linux/trace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/platform/linux/trace.h -------------------------------------------------------------------------------- /src/rom/client/genode/gneiss-rom-client.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/rom/client/genode/gneiss-rom-client.adb -------------------------------------------------------------------------------- /src/rom/client/genode/gneiss_rom_client.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/rom/client/genode/gneiss_rom_client.cc -------------------------------------------------------------------------------- /src/rom/client/gneiss-rom-client.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/rom/client/gneiss-rom-client.ads -------------------------------------------------------------------------------- /src/rom/client/linux/gneiss-rom-client.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/rom/client/linux/gneiss-rom-client.adb -------------------------------------------------------------------------------- /src/rom/genode/gneiss-rom.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/rom/genode/gneiss-rom.adb -------------------------------------------------------------------------------- /src/rom/genode/gneiss_internal-rom.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/rom/genode/gneiss_internal-rom.ads -------------------------------------------------------------------------------- /src/rom/gneiss-rom.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/rom/gneiss-rom.ads -------------------------------------------------------------------------------- /src/rom/linux/gneiss-rom.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/rom/linux/gneiss-rom.adb -------------------------------------------------------------------------------- /src/rom/linux/gneiss_internal-rom.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/rom/linux/gneiss_internal-rom.ads -------------------------------------------------------------------------------- /src/timer/client/genode/cxx-timer-client.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/timer/client/genode/cxx-timer-client.ads -------------------------------------------------------------------------------- /src/timer/client/genode/gneiss-timer-client.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/timer/client/genode/gneiss-timer-client.adb -------------------------------------------------------------------------------- /src/timer/client/genode/timer_client.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/timer/client/genode/timer_client.cc -------------------------------------------------------------------------------- /src/timer/client/genode/timer_client.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/timer/client/genode/timer_client.h -------------------------------------------------------------------------------- /src/timer/client/gneiss-timer-client.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/timer/client/gneiss-timer-client.ads -------------------------------------------------------------------------------- /src/timer/client/linux/gneiss-timer-client.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/timer/client/linux/gneiss-timer-client.adb -------------------------------------------------------------------------------- /src/timer/client/linux/gneiss_timer_client.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/timer/client/linux/gneiss_timer_client.c -------------------------------------------------------------------------------- /src/timer/genode/cxx-timer.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/timer/genode/cxx-timer.ads -------------------------------------------------------------------------------- /src/timer/genode/gneiss-timer.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/timer/genode/gneiss-timer.adb -------------------------------------------------------------------------------- /src/timer/genode/gneiss_internal-timer.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/timer/genode/gneiss_internal-timer.ads -------------------------------------------------------------------------------- /src/timer/gneiss-timer.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/timer/gneiss-timer.ads -------------------------------------------------------------------------------- /src/timer/linux/gneiss-timer.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/timer/linux/gneiss-timer.adb -------------------------------------------------------------------------------- /src/timer/linux/gneiss_internal-timer.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/src/timer/linux/gneiss_internal-timer.ads -------------------------------------------------------------------------------- /switches.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/switches.gpr -------------------------------------------------------------------------------- /test/block_client/component.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/block_client/component.adb -------------------------------------------------------------------------------- /test/block_client/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/block_client/component.ads -------------------------------------------------------------------------------- /test/block_client/component.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/block_client/component.gpr -------------------------------------------------------------------------------- /test/block_proxy/component.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/block_proxy/component.adb -------------------------------------------------------------------------------- /test/block_proxy/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/block_proxy/component.ads -------------------------------------------------------------------------------- /test/block_server/component.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/block_server/component.adb -------------------------------------------------------------------------------- /test/block_server/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/block_server/component.ads -------------------------------------------------------------------------------- /test/genode.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/genode.sh -------------------------------------------------------------------------------- /test/hello_world.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/hello_world.gpr -------------------------------------------------------------------------------- /test/hello_world/component.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/hello_world/component.adb -------------------------------------------------------------------------------- /test/hello_world/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/hello_world/component.ads -------------------------------------------------------------------------------- /test/hello_world/gnat_ce_2020/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/hello_world/gnat_ce_2020/component.ads -------------------------------------------------------------------------------- /test/hello_world/hello_world.expect: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/hello_world/hello_world.expect -------------------------------------------------------------------------------- /test/hello_world/hello_world.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/hello_world/hello_world.xml -------------------------------------------------------------------------------- /test/linux.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/linux.sh -------------------------------------------------------------------------------- /test/linux_log_server.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/linux_log_server.gpr -------------------------------------------------------------------------------- /test/linux_log_server/component.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/linux_log_server/component.adb -------------------------------------------------------------------------------- /test/linux_log_server/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/linux_log_server/component.ads -------------------------------------------------------------------------------- /test/linux_log_server/put.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/linux_log_server/put.c -------------------------------------------------------------------------------- /test/log_proxy.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/log_proxy.gpr -------------------------------------------------------------------------------- /test/log_proxy/component.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/log_proxy/component.adb -------------------------------------------------------------------------------- /test/log_proxy/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/log_proxy/component.ads -------------------------------------------------------------------------------- /test/log_proxy/gnat_ce_2020/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/log_proxy/gnat_ce_2020/component.ads -------------------------------------------------------------------------------- /test/log_proxy/log_proxy.expect: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/log_proxy/log_proxy.expect -------------------------------------------------------------------------------- /test/log_proxy/log_proxy.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/log_proxy/log_proxy.xml -------------------------------------------------------------------------------- /test/memory_client.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/memory_client.gpr -------------------------------------------------------------------------------- /test/memory_client/component.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/memory_client/component.adb -------------------------------------------------------------------------------- /test/memory_client/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/memory_client/component.ads -------------------------------------------------------------------------------- /test/memory_client/gnat_ce_2020/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/memory_client/gnat_ce_2020/component.ads -------------------------------------------------------------------------------- /test/memory_client/memory_client.expect: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/memory_client/memory_client.expect -------------------------------------------------------------------------------- /test/memory_client/memory_client.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/memory_client/memory_client.xml -------------------------------------------------------------------------------- /test/memory_server.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/memory_server.gpr -------------------------------------------------------------------------------- /test/memory_server/component.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/memory_server/component.adb -------------------------------------------------------------------------------- /test/memory_server/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/memory_server/component.ads -------------------------------------------------------------------------------- /test/memory_server/gnat_ce_2020/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/memory_server/gnat_ce_2020/component.ads -------------------------------------------------------------------------------- /test/message_client.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/message_client.gpr -------------------------------------------------------------------------------- /test/message_client/component.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/message_client/component.adb -------------------------------------------------------------------------------- /test/message_client/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/message_client/component.ads -------------------------------------------------------------------------------- /test/message_client/gnat_ce_2020/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/message_client/gnat_ce_2020/component.ads -------------------------------------------------------------------------------- /test/message_client/message_client.expect: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/message_client/message_client.expect -------------------------------------------------------------------------------- /test/message_client/message_client.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/message_client/message_client.xml -------------------------------------------------------------------------------- /test/message_server.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/message_server.gpr -------------------------------------------------------------------------------- /test/message_server/component.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/message_server/component.adb -------------------------------------------------------------------------------- /test/message_server/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/message_server/component.ads -------------------------------------------------------------------------------- /test/message_server/gnat_ce_2020/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/message_server/gnat_ce_2020/component.ads -------------------------------------------------------------------------------- /test/rom.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/rom.gpr -------------------------------------------------------------------------------- /test/rom/component.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/rom/component.adb -------------------------------------------------------------------------------- /test/rom/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/rom/component.ads -------------------------------------------------------------------------------- /test/rom/gnat_ce_2020/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/rom/gnat_ce_2020/component.ads -------------------------------------------------------------------------------- /test/rom/rom.expect: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/rom/rom.expect -------------------------------------------------------------------------------- /test/rom/rom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/rom/rom.xml -------------------------------------------------------------------------------- /test/rom2.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/rom2.gpr -------------------------------------------------------------------------------- /test/timer.gpr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/timer.gpr -------------------------------------------------------------------------------- /test/timer/component.adb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/timer/component.adb -------------------------------------------------------------------------------- /test/timer/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/timer/component.ads -------------------------------------------------------------------------------- /test/timer/gnat_ce_2020/component.ads: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/timer/gnat_ce_2020/component.ads -------------------------------------------------------------------------------- /test/timer/timer.expect: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/timer/timer.expect -------------------------------------------------------------------------------- /test/timer/timer.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Componolit/gneiss/HEAD/test/timer/timer.xml --------------------------------------------------------------------------------