This is my first attempt to run Genode over seL4 inside VM.
I take latest 19.05 version of Genode as recommended.
I followed the instruction and now compile (in vmware vm with ubuntu, 64 bit) and able to run demo both inside vmware and qemu in my MacOS notebook. While I can say that work of demo is pretty unstable, it hangs under any attempt to run from launchpad nitpicker (just freeze mouse, no messages in the stdout log on host). It does not show any other windows except launcher, the only log message are: ... [init -> scout -> launchpad] starting testnit with quota 5896K [init -> scout -> launchpad] using unique child name "testnit" [init -> nitpicker] resource_request: ram_quota=0, cap_quota=4 [init] child "nitpicker" requests resources: ram_quota=0, cap_quota=4
I make run/noux_bash and run/noux_vim iso. both of them started successfully, but show me only black screen (both in vmware and qemu 3.1_01). Logs seems to be without errors… see below
How I can see terminal prompt inside vm window ?
Sincerely, Alexander Tormasov・
Bender: Hello World.
Boot config: parsing cmdline 'sel4 disable_iommu' Boot config: console_port = 0x3f8 Boot config: debug_port = 0x3f8 Boot config: disable_iommu = true module #0: start=0xcfd7000 end=0xff90330 size=0x2fb9330 name='image.elf' Physical Memory Region from 0 size 9f800 type 1 Physical Memory Region from 9f800 size 800 type 2 Physical Memory Region from dc000 size 24000 type 2 Physical Memory Region from 100000 size bd5e0000 type 1 Adding physical memory region 0x100000-0xbd6e0000 Physical Memory Region from bd6e0000 size 1f000 type 3 Physical Memory Region from bd6ff000 size 1000 type 4 Physical Memory Region from bd700000 size 100000 type 1 Adding physical memory region 0xbd700000-0xbd800000 Physical Memory Region from f0000000 size 8000000 type 2 Physical Memory Region from fec00000 size 10000 type 2 Physical Memory Region from fee00000 size 1000 type 2 Physical Memory Region from fffe0000 size 20000 type 2 Got framebuffer info in multiboot2. Current video mode is at physical address=e8000000 pitch=4608 resolution=1152x864@32 type=1 Detected 1 boot module(s): ***WARNING*** SKIM window not enabled, this machine is probably vulernable to Meltdown (https://www.meltdownattack.com), consider enabling Kernel loaded to: start=0x200000 end=0xaa5000 size=0x8a5000 entry=0x201209 ACPI: RSDT paddr=0xbd6efc56 ACPI: RSDT vaddr=0xbd6efc56 ACPI: FADT paddr=0xbd6fef67 ACPI: FADT vaddr=0xbd6fef67 ACPI: FADT flags=0x21 ACPI: MADT paddr=0xbd6efdc2 ACPI: MADT vaddr=0xbd6efdc2 ACPI: MADT apic_addr=0xfee00000 ACPI: MADT flags=0x1 ACPI: MADT_APIC apic_id=0x0 ACPI: MADT_IOAPIC ioapic_id=1 ioapic_addr=0xfec00000 gsib=0 ACPI: MADT_ISO bus=0 source=0 gsi=2 flags=0x5 ACPI: 1 CPU(s) detected ELF-loading userland images from boot modules: size=0x3e23000 v_entry=0x2000018 v_start=0x2000000 v_end=0x5e23000 p_start=0xff91000 p_end=0x13db4000 Moving loaded userland images to final location: from=0xff91000 to=0xaa5000 size=0x3e23000 Starting node #0 with APIC ID 0 Mapping kernel window is done vt-x: not supported Booting all finished, dropped to user space :phys_mem_16k: Allocator 0x2fe7c30 dump: Block: [0000000000200000,0000000000240000) size=256K avail=256K max_avail=256K => mem_size=262144 (0 MB) / mem_avail=262144 (0 MB)
Warning: device memory in range [0000000100000000,0000000200000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000000200000000,0000000400000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000000400000000,0000000800000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000000800000000,0000001000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000001000000000,0000002000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000002000000000,0000004000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000004000000000,0000008000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000008000000000,0000408000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000408000000000,0000608000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000608000000000,0000708000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000708000000000,0000788000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [0000788000000000,00007c8000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [00007c8000000000,00007e8000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [00007e8000000000,00007f8000000000) is unavailable (due to limited untyped cnode range) Warning: device memory in range [00007f8000000000,0000800000000000) is unavailable (due to limited untyped cnode range) virtual address layout of core: overall [0000000000002000,0000000200000000) core image [0000000002000000,0000000005e23000) ipc buffer [0000000005e23000,0000000005e24000) boot_info [0000000005e24000,0000000005e26000) stack area [0000000040000000,0000000050000000) Warning: need physical memory, but Platform object not constructed yet Warning: need physical memory, but Platform object not constructed yet Warning: need physical memory, but Platform object not constructed yet boot module 'input_filter.config' (768 bytes) boot module 'ps2_drv' (181168 bytes) boot module 'vesa_fb_drv' (367632 bytes) boot module 'vim.tar' (20285440 bytes) boot module 'config' (2844 bytes) boot module 'drivers.config' (4778 bytes) boot module 'coreutils.tar' (11642880 bytes) boot module 'libm.lib.so' (240904 bytes) boot module 'en_us.chargen' (5625 bytes) boot module 'bash.tar' (7895040 bytes) boot module 'vimrc' (89 bytes) boot module 'vfs_ttf.lib.so' (227440 bytes) boot module 'terminal.config' (189 bytes) boot module 'libc.lib.so' (1593272 bytes) boot module 'vfs' (197256 bytes) boot module 'VeraMono.ttf' (49224 bytes) boot module 'acpi_drv' (129152 bytes) boot module 'noux' (465576 bytes) boot module 'timer' (120736 bytes) boot module 'input_filter' (199696 bytes) boot module 'special.chargen' (1346 bytes) boot module 'posix.lib.so' (68752 bytes) boot module 'terminal' (243648 bytes) boot module 'report_rom' (128160 bytes) boot module 'platform_drv' (334464 bytes) boot module 'ncurses.lib.so' (370096 bytes) boot module 'ram_fs' (169784 bytes) boot module 'Vera.ttf' (65932 bytes) boot module 'libc_noux.lib.so' (138080 bytes) boot module 'LICENSE.bitstream-vera' (5954 bytes) boot module 'fb_drv.config' (51 bytes) boot module 'init' (345536 bytes) boot module 'vfs.lib.so' (458880 bytes) boot module 'init.xsd' (7148 bytes) boot module 'ld.lib.so' (1002416 bytes) boot module 'usb_drv' (1400368 bytes) Warning: need physical memory, but Platform object not constructed yet Genode sculpt-19.07 2851 MiB RAM and 261141 caps assigned to init Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x1 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x2 [init] parent provides [init] service "ROM" [init] service "LOG" [init] service "RM" [init] service "CPU" [init] service "PD" [init] service "IRQ" [init] service "IO_PORT" [init] service "IO_MEM" [init] child "timer" [init] RAM quota: 776K [init] cap quota: 68 [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] child "drivers" [init] RAM quota: 32520K [init] cap quota: 968 [init] ELF binary: init [init] priority: 0 [init] provides service Input [init] provides service Framebuffer [init] child "terminal" [init] RAM quota: 1800K [init] cap quota: 68 [init] ELF binary: terminal [init] priority: 0 [init] provides service Terminal [init] child "ram_fs" [init] RAM quota: 9992K [init] cap quota: 68 [init] ELF binary: ram_fs [init] priority: 0 [init] provides service File_system [init] child "noux" [init] RAM quota: 1048328K [init] cap quota: 968 [init] ELF binary: noux [init] priority: 0 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x4 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x8 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x10 [init -> noux] tar archive 'coreutils.tar' local at 0x1a0000, size is 11644928 [init] child "timer" announces service "Timer" [init -> noux] tar archive 'vim.tar' local at 0xb000000, size is 20287488 [init] child "ram_fs" announces service "File_system" [init -> drivers] Warning: input_filter assigned caps (90) exceed available caps (46) [init -> noux] tar archive 'bash.tar' local at 0xc35c000, size is 7897088 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x20 [init -> drivers -> acpi_drv] Found MADT [init -> drivers -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 5 [init -> drivers -> acpi_drv] Found MCFG [init -> drivers -> acpi_drv] MCFG BASE 0xf0000000 seg 0x0 bus 0x0-0x7f [init -> drivers -> acpi_drv] XSDT OEM 'INTEL ', table id '440BX ', revision 100925440, creator 'VMW ' (20071026) Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x40 [init -> drivers -> platform_drv] ECAM/MMCONF range 00:00.0-7f:1f.7 - addr [00000000f0000000,00000000f8000000) [init -> drivers -> platform_drv] Root bridge: 00:00.0 [init -> drivers -> platform_drv] 00:01.0 - bridge 01:00.0 [init -> drivers -> platform_drv] 00:11.0 - bridge 02:00.0 [init -> drivers -> platform_drv] 00:15.0 - bridge 03:00.0 [init -> drivers -> platform_drv] 00:15.1 - bridge 04:00.0 [init -> drivers -> platform_drv] 00:15.2 - bridge 05:00.0 [init -> drivers -> platform_drv] 00:15.3 - bridge 06:00.0 [init -> drivers -> platform_drv] 00:15.4 - bridge 07:00.0 [init -> drivers -> platform_drv] 00:15.5 - bridge 08:00.0 [init -> drivers -> platform_drv] 00:15.6 - bridge 09:00.0 [init -> drivers -> platform_drv] 00:15.7 - bridge 0a:00.0 [init -> drivers -> platform_drv] 00:16.0 - bridge 0b:00.0 [init -> drivers -> platform_drv] 00:16.1 - bridge 0c:00.0 [init -> drivers -> platform_drv] 00:16.2 - bridge 0d:00.0 [init -> drivers -> platform_drv] 00:16.3 - bridge 0e:00.0 Warning: flush page table entries - mapping cache full - PD: init -> drivers -> platform_drv Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x80 [init -> drivers -> platform_drv] 00:16.4 - bridge 0f:00.0 [init -> drivers -> platform_drv] 00:16.5 - bridge 10:00.0 [init -> drivers -> platform_drv] 00:16.6 - bridge 11:00.0 [init -> drivers -> platform_drv] 00:16.7 - bridge 12:00.0 [init -> drivers -> platform_drv] 00:17.0 - bridge 13:00.0 [init -> drivers -> platform_drv] 00:17.1 - bridge 14:00.0 [init -> drivers -> platform_drv] 00:17.2 - bridge 15:00.0 [init -> drivers -> platform_drv] 00:17.3 - bridge 16:00.0 [init -> drivers -> platform_drv] 00:17.4 - bridge 17:00.0 [init -> drivers -> platform_drv] 00:17.5 - bridge 18:00.0 [init -> drivers -> platform_drv] 00:17.6 - bridge 19:00.0 [init -> drivers -> platform_drv] 00:17.7 - bridge 1a:00.0 [init -> drivers -> platform_drv] 00:18.0 - bridge 1b:00.0 [init -> drivers -> platform_drv] 00:18.1 - bridge 1c:00.0 [init -> drivers -> platform_drv] 00:18.2 - bridge 1d:00.0 [init -> drivers -> platform_drv] 00:18.3 - bridge 1e:00.0 Warning: flush page table entries - mapping cache full - PD: init -> drivers -> platform_drv [init -> drivers -> platform_drv] 00:18.4 - bridge 1f:00.0 [init -> drivers -> platform_drv] 00:18.5 - bridge 20:00.0 [init -> drivers -> platform_drv] 00:18.6 - bridge 21:00.0 [init -> drivers -> platform_drv] 00:18.7 - bridge 22:00.0 Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x100 [init -> drivers -> ps2_drv] Using keyboard with scan code set 1 (xlate) [init -> drivers -> usb_drv] Could not read screen resolution in config node [init -> drivers -> usb_drv] Configured HID screen with 0x0 (multitouch=false) [init -> drivers -> usb_drv] No <storage> config node found - not starting the USB Storage (Block) service [init -> drivers -> usb_drv] No <nic> config node found - not starting the USB Nic (Network) service [init -> drivers -> ps2_drv] detected ImPS/2 mouse - activating scroll-wheel support [init -> drivers -> usb_drv] No <raw> config node found - not starting external USB service [init -> drivers -> usb_drv] Enabled UHCI (USB 1.0/1.1) support [init -> drivers -> usb_drv] Enabled EHCI (USB 2.0) support [init -> drivers -> usb_drv] Enabled XHCI (USB 3.0) support [init -> drivers -> platform_drv] PS2 uses IRQ, vector 0x1 [init -> drivers -> platform_drv] PS2 uses IRQ, vector 0xc [init -> drivers -> fb_drv] Found PCI VGA at 00:0f.0 [init -> drivers -> fb_drv] fb mapped to 0x5000 [init -> drivers -> platform_drv] Warning: Out_of_caps during Device_component construction [init -> drivers -> usb_drv] ioremap: mapped phys 0xfd5ef000 (size 4096) to virt 0x17000 [init -> drivers -> usb_drv] ioremap: return sub range phys 0xfd5ef000 (size 4096) to virt 0x17000 [init -> drivers -> usb_drv] dev_info: EHCI Host Controller [init -> drivers -> usb_drv] dev_info: new USB bus registered, assigned bus number 1 [init -> drivers -> platform_drv] 02:04.0 uses IRQ, vector 0xa, non-maskable [init -> drivers -> usb_drv] dev_info: irq 129, io mem 0xfd5ef000 [init -> drivers -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00 [init -> drivers -> usb_drv] dev_info: USB hub found [init -> drivers -> usb_drv] dev_info: 6 ports detected [init -> drivers -> usb_drv] dev_info: UHCI Host Controller [init -> drivers -> usb_drv] dev_info: new USB bus registered, assigned bus number 2 [init -> drivers -> platform_drv] 02:03.0 uses IRQ, vector 0xb, non-maskable [init -> drivers -> usb_drv] dev_info: irq 130, io base 0x00002080 [init -> drivers -> usb_drv] dev_info: USB hub found [init -> drivers -> usb_drv] dev_info: 2 ports detected Warning: PD (init -> drivers -> input_filter) cap limit (used=36, limit=37) exceeded during transfer_quota(3) [init -> drivers -> input_filter] resource_request: cap_quota=3 [init -> drivers] child "input_filter" requests resources: cap_quota=3 [init -> drivers -> usb_drv] dev_info: new full-speed USB device number 2 using uhci_hcd [init -> drivers -> usb_drv] dev_info: V V [init -> drivers -> usb_drv] dev_info: input: USB HID v1.10 Mouse [V V] on usb-dummy-1/input0 [init -> drivers -> usb_drv] dev_info: V V [init -> drivers -> usb_drv] dev_info: input: USB HID v1.10 Mouse [V V] on usb-dummy-1/input1 [init -> drivers -> usb_drv] dev_info: new full-speed USB device number 3 using uhci_hcd [init -> drivers -> usb_drv] dev_info: USB hub found [init -> drivers -> usb_drv] dev_info: 7 ports detected
Hello,
On 12.07.19 00:28, Alexander Tormasov via users wrote:
This is my first attempt to run Genode over seL4 inside VM.
welcome.
I take latest 19.05 version of Genode as recommended.
I followed the instruction and now compile (in vmware vm with ubuntu, 64 bit) and able to run demo both inside vmware and qemu in my MacOS notebook. While I can say that work of demo is pretty unstable, it hangs under any attempt to run from launchpad nitpicker (just freeze mouse, no messages in the stdout log on host). It does not show any other windows except launcher, the only log message are: ... [init -> scout -> launchpad] starting testnit with quota 5896K [init -> scout -> launchpad] using unique child name "testnit" [init -> nitpicker] resource_request: ram_quota=0, cap_quota=4 [init] child "nitpicker" requests resources: ram_quota=0, cap_quota=4
The GUI service -nitpicker- asks for more resources (cap_quota != 0) but nobody is answering the request (in this demo scenario) - because of that the GUI is not responding/available anymore.
You may increase in repos/os/run/demo.run the granted cap quota by changing the caps value, look for
<start name="nitpicker" caps="110">
I make run/noux_bash and run/noux_vim iso. both of them started successfully, but show me only black screen (both in vmware and qemu 3.1_01). Logs seems to be without errors… see below
How I can see terminal prompt inside vm window ?
[init -> drivers] Warning: input_filter assigned caps (90) exceed
available caps (46)
This hints also for a mis-configuration. Try to increase the caps in repos/ports/run/noux_vim.run at the drivers node:
<start name="drivers" caps="1000">
Warning: PD (init -> drivers -> input_filter) cap limit (used=36, limit=37) exceeded during transfer_quota(3) [init -> drivers -> input_filter] resource_request: cap_quota=3 [init -> drivers] child "input_filter" requests resources: cap_quota=3
If the increase of caps for the drivers node is not sufficient, you would need to adjust repos/os/recipes/raw/drivers_interactive-pc/drivers.config and rebuild the package.
The interactive scenarios we don't regularly manually execute for -Genode/seL4-, so you may encounter such resource requests for such non automated run scenarios again.
Hope it helps,
Alex.
Hello Alexander,
welcome to the mailing list. First I'd like to ask if you would mind to subscribe so you get future replies automatically via the list?
The issue you experience in both cases is AFAICS shortage of resoures in components. These are the relevant log messages.
On Fri, Jul 12, 2019 at 00:28:11 CEST, Alexander Tormasov via users wrote:
[init -> nitpicker] resource_request: ram_quota=0, cap_quota=4 [init] child "nitpicker" requests resources: ram_quota=0, cap_quota=4
[...]
Warning: PD (init -> drivers -> input_filter) cap limit (used=36, limit=37) exceeded during transfer_quota(3) [init -> drivers -> input_filter] resource_request: cap_quota=3 [init -> drivers] child "input_filter" requests resources: cap_quota=3
The quotas for RAM and capabilities are configured in the init start-node configuration for individual components and are not increased automatically by the init component itself. Therefore, you may try to tweak the quota configuration to proceed with the test scenarios like follows.
In repos/os/run/demo.run increase nitpicker cap auota around line 150
- <start name="nitpicker" caps="110"> + <start name="nitpicker" caps="200">
Pleasse understand that sel4 as a platform is not used regularly or even day-to-day. You may find a list of all automatically-tested scenarios in the source tree (tool/autopilot.list).
Happy hacking
Thanks for answer! Yesterday I submit a request for subscription, but it kind of failed (wait for moderator approval)?
About cap quota - thanks you, now I understand that this is not just a warning - this is real err message
While it is kind of tricky - how I can estimate ram size (not talking about mysterious capabilities) for new application? How I can guess? I have big experience with container virtualization development and know that real estimation of memory quota in kernel very tricky (especially if you have sharing of the pages in pages cache)
By the way, are there any page cache in current implementation of Genode over seL4 (or any other microkernel) ?
Thanks! Alexander
Отправлено с iPhone
12 июля 2019 г., в 13:03, Christian Helmuth christian.helmuth@genode-labs.com написал(а):
Hello Alexander,
welcome to the mailing list. First I'd like to ask if you would mind to subscribe so you get future replies automatically via the list?
The issue you experience in both cases is AFAICS shortage of resoures in components. These are the relevant log messages.
On Fri, Jul 12, 2019 at 00:28:11 CEST, Alexander Tormasov via users wrote: [init -> nitpicker] resource_request: ram_quota=0, cap_quota=4 [init] child "nitpicker" requests resources: ram_quota=0, cap_quota=4
[...]
Warning: PD (init -> drivers -> input_filter) cap limit (used=36, limit=37) exceeded during transfer_quota(3) [init -> drivers -> input_filter] resource_request: cap_quota=3 [init -> drivers] child "input_filter" requests resources: cap_quota=3
The quotas for RAM and capabilities are configured in the init start-node configuration for individual components and are not increased automatically by the init component itself. Therefore, you may try to tweak the quota configuration to proceed with the test scenarios like follows.
In repos/os/run/demo.run increase nitpicker cap auota around line 150
<start name="nitpicker" caps="110">
<start name="nitpicker" caps="200">
Pleasse understand that sel4 as a platform is not used regularly or even day-to-day. You may find a list of all automatically-tested scenarios in the source tree (tool/autopilot.list).
Happy hacking
Christian Helmuth Genode Labs
https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
By the way, Genode's seL4 support is still incomplete, particularly with regard to resource management. Also, Genode on seL4 doesn't have enough capabilities (CAP) to run some of the more complex scenarios, e.g. Sculpt.
On Fri, Jul 12, 2019, 7:09 AM Alexander Tormasov via users < users@lists.genode.org> wrote:
Thanks for answer! Yesterday I submit a request for subscription, but it kind of failed (wait for moderator approval)?
About cap quota - thanks you, now I understand that this is not just a warning - this is real err message
While it is kind of tricky - how I can estimate ram size (not talking about mysterious capabilities) for new application? How I can guess? I have big experience with container virtualization development and know that real estimation of memory quota in kernel very tricky (especially if you have sharing of the pages in pages cache)
By the way, are there any page cache in current implementation of Genode over seL4 (or any other microkernel) ?
Thanks! Alexander
Отправлено с iPhone
12 июля 2019 г., в 13:03, Christian Helmuth <
christian.helmuth@genode-labs.com> написал(а):
Hello Alexander,
welcome to the mailing list. First I'd like to ask if you would mind to subscribe so you get future replies automatically via the list?
The issue you experience in both cases is AFAICS shortage of resoures in components. These are the relevant log messages.
On Fri, Jul 12, 2019 at 00:28:11 CEST, Alexander Tormasov via users
wrote:
[init -> nitpicker] resource_request: ram_quota=0, cap_quota=4 [init] child "nitpicker" requests resources: ram_quota=0, cap_quota=4
[...]
Warning: PD (init -> drivers -> input_filter) cap limit (used=36,
limit=37) exceeded during transfer_quota(3)
[init -> drivers -> input_filter] resource_request: cap_quota=3 [init -> drivers] child "input_filter" requests resources: cap_quota=3
The quotas for RAM and capabilities are configured in the init start-node configuration for individual components and are not increased automatically by the init component itself. Therefore, you may try to tweak the quota configuration to proceed with the test scenarios like follows.
In repos/os/run/demo.run increase nitpicker cap auota around line 150
<start name="nitpicker" caps="110">
<start name="nitpicker" caps="200">
Pleasse understand that sel4 as a platform is not used regularly or even day-to-day. You may find a list of all automatically-tested scenarios in the source tree (tool/autopilot.list).
Happy hacking
Christian Helmuth Genode Labs
https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users
-
Alexander Boettcher -
Alexander Tormasov -
Christian Helmuth -
Nobody III