users

users@lists.genode.org

2357 discussions

Problem linking against pthread in 15.11
by Marcus Nolte 22 Jan '16

22 Jan '16

Hey Genodians, I just updated to 15.11 (building on linux_x86) whenever a component links against pthread, I am getting an error such as Program app/qt5/examples/calculatorform/calculatorform LINK calculatorform build/var/libcache/pthread/pthread.lib.so: undefined reference to `_context_area_start' (This one comes from qt, but of course make run/pthread comes up with something similar) Build directory was cleaned beforehand. Has anyone faced such an issue before or did something go wrong during my update? Best Marcus -- Marcus Nolte, M. Sc. Technische Universität Braunschweig Institut für Regelungstechnik (IfR) Hans-Sommer-Straße 66 38106 Braunschweig Tel.: +49 531 391 8066 Fax: +49 531 391 7878 Email: nolte@...254... Internet: http://www.ifr.ing.tu-bs.de

2 7

Problem linking against pthread in 15.11
by Marcus Nolte 22 Jan '16

22 Jan '16

-- Marcus Nolte, M. Sc. Technische Universität Braunschweig Institut für Regelungstechnik (IfR) Hans-Sommer-Straße 66 38106 Braunschweig Tel.: +49 531 391 8066 Fax: +49 531 391 7878 Email: nolte@...254... Internet: http://www.ifr.ing.tu-bs.de

1 0

Yet another problem with Genode+Nova_x86_64+VirtualBox on USB stick
by 1 2 22 Jan '16

22 Jan '16

Sorry about mess with previous message. Hope that this one would be correct. Hello! Problem description: system hangs right after "Press F12..." VirtualBox label disappears. Environment: MB: Asus Sabertooth Z87 Memory: 16 GB CPU: i7 4770k (Yes, I know that it does not support VT-d) USB stick: Transcend 16GB 1100 Tweaked virtualbox_auto.inc (ahci driver was removed, use_usb==1, $use_ps2==0, $use_ram_fs==0): ======================================================================== assert_spec nova if {[have_include "power_on/qemu"]} { puts "\nRun script does not support Qemu.\n" exit } append build_components { core init virtualbox server/part_blk server/rump_fs drivers/framebuffer drivers/timer } lappend_if [expr $use_ps2] build_components drivers/input lappend_if [expr $use_usb] build_components drivers/usb lappend_if [have_spec x86] build_components drivers/rtc lappend_if [expr $use_ram_fs] build_components server/ram_fs source ${genode_dir}/repos/base/run/platform_drv.inc # override defaults of platform_drv.inc proc platform_drv_priority {} { return { priority="-1"} } append_platform_drv_build_components build $build_components create_boot_directory set config { <config verbose="yes" prio_levels="4"> <parent-provides> <service name="ROM"/> <service name="RAM"/> <service name="IRQ"/> <service name="IO_MEM"/> <service name="IO_PORT"/> <service name="CAP"/> <service name="PD"/> <service name="RM"/> <service name="CPU"/> <service name="LOG"/> <service name="SIGNAL"/> </parent-provides> <default-route> <any-service> <parent/> <any-child/> </any-service> </default-route> <start name="timer"> <resource name="RAM" quantum="1M"/> <provides><service name="Timer"/></provides> </start> <start name="usb_drv" priority="-1"> <resource name="RAM" quantum="16M"/> <provides> <service name="Input"/> <service name="Usb" /> <service name="Block"/> </provides> <config uhci="yes" ehci="yes" xhci="yes"> <hid/> <storage/> <raw> <report devices="yes"/> </raw> <policy label="part_blk"/> </config> <route> <service name="IRQ"><child name="acpi_drv" /></service> <service name="Report"><child name="report_rom" /></service> <any-service> <parent /> <any-child /></any-service> </route> </start> <start name="part_blk" priority="-1"> <resource name="RAM" quantum="10M" /> <provides><service name="Block" /></provides> <route> <any-service><child name="usb_drv"/> <parent/><any-child/></any-service> </route> <config> <policy label="rump_fs" partition="1"/> </config> </start> <start name="rump_fs" priority="-1"> <resource name="RAM" quantum="32M" /> <provides><service name="File_system"/></provides> <config fs="ext2fs"><policy root="/" writeable="yes"/></config> <route> <any-service><child name="part_blk"/> <parent/><any-child/></any-service> </route> </start>} append_if [expr $use_ram_fs] config { <start name="ram_fs" priority="-1"> <resource name="RAM" quantum="512M" /> <provides><service name="File_system"/></provides> <config> <content> <dir name="ram"> } append_if [expr $use_ram_fs] config "<rom name=\"${overlay_image}\"/>" append_if [expr $use_ram_fs] config { </dir> </content>  <policy label="vbox -> from_ram_fs" root="/ram" writeable="yes" /> </config> </start>} append_platform_drv_config append_if [expr $use_ps2] config { <start name="ps2_drv" priority="-1"> <resource name="RAM" quantum="1M"/> <provides><service name="Input"/></provides> <route> <service name="IRQ"><child name="acpi_drv" /></service> <any-service> <parent /> <any-child /></any-service> </route> </start>} append_if [have_spec framebuffer] config { <start name="fb_drv" priority="-1"> <resource name="RAM" quantum="6M"/> <provides><service name="Framebuffer"/></provides> <config buffered="yes" /> </start>} append_if [have_spec x86] config { <start name="rtc_drv" priority="-1"> <resource name="RAM" quantum="1M"/> <provides> <service name="Rtc"/> </provides> </start>} append config $config_of_app append config { </config> } install_config $config append boot_modules { core init timer part_blk ld.lib.so libc.lib.so libm.lib.so pthread.lib.so libc_lock_pipe.lib.so libc_terminal.lib.so libiconv.lib.so stdcxx.lib.so rump.lib.so rump_fs.lib.so rump_fs virtualbox } lappend_if [expr $use_ram_fs] boot_modules ram_fs lappend_if [expr $use_ram_fs] boot_modules ${overlay_image} # platform-specific modules lappend_if [expr $use_ps2] boot_modules ps2_drv lappend_if [expr $use_usb] boot_modules usb_drv lappend_if [have_spec framebuffer] boot_modules fb_drv lappend_if [have_spec x86] boot_modules rtc_drv append_platform_drv_boot_modules ======================================================================== Also I removed overlay disk from vm_win7.vbox and did not create /ram on USB stick. Serial output: ======================================================================== Hypervisor features VMX Hypervisor reports 8x1 CPUs - boot CPU is 0 Hypervisor info page contains 53 memory descriptors: detected physical memory: 0x0000000000000000 - size: 0x9d800 use physical memory: 0x0000000000000000 - size: 0x9d000 detected physical memory: 0x0000000000100000 - size: 0xc785c000 use physical memory: 0x0000000000100000 - size: 0xc785c000 detected physical memory: 0x00000000c7963000 - size: 0x45a000 use physical memory: 0x00000000c7963000 - size: 0x45a000 detected physical memory: 0x00000000c822e000 - size: 0x154ac000 use physical memory: 0x00000000c822e000 - size: 0x154ac000 detected physical memory: 0x00000000defff000 - size: 0x1000 use physical memory: 0x00000000defff000 - size: 0x1000 detected physical memory: 0x0000000100000000 - size: 0x31f000000 use physical memory: 0x0000000100000000 - size: 0x31f000000 map multi-boot module: physical 0x7e881000+0x000e7400 - core map multi-boot module: physical 0x7e969000+0x00001e0b - config map multi-boot module: physical 0x7e96b000+0x0005c740 - input_merger map multi-boot module: physical 0x7e9c8000+0x0007e048 - nic_drv map multi-boot module: physical 0x7ea47000+0x0009cc40 - audio_drv map multi-boot module: physical 0x7eae4000+0x0007e550 - nitpicker map multi-boot module: physical 0x7eb63000+0x000564a8 - vbox_pointer map multi-boot module: physical 0x7ebba000+0x00062820 - nit_fb map multi-boot module: physical 0x7ec1d000+0x000611e0 - report_rom map multi-boot module: physical 0x7ec7f000+0x0005ff08 - init map multi-boot module: physical 0x7ecdf000+0x0005adf8 - timer map multi-boot module: physical 0x7ed3a000+0x0005bd48 - part_blk map multi-boot module: physical 0x7ed96000+0x0009bad8 - ld.lib.so map multi-boot module: physical 0x7ee32000+0x001098c8 - libc.lib.so map multi-boot module: physical 0x7ef3c000+0x000285f0 - libm.lib.so map multi-boot module: physical 0x7ef65000+0x00009a00 - pthread.lib.so map multi-boot module: physical 0x7ef6f000+0x00005db8 - libc_lock_pipe.lib.so map multi-boot module: physical 0x7ef75000+0x00013238 - libc_terminal.lib.so map multi-boot module: physical 0x7ef89000+0x000e71e8 - libiconv.lib.so map multi-boot module: physical 0x7f071000+0x000deaf0 - stdcxx.lib.so map multi-boot module: physical 0x7f150000+0x001cdc30 - rump.lib.so map multi-boot module: physical 0x7f31e000+0x0012bd78 - rump_fs.lib.so map multi-boot module: physical 0x7f44a000+0x00025358 - rump_fs map multi-boot module: physical 0x7f470000+0x0081e310 - virtualbox map multi-boot module: physical 0x7fc8f000+0x0010fbf8 - usb_drv map multi-boot module: physical 0x7fd9f000+0x00089378 - fb_drv map multi-boot module: physical 0x7fe29000+0x0005ef98 - rtc_drv map multi-boot module: physical 0x7fe88000+0x00073260 - platform_drv map multi-boot module: physical 0x7fefc000+0x0004e7a0 - acpi_drv map multi-boot module: physical 0x7ff4b000+0x000611e0 - report_rom map multi-boot module: physical 0x7ffad000+0x00051bc0 - device_pd map multi-boot module: physical 0x7ffff000+0x00000f57 - vm_win7.vbox :virt_alloc: Allocator 18ebe0 dump: Block: [00002000,000a0000) size=0009e000 avail=0009e000 max_avail=0009e000 Block: [000a0000,000a1000) size=00001000 avail=00000000 max_avail=0009e000 Block: [000a1000,000f4000) size=00053000 avail=00053000 max_avail=00053000 Block: [000f4000,000f5000) size=00001000 avail=00000000 max_avail=00053000 Block: [000f5000,000f6000) size=00001000 avail=00000000 max_avail=0009e000 Block: [000f6000,000f7000) size=00001000 avail=00000000 max_avail=00000000 Block: [000f7000,000f8000) size=00001000 avail=00001000 max_avail=00001000 Block: [000f8000,000f9000) size=00001000 avail=00000000 max_avail=00006000 Block: [000f9000,000fa000) size=00001000 avail=00000000 max_avail=00000000 Block: [000fa000,00100000) size=00006000 avail=00006000 max_avail=00006000 Block: [001e7000,001e8000) size=00001000 avail=00000000 max_avail=00000000 Block: [001e8000,001e9000) size=00001000 avail=00000000 max_avail=00006000 Block: [001e9000,001ea000) size=00001000 avail=00000000 max_avail=00000000 Block: [001ea000,001eb000) size=00001000 avail=00000000 max_avail=00000000 Block: [001eb000,001ec000) size=00001000 avail=00000000 max_avail=00000000 Block: [001ec000,001ed000) size=00001000 avail=00000000 max_avail=0009e000 Block: [001ed000,001ee000) size=00001000 avail=00000000 max_avail=00000000 Block: [001ee000,001ef000) size=00001000 avail=00000000 max_avail=00000000 Block: [001ef000,001f0000) size=00001000 avail=00000000 max_avail=00000000 Block: [001f0000,001f1000) size=00001000 avail=00000000 max_avail=00000000 Block: [001f1000,001f2000) size=00001000 avail=00000000 max_avail=00000000 Block: [001f2000,001f3000) size=00001000 avail=00000000 max_avail=00000000 Block: [001f3000,001f4000) size=00001000 avail=00000000 max_avail=00000000 Block: [001f4000,001f5000) size=00001000 avail=00000000 max_avail=00000000 Block: [001f5000,001f6000) size=00001000 avail=00000000 max_avail=00000000 Block: [001f6000,001f7000) size=00001000 avail=00000000 max_avail=00000000 Block: [001f7000,001f8000) size=00001000 avail=00000000 max_avail=00000000 Block: [001f8000,001f9000) size=00001000 avail=00000000 max_avail=00000000 Block: [001f9000,001fa000) size=00001000 avail=00000000 max_avail=00000000 Block: [001fa000,001fb000) size=00001000 avail=00000000 max_avail=00000000 Block: [001fb000,001fc000) size=00001000 avail=00000000 max_avail=00000000 Block: [001fc000,001fd000) size=00001000 avail=00000000 max_avail=00000000 Block: [001fd000,001fe000) size=00001000 avail=00000000 max_avail=00000000 Block: [001fe000,001ff000) size=00001000 avail=00000000 max_avail=00000000 Block: [001ff000,00200000) size=00001000 avail=00000000 max_avail=00000000 Block: [00200000,00201000) size=00001000 avail=00000000 max_avail=00000000 Block: [00201000,00202000) size=00001000 avail=00000000 max_avail=00000000 Block: [00202000,00203000) size=00001000 avail=00000000 max_avail=00000000 Block: [00203000,00204000) size=00001000 avail=00000000 max_avail=00000000 Block: [00204000,00205000) size=00001000 avail=00000000 max_avail=7fff000f9000 Block: [00205000,00206000) size=00001000 avail=00000000 max_avail=00000000 Block: [00206000,00207000) size=00001000 avail=00000000 max_avail=00000000 Block: [00207000,00208000) size=00001000 avail=00000000 max_avail=00000000 Block: [00208000,00209000) size=00001000 avail=00000000 max_avail=0000a000 Block: [00209000,0020a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0020a000,0020b000) size=00001000 avail=00000000 max_avail=0000a000 Block: [0020b000,0020c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0020c000,00216000) size=0000a000 avail=0000a000 max_avail=0000a000 Block: [00216000,00217000) size=00001000 avail=00000000 max_avail=00027000 Block: [00217000,0023e000) size=00027000 avail=00027000 max_avail=00027000 Block: [0023e000,0023f000) size=00001000 avail=00000000 max_avail=00027000 Block: [0023f000,00244000) size=00005000 avail=00005000 max_avail=00005000 Block: [00244000,00245000) size=00001000 avail=00000000 max_avail=00027000 Block: [00245000,00246000) size=00001000 avail=00000000 max_avail=00000000 Block: [00246000,00247000) size=00001000 avail=00000000 max_avail=7fff000f9000 Block: [00247000,00248000) size=00001000 avail=00000000 max_avail=00000000 Block: [00248000,00249000) size=00001000 avail=00000000 max_avail=00000000 Block: [00249000,0024a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0024a000,0024b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0024b000,0024c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0024c000,0024d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0024d000,0024e000) size=00001000 avail=00000000 max_avail=00000000 Block: [0024e000,0024f000) size=00001000 avail=00000000 max_avail=00017000 Block: [0024f000,00250000) size=00001000 avail=00000000 max_avail=00000000 Block: [00250000,00251000) size=00001000 avail=00000000 max_avail=00000000 Block: [00251000,00252000) size=00001000 avail=00000000 max_avail=00000000 Block: [00252000,00253000) size=00001000 avail=00000000 max_avail=00017000 Block: [00253000,00254000) size=00001000 avail=00000000 max_avail=00000000 Block: [00254000,0026b000) size=00017000 avail=00017000 max_avail=00017000 Block: [0026b000,0026c000) size=00001000 avail=00000000 max_avail=7fff000f9000 Block: [0026c000,0026d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0026d000,0026e000) size=00001000 avail=00000000 max_avail=00061000 Block: [0026e000,0026f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0026f000,002d0000) size=00061000 avail=00061000 max_avail=00061000 Block: [002d0000,002d1000) size=00001000 avail=00000000 max_avail=7fff000f9000 Block: [002d1000,002d2000) size=00001000 avail=00000000 max_avail=00000000 Block: [002d2000,a0000000) size=9fd2e000 avail=9fd2e000 max_avail=7fff000f9000 Block: [b0000000,bfeff000) size=0feff000 avail=0feff000 max_avail=7fff000f9000 Block: [bff04000,7fffbfffd000) size=7fff000f9000 avail=7fff000f9000 max_avail=7fff000f9000 => mem_size=140736145190912 (134216447 MB) / mem_avail=140736144916480 (134216446 MB) :phys_alloc: Allocator 18db20 dump: Block: [00001000,00002000) size=00001000 avail=00000000 max_avail=00000000 Block: [00002000,00003000) size=00001000 avail=00000000 max_avail=00000000 Block: [00003000,00004000) size=00001000 avail=00000000 max_avail=00000000 Block: [00004000,00005000) size=00001000 avail=00000000 max_avail=00000000 Block: [00005000,00006000) size=00001000 avail=00000000 max_avail=00000000 Block: [00006000,00007000) size=00001000 avail=00000000 max_avail=00000000 Block: [00007000,00008000) size=00001000 avail=00000000 max_avail=00000000 Block: [00008000,00009000) size=00001000 avail=00000000 max_avail=00000000 Block: [00009000,0000a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000a000,0000b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000b000,0000c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000c000,0000d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000d000,0000e000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000e000,0000f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0000f000,00010000) size=00001000 avail=00000000 max_avail=00000000 Block: [00010000,00011000) size=00001000 avail=00000000 max_avail=00000000 Block: [00011000,00012000) size=00001000 avail=00000000 max_avail=00000000 Block: [00012000,00013000) size=00001000 avail=00000000 max_avail=00000000 Block: [00013000,00014000) size=00001000 avail=00000000 max_avail=00000000 Block: [00014000,00015000) size=00001000 avail=00000000 max_avail=00000000 Block: [00015000,00016000) size=00001000 avail=00000000 max_avail=00000000 Block: [00016000,00017000) size=00001000 avail=00000000 max_avail=00000000 Block: [00017000,00018000) size=00001000 avail=00000000 max_avail=00000000 Block: [00018000,00019000) size=00001000 avail=00000000 max_avail=00000000 Block: [00019000,0001a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0001a000,0001b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0001b000,0001c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0001c000,0001d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0001d000,0001e000) size=00001000 avail=00000000 max_avail=00000000 Block: [0001e000,0001f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0001f000,00020000) size=00001000 avail=00000000 max_avail=00000000 Block: [00020000,00021000) size=00001000 avail=00000000 max_avail=00000000 Block: [00021000,00022000) size=00001000 avail=00000000 max_avail=00000000 Block: [00022000,00023000) size=00001000 avail=00000000 max_avail=00000000 Block: [00023000,00024000) size=00001000 avail=00000000 max_avail=00000000 Block: [00024000,00025000) size=00001000 avail=00000000 max_avail=31f000000 Block: [00025000,00026000) size=00001000 avail=00000000 max_avail=00000000 Block: [00026000,00027000) size=00001000 avail=00000000 max_avail=00000000 Block: [00027000,00028000) size=00001000 avail=00000000 max_avail=00000000 Block: [00028000,00029000) size=00001000 avail=00000000 max_avail=00000000 Block: [00029000,0002a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0002a000,0002b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0002b000,0002c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0002c000,0002d000) size=00001000 avail=00000000 max_avail=00000000 Block: [0002d000,0002e000) size=00001000 avail=00000000 max_avail=00000000 Block: [0002e000,0002f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0002f000,00030000) size=00001000 avail=00000000 max_avail=00000000 Block: [00030000,00031000) size=00001000 avail=00000000 max_avail=00000000 Block: [00031000,00032000) size=00001000 avail=00000000 max_avail=00000000 Block: [00032000,00033000) size=00001000 avail=00000000 max_avail=00000000 Block: [00033000,00034000) size=00001000 avail=00000000 max_avail=00000000 Block: [00034000,00035000) size=00001000 avail=00000000 max_avail=00000000 Block: [00035000,00036000) size=00001000 avail=00000000 max_avail=00000000 Block: [00036000,00037000) size=00001000 avail=00000000 max_avail=31f000000 Block: [00037000,00038000) size=00001000 avail=00000000 max_avail=00000000 Block: [00038000,00039000) size=00001000 avail=00000000 max_avail=00000000 Block: [00039000,0003a000) size=00001000 avail=00000000 max_avail=00000000 Block: [0003a000,0003b000) size=00001000 avail=00000000 max_avail=00000000 Block: [0003b000,0003c000) size=00001000 avail=00000000 max_avail=00000000 Block: [0003c000,0003d000) size=00001000 avail=00000000 max_avail=002ff000 Block: [0003d000,0003e000) size=00001000 avail=00000000 max_avail=00000000 Block: [0003e000,0003f000) size=00001000 avail=00000000 max_avail=0005e000 Block: [0003f000,0009d000) size=0005e000 avail=0005e000 max_avail=0005e000 Block: [00100000,00101000) size=00001000 avail=00000000 max_avail=002ff000 Block: [00101000,00400000) size=002ff000 avail=002ff000 max_avail=002ff000 Block: [02800000,02801000) size=00001000 avail=00000000 max_avail=31f000000 Block: [02801000,02802000) size=00001000 avail=00000000 max_avail=00000000 Block: [02802000,7e881000) size=7c07f000 avail=7c07f000 max_avail=7c07f000 Block: [80001000,80002000) size=00001000 avail=00000000 max_avail=7c07f000 Block: [80002000,c795c000) size=4795a000 avail=4795a000 max_avail=4795a000 Block: [c7963000,c7964000) size=00001000 avail=00000000 max_avail=31f000000 Block: [c7964000,c7dbd000) size=00459000 avail=00459000 max_avail=00459000 Block: [c822e000,c822f000) size=00001000 avail=00000000 max_avail=31f000000 Block: [c822f000,dd6da000) size=154ab000 avail=154ab000 max_avail=154ab000 Block: [defff000,df000000) size=00001000 avail=00001000 max_avail=31f000000 Block: [100000000,41f000000) size=31f000000 avail=31f000000 max_avail=31f000000 => mem_size=17052463104 (16262 MB) / mem_avail=17052184576 (16262 MB) :io_mem_alloc: Allocator 18fcb8 dump: Block: [00000000,00001000) size=00001000 avail=00001000 max_avail=00001000 Block: [0009d000,00100000) size=00063000 avail=00063000 max_avail=00063000 Block: [c795c000,c7963000) size=00007000 avail=00007000 max_avail=00471000 Block: [c7dbd000,c822e000) size=00471000 avail=00471000 max_avail=00471000 Block: [dd6da000,defff000) size=01925000 avail=01925000 max_avail=fffffffbe0fff000 Block: [df000000,100000000) size=21000000 avail=21000000 max_avail=fffffffbe0fff000 Block: [41f000000,fffffffffffff000) size=fffffffbe0fff000 avail=fffffffbe0fff000 max_avail=fffffffbe0fff000 => mem_size=18446744056594694144 (17592186028094 MB) / mem_avail=18446744056594694144 (17592186028094 MB) Genode 15.11 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 16261 MB to init [init] parent provides [init] service "ROM" [init] service "RAM" [init] service "IRQ" [init] service "IO_MEM" [init] service "IO_PORT" [init] service "CAP" [init] service "PD" [init] service "RM" [init] service "CPU" [init] service "LOG" [init] service "SIGNAL" [init] child "timer" [init] RAM quota: 876544 [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] child "usb_drv" [init] RAM quota: 8216576 [init] ELF binary: usb_drv [init] priority: 1 [init] provides service Input [init] provides service Usb [init] provides service Block [init] child "part_blk" [init] RAM quota: 10313728 [init] ELF binary: part_blk [init] priority: 1 [init] provides service Block Quota exceeded! amount=24576, size=4096, consumed=24576 [init] upgrading quota donation for Env::CPU (8192 bytes) [init] child "rump_fs" [init] RAM quota: 33382400 [init] ELF binary: rump_fs [init] priority: 1 [init] provides service File_system [init] child "acpi_drv" [init] RAM quota: 1925120 [init] ELF binary: acpi_drv [init] priority: 1 Quota exceeded! amount=32768, size=4096, consumed=32768 [init] upgrading quota donation for Env::CPU (8192 bytes) [init] child "acpi_report_rom" [init] RAM quota: 1925120 [init] ELF binary: report_rom [init] priority: 1 [init] provides service ROM [init] provides service Report [init] child "platform_drv" [init] RAM quota: 4022272 [init] ELF binary: platform_drv [init] priority: 1 [init] provides service Platform Quota exceeded! amount=40960, size=4096, consumed=40960 [init] upgrading quota donation for Env::CPU (8192 bytes) [init] child "fb_drv" [init] RAM quota: 6119424 [init] ELF binary: fb_drv [init] priority: 1 [init] provides service Framebuffer [init] child "rtc_drv" [init] RAM quota: 876544 [init] ELF binary: rtc_drv [init] priority: 1 [init] provides service Rtc Quota exceeded! amount=49152, size=4096, consumed=49152 [init] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=61440, size=4096, consumed=61440 [init] upgrading quota donation for Env::RM (8192 bytes) [init] child "input_merger" [init] RAM quota: 876544 [init] ELF binary: input_merger [init] priority: 0 [init] provides service Input [init] child "nic_drv" [init] RAM quota: 8216576 [init] ELF binary: nic_drv [init] priority: 1 [init] provides service Nic Quota exceeded! amount=57344, size=4096, consumed=57344 [init] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=69632, size=4096, consumed=69632 [init] upgrading quota donation for Env::RM (8192 bytes) [init] child "audio_drv" [init] RAM quota: 9265152 [init] ELF binary: audio_drv [init] priority: 0 [init] provides service Audio_out [init] provides service Audio_in [init] child "report_rom" [init] RAM quota: 876544 [init] ELF binary: report_rom [init] priority: 0 [init] provides service Report [init] provides service ROM Quota exceeded! amount=65536, size=4096, consumed=65536 [init] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=77824, size=4096, consumed=77824 [init] upgrading quota donation for Env::RM (8192 bytes) [init] child "nitpicker" [init] RAM quota: 16605184 [init] ELF binary: nitpicker [init] priority: 1 [init] provides service Nitpicker Quota exceeded! amount=86016, size=4096, consumed=86016 [init] upgrading quota donation for Env::RM (8192 bytes) [init] child "vbox_pointer" [init] RAM quota: 876544 [init] ELF binary: vbox_pointer [init] priority: 1 Quota exceeded! amount=73728, size=4096, consumed=73728 [init] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=94208, size=4096, consumed=94208 [init] upgrading quota donation for Env::RM (8192 bytes) [init] child "nit_fb" [init] RAM quota: 8216576 [init] ELF binary: nit_fb [init] priority: 1 [init] provides service Framebuffer [init] provides service Input [init] child "vbox" [init] RAM quota: 1342005248 [init] ELF binary: virtualbox [init] priority: 2 [init] child "timer" announces service "Timer" [init] child "report_rom" announces service "Report" [init] child "report_rom" announces service "ROM" [init -> audio_drv] --- probe drivers --- [init] child "acpi_report_rom" announces service "Report" [init] child "acpi_report_rom" announces service "ROM" [init -> nic_drv] --- iPXE NIC driver started --- [init -> nic_drv] --- init iPXE NIC [init -> rump_fs] Using ext2fs as file system [init -> rump_fs] int rumpuser_init(int, const rumpuser_hyperup*): RUMP ver: 17 [init -> platform_drv] platform driver started [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_THREADS [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_VERBOSE [init -> acpi_drv] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = long long unsigned int; Genode::uint32 _t = unsigned int]: Found MADT [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): _RUMPUSER_NCPU [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MEMLIMIT [init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0 [init -> rump_fs] Asserting rump kernel 27536 KB of RAM Quota exceeded! amount=24576, size=4096, consumed=24576 [init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: d [init -> acpi_drv] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = long long unsigned int; Genode::uint32 _t = unsigned int]: Found MCFG [init -> acpi_drv] MCFG BASE 0xf0000000 seg 00 bus 00-7f [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=32768, size=4096, consumed=32768 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init -> rump_fs] BOOTSTRAP [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_NVNODES [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_BLKFAIL [init] child "rtc_drv" announces service "Rtc" [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_BLKSECTSHIFT [init] child "platform_drv" announces service "Platform" [init -> audio_drv] azalia0 at pci0 Quota exceeded! amount=40960, size=4096, consumed=40960 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init -> platform_drv -> device_pd] Device protection domain starting ... [init -> platform_drv -> device_pd] assignment of PCI device failed [init -> platform_drv] 0:1b:0 write access to address=4 value=0x100206 size=0x2 got dropped [init -> platform_drv] 0:1b.0 adjust IRQ as reported by ACPI: 4 -> 22 [init -> platform_drv] 0:1b.0 uses MSI 64bit, vector 0x9f, address 0xfee00000 [init -> audio_drv] : <NULL> [init -> platform_drv -> device_pd] Device protection domain started [init -> nic_drv] Found: 00:19.0 8086:153b (rev 04) IRQ 03 [init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::D ataspace_capability*): fb mapped to 1000 Quota exceeded! amount=49152, size=4096, consumed=49152 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init -> nic_drv] no driver found [init] child "fb_drv" announces service "Framebuffer" Quota exceeded! amount=61440, size=4096, consumed=61440 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) [init -> nic_drv] Found: 04:00.0 8086:10d3 (rev 00) IRQ 0a [init -> nic_drv] Io_port_connection already open [init -> usb_drv] Services::Services(): Could not read screen resolution in config node [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): RUMP_MODULEBASE [init -> usb_drv] Services::Services(): No <nic> config node found - not starting the USB Nic (Network) service Quota exceeded! amount=57344, size=4096, consumed=57344 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init -> usb_drv] Enabled UHCI (USB 1.0/1.1) support Quota exceeded! amount=69632, size=4096, consumed=69632 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) [init -> usb_drv] Enabled EHCI (USB 2.0) support [init -> usb_drv] Enabled XHCI (USB 3.0) support Quota exceeded! amount=65536, size=4096, consumed=65536 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init] child "usb_drv" announces service "Input" [init] child "usb_drv" announces service "Usb" [init -> platform_drv] Quota exceeded! amount=663552, size=8192, consumed=663552 [init -> platform_drv] Quota exceeded! amount=1323008, size=8192, consumed=1318912 Quota exceeded! amount=77824, size=4096, consumed=77824 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) [init -> platform_drv -> device_pd] Device protection domain starting ... Quota exceeded! amount=73728, size=4096, consumed=73728 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init -> platform_drv -> device_pd] assignment of PCI device failed [init -> usb_drv] dev_info: xHCI Host Controller [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1 [init -> platform_drv] 0:14.0 adjust IRQ as reported by ACPI: 15 -> 21 [init -> platform_drv] 0:14.0 uses MSI 64bit, vector 0x9e, address 0xfee00000 [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 14 ports detected [init -> usb_drv] dev_info: xHCI Host Controller [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 2 [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 6 ports detected [init -> platform_drv -> device_pd] assignment of PCI device failed [init -> usb_drv] dev_info: EHCI Host Controller [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 3 [init -> usb_drv] dev_warn: Enabling legacy PCI PM [init -> platform_drv] 0:1a.0 adjust IRQ as reported by ACPI: 11 -> 16 [init -> platform_drv] 0:1a.0 uses IRQ, vector 0x10 [init -> usb_drv] dev_info: irq 289, io mem 0xef538000 [init -> platform_drv -> device_pd] Device protection domain started [init -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00 [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 2 ports detected [init -> platform_drv -> device_pd] assignment of PCI device failed [init -> usb_drv] dev_info: EHCI Host Controller [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 4 [init -> usb_drv] dev_warn: Enabling legacy PCI PM [init -> platform_drv] 0:1d.0 adjust IRQ as reported by ACPI: 6 -> 23 [init -> platform_drv] 0:1d.0 uses IRQ, vector 0x17 [init -> usb_drv] dev_info: irq 290, io mem 0xef537000 Quota exceeded! amount=86016, size=4096, consumed=86016 [init -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00 [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 2 ports detected [init] child "input_merger" announces service "Input" [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) [init -> rump_fs] int rumpuser_getparam(const char*, void*, size_t): _RUMPUSER_HOSTNAME Quota exceeded! amount=81920, size=4096, consumed=81920 [init -> rump_fs] upgrading quota donation for Env::CPU (8192 bytes) [init -> usb_drv] dev_info: new low-speed USB device number 2 using xhci_hcd [init -> fb_drv] Found: VESA BIOS version 3.0 [init -> fb_drv] OEM: NVIDIA [init -> usb_drv] dev_warn: ep <warning: unsupported format string argument>x - rounding interval to 128 microframes, ep desc says 192 microframes [init -> usb_drv] dev_info: L U [init -> usb_drv] dev_info: input: USB HID v1.10 Keyboard [L U] on usb-dummy-5/input0 [init -> fb_drv] Found: physical frame buffer at 0xe9000000 size: 0x00e00000 [init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::D ataspace_capability*): fb mapped to 1800000 [init -> fb_drv] Using video mode: 1280 x 1024 x 16 [init -> fb_drv] Framebuffer::Session_component::Session_component(unsigned int, unsigned int, unsigned int, Genode::Dat aspace_capability, bool): use buf size 2621440 [init -> fb_drv] using buffered output [init] child "nitpicker" announces service "Nitpicker" [init -> nitpicker] create session with args: label="nit_fb", ram_quota=28672 [init -> nitpicker] create session with args: label="vbox_pointer", ram_quota=28672 [init] child "nit_fb" announces service "Framebuffer" [init] child "nit_fb" announces service "Input" [init -> nit_fb] using xywh=(0,0,1280,1024) [init -> usb_drv] dev_info: new full-speed USB device number 3 using xhci_hcd int main(): --- init created, waiting for exit condition --- [init -> usb_drv] dev_warn: ep <warning: unsupported format string argument>x - rounding interval to 64 microframes, ep desc says 80 microframes [init -> usb_drv] dev_info: A A [init -> usb_drv] dev_info: input: USB HID v1.11 Mouse [A A] on usb-dummy-6/input0 [init -> usb_drv] dev_error: usage index exceeded [init -> usb_drv] dev_error: usage index exceeded [init -> usb_drv] dev_error: item 0 2 2 2 parsing failed [init -> usb_drv] dev_info: new high-speed USB device number 4 using xhci_hcd [init -> usb_drv] dev_warn: ep <warning: unsupported format string argument>x - rounding interval to 128 microframes, ep desc says 255 microframes [init -> usb_drv] dev_warn: ep <warning: unsupported format string argument>x - rounding interval to 128 microframes, ep desc says 255 microframes [init -> usb_drv] dev_info: USB Mass Storage device detected [init -> usb_drv] Vendor id: JetFlash Product id: Transcend 16GB 1100 [init] child "usb_drv" announces service "Block" [init -> usb_drv] dev_info: new high-speed USB device number 5 using xhci_hcd [init -> part_blk] Partition 1: LBA 2048 (31676416 blocks) type: 83 [init] child "part_blk" announces service "Block" [init -> part_blk] session opened at partition 1 for 'rump_fs' [init -> rump_fs] Backend::Backend(): Backend blk_size 512 Quota exceeded! amount=94208, size=4096, consumed=94208 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) [init -> rump_fs] rump: /genode: file system not clean; please fsck(8) [init] child "rump_fs" announces service "File_system" [init -> vbox] void init_libc_lock_pipe(): init_libc_lock_pipe() [init -> vbox] using the pipe libc plugin [init -> vbox] 30000 .. 103fff: ld.lib.so [init -> vbox] 1888000 .. 1996fff: libc.lib.so [init -> vbox] 1997000 .. 199bfff: libc_lock_pipe.lib.so [init -> vbox] 199c000 .. 19adfff: libc_terminal.lib.so [init -> vbox] 19ae000 .. 1a93fff: libiconv.lib.so [init -> vbox] 1a94000 .. 1ab7fff: libm.lib.so [init -> vbox] 1ab8000 .. 1ac0fff: pthread.lib.so [init -> vbox] 1ac1000 .. 1ba1fff: stdcxx.lib.so [init -> vbox] getenv called for non-existent variable "XML_MEM_BREAKPOINT" [init -> vbox] getenv called for non-existent variable "XML_MEM_TRACE" [init -> vbox] getenv called for non-existent variable "LC_ALL" [init -> vbox] getenv called for non-existent variable "LC_CTYPE" [init -> vbox] getenv called for non-existent variable "LANG" [init -> vbox] getenv called for non-existent variable "PATH_LOCALE" [init -> vbox] getenv called for non-existent variable "VBOX_DISABLE_HOST_DISK_CACHE" [init -> vbox] getenv called for non-existent variable "CHARSETALIASDIR" [init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-pci [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 6 ports detected [init -> vbox] getenv called for non-existent variable "TZ" [init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-pci [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 8 ports detected [init -> vbox] getenv called for non-existent variable "TZ" [init -> vbox] fcntl(): command 2 not supported [init -> vbox] Log created: 2016-01-19T19:40:00.999000000Z [init -> vbox] main Executable: /virtualbox [init -> vbox] SystemProperties : Cannot determine default Guest Additions ISO location. Most likely they are not availa ble [init -> vbox] main genodeConsole = 000000000019f9d0 [init -> vbox] getenv called for non-existent variable "VBOX_USER_VMLOGDIR" Quota exceeded! amount=102400, size=4096, consumed=102400 [init -> rump_fs] upgrading quota donation for Env::RM (8192 bytes) [init -> vbox] requested stack for thread 'EMT-0' of 1048576 Bytes is too large, limit to 1036288 Bytes [init -> vbox] requested stack for thread 'EMT-1' of 1048576 Bytes is too large, limit to 1036288 Bytes Quota exceeded! amount=24576, size=4096, consumed=24576 [init -> vbox] upgrading quota donation for Env::CPU (8192 bytes) Quota exceeded! amount=61440, size=4096, consumed=61440 [init -> vbox] upgrading quota donation for Env::RM (8192 bytes) [init -> vbox] getenv called for non-existent variable "VBOX_SUPLIB_FAKE" Quota exceeded! amount=69632, size=4096, consumed=69632 [init -> vbox] upgrading quota donation for Env::RM (8192 bytes) Quota exceeded! amount=77824, size=4096, consumed=77824 [init -> vbox] upgrading quota donation for Env::RM (8192 bytes) Quota exceeded! amount=61440, size=8192, consumed=57344 Could not allocate metadata [init -> vbox] upgrading quota donation for Env::RAM (8192 bytes) [init -> vbox] EMT-0 Initial balloon size 0 Quota exceeded! amount=86016, size=4096, consumed=86016 [init -> vbox] upgrading quota donation for Env::RM (8192 bytes) Quota exceeded! amount=24576, size=4096, consumed=24576 [init -> vbox] Upgrading memory for creation of thread 'OhciFramer' Quota exceeded! amount=94208, size=4096, consumed=94208 [init -> vbox] upgrading quota donation for Env::RM (8192 bytes) [init -> vbox] EMT-0 PDMR3VmmDevHeapRegister 00000000f0400000 00000000001ec000 4000 [init -> vbox] getenv called for non-existent variable "VBOX_SUPLIB_FAKE" [init -> vbox] Using VMX virtualization extension. [init -> vbox] fb resize : 1280x1024@...64... -> 720x400@...361... [init -> vbox] fb resize : 720x400@...64... -> 640x480@...362... [init -> vbox] fb resize : 640x480@...64... -> 720x400@...361... [init -> vbox] fb resize : 720x400@...64... -> 1024x768@...382... [init -> audio_drv] azalia0: codecs: 0x10ec/0x0900 [init -> audio_drv] audio0 at azalia0 [init -> audio_drv] [init -> audio_drv] --- parse config --- [init -> audio_drv] outputs.master: 126 -> 255 [init -> audio_drv] record.adc-0:1: 124 -> 255 [init] child "audio_drv" announces service "Audio_out" [init -> audio_drv] --- BSD Audio driver enable playback --- [init] child "audio_drv" announces service "Audio_in" [init -> audio_drv] --- BSD Audio driver enable recording --- ========================================================================

2 4

Capability integrity and application identity
by mark ll 20 Jan '16

20 Jan '16

Hi Genode! I have 2 question. is there any mechanism to ensure the integrity of a capability? i read in the book about the identity but it is still not clear to me. could i use this identity to authenticate the connection between tow application in my platform or even in remote one instead of the port or IP. best.

2 2

Ram quota emergency allocation freed...not sure why.
by Bob Stewart 20 Jan '16

20 Jan '16

Hi, I'm running 15.11 with a base-hw kernel on a TI Am335x SoC. I modified an existing application I had previously created, whose design had an object which accessed processors external to the host running Genode, via mmio. The modification involved implementing the external processor access code in a driver and creating clients to access the driver using the same server/client coding pattern used in most Genode drivers. (This would give me control over the running priority of the driver and hence the response time of the driver code.) The driver would dynamically use the libc library for file access. In the scenario I have, five drivers are running providing uart, timer, gpio, mmc, and pwm services. Now with this additional driver (named pruss_drv) running, I experience hard to follow messages related to ram quota allocations in the sys log (which is attached) as follows: 1. Core hands over the available RAM amount to init as shown in this log message- /int main(): transferred 501 MB to init /(This is correct and expected./) / 2. When the new driver runs, after all the other drivers are launched, an insufficient quota message is issued- /Insufficient quota for transfer: init -> pruss_drv// ////have 40960, need 143360 [init] not enough quota for a donation of 143360 bytes [init -> pruss_drv] resource_request: ram_quota=143360 /(Question about this output is what are these numbers telling me? Are these byte or KByte quantities or what? The total ram quota requests in all the components in the run script is about 35 MBytes so there should be well over 400 MBytes available to init at this point. And, changing the ram quotas in the run script or the ram quota requested in the associated server connection does not change the value of these numbers, which I would have thought it would.) 3/./ Then messages indicating that the emergency ram allocation had to be freed to satisfy the drivers request for ram-/ [init -> pruss_drv] virtual void Genode::Platform_env::release(): used before freeing emergency=503808 [init -> pruss_drv] virtual void Genode::Platform_env::release(): used after f reeing emergency=495616 [init] child "pruss_drv" requests resources: ram_quota=143360 /(Question: What situation has occurred to require this action for this new driver when the other five drivers that have just been installed did not invoke such an action? Again there should be plenty of ram available for allocation at this point in the execution. And, what units are these numbers in?)/ /4. Finally, another request for ram from the new driver is logged-/ [init -> pruss_drv] resource_request: ram_quota=45056 [init] child "pruss_drv" requests resources: ram_quota=45056 /(Question: I assume this is for information only and not an indication of abnormal behavior and that the allocation was actually made. Is that correct?)/ /After these unexpected log messages the output from the new driver is as expected and it appears that the initialization code in the driver executed correctly. In the initialization, a pair of disk files, specified in config settings, are correctly read via libc_ffat and loaded into the external processors instruction memories and begin there execution/. /So the driver appears to be running correctly, at least initially./ /Thanks in advance for any response. Bob Stewart/ ///

1 1

FUSE + VFS
by Samuel Hall 19 Jan '16

19 Jan '16

Hi, I'm looking into FUSE in genode. Since there is hardly any documentation I am having trouble understanding what exactly is going on. Especially I have trouble understanding where and how FUSE interacts with genodes VFS. Do you have any tips where to look? For better understanding I made a chart of the dependencies I found: http://fs5.directupload.net/images/160119/7ejysxf7.jpg Kind regards Hall Samuel

2 1

Yet another problem with Genode+Nova_x86_64+VirtualBox on USB stick
by 1 2 19 Jan '16

19 Jan '16

1 0

How to calculate the TCB size
by JaeminPark 19 Jan '16

19 Jan '16

I’m working with Genode to implement the ARM TZ-based idea. For evaluation, I’d like to count the line of code of the TCB. In the build folder, I could find "var/libcache" folder, and there the compiled files for my build configuration could be found. Do I need to check all files listed in each .d files in “var/libcache” or is there any efficient way to count the number of lines for the TCB?

3 2

Creating new ROM sessions at runtime
by Georg Guba 18 Jan '16

18 Jan '16

Hi all, I'm trying to start new child components from ELF binaries received at run-time and stored in a server-local buffer. Basically, I am trying to implement a server that can receive task descriptions and matching binaries and then start them at run-time (disregarding security concerns for the moment). It appears, however, that all ROM connections must reference binaries that are available at boot-time and adding to the ROM FS is not possible without accessing Genode's internal code which I'd like to avoid. So, how would I best go about creating entirely new ROM sessions at runtime? Best regards, Georg

3 3

Roadmap 2016
by Norman Feske 18 Jan '16

18 Jan '16

Hello, the end of the year 2015 is approaching. So it is time for planning our activities for the upcoming year. I plan to finalize the roadmap until mid of January. Hereby, I'd like to kick off the discussion. It goes without saying that everyone of you is invited to join in! Before I come to my suggestions for 2016, let me briefly revisit the outcome of the roadmap for the past year. One year ago, I suggested three main topics to work on, namely the use of Genode as general-purpose OS, the advancement of our custom base-hw kernel platform, and the use of the seL4 kernel. In the discussions following my posting, many further points were raised, most prominently the need for through documentation, package management, and a sustainable quality of the base system in terms of stability and performance. In top of that, we received quite a few wishes of higher-level functionality such as a modern web browser or other typical desktop-computing features. Of course, we were not able to address all those topics but I am overly happy that we reached the point where a hand full of us (including me) are using Genode as their day-to-day OS. When I initially switched to using the Turmvilla scenario [1] at the end of May, the experience was admittedly a bit painful. But now, just a few months later, the beauty of the system becomes apparent as all the pieces come so nicely together. The performance, stability, and device-driver support have reached a level that leaves people impressed every time I have the chance to show off my system. Once people become interested, there is now the book available, which provides a smooth introduction into Genode. The feedback I receive about the book is overwhelmingly positive. So we did something right in 2015. :-) After having passed the point where a few of us are able to use Genode as day-to-day OS, we should put the emphasis of the upcoming year on ways to make Genode accessible for a wider community. In a recent posting [2], I identified two possible ways to do that. The first way would be publishing a series of step-by-step guides that explain how to put Genode components together in order to create custom system scenarios. Those articles could be accompanied by screencasts or live-system images. Example scenarios could be the Turmvilla scenario, building a home-computer-like system for kids using the Raspberry Pi (like the Genode system my kids are using), building a network appliance like a data diode, tinkering with the USB Armory, etc. Those articles should be inviting to people who enjoy the building of systems. The second way would be to showcase a system with practical value to end users. I am thinking along the lines of a disposable OS like Tails that allows the user to browse the internet via the Tor network. But that is just an idea. In this spirit, I propose the overall focus of 2016 to be: Let us make Genode accessible to the world outside the inner circle of us enthusiasts. On a technical level, this motive implicates the following topics: * The deployment and management of Genode systems, i.e., by bringing forward Emery's work on the Nix package manager. This direction also reinforces the need to achieve binary compatibility between the various base platforms to make the distribution of binary packages, reproduceable builds, and continues test-and-integration scalable. * Supplementing Genode with user-friendly means to configure the system (e.g., wireless network, audio, display settings). Right now, I use Vim as configuration front end, which is cool, but also intimidating to less technical-minded users. * Accommodation of common desktop use cases like plugging in a USB stick to work with the files stored on it. Also disk encryption comes into mind. * Optimization of Genode for the use on a laptop, e.g., addressing fan control, power management, suspend/resume, and similar features. There are also other possible avenues to support the stated goal: * Identifying ways of how Genode could play a role in related projects like Qubes OS. For example, we could promote the use of Genode as a tool for building App VMs as Qubes subsystems. Granted, this scenario leaves the architectural benefits of Genode with respect to its small TCB complexity unused as Qubes still relies on Xen, and Linux as Dom0. But Genode would still (possibly) provide value to the Qubes project. Maybe, there would be the prospect to replace Dom0 with Genode in the longer term? However, to drive this direction of work, we would certainly need someone who is actually using Qubes and has the natural incentive to work on such an integration. * Making Genode-based systems easily deployable on Amazon's EC2. Similar to the previous point, it would be beneficial to have someone working on this topic who is naturally interested in cloud computing. * Foster the cross-pollination of the seL4 and Genode communities. I got enthusiastic responses about my seL4-related work. There is definitely a strong interest in this kernel and a growing anticipation for formally verified software. Today, seL4 lacks a scalable user-level architecture. This would be the perfect place where Genode could step in. Genode would ultimately allow the seL4 community to move beyond static system scenarios. Assuming that we succeed in drawing the attention of a broader audience to our project, we should make sure that Genode's API won't undergo major changes soon after this point. Today, I still see a number of deficiencies in the current API. In the past year, we successively moved to a new model of the API (dubbed server API) that promotes the construction of components as state machines rather than procedural programs. All recent components are designed in this style to the great benefit of their robustness. We should finally promote this style towards the base API and get rid of some mistakes we made in the past, in particular the reliance on side effects by using the globally visible Genode::env. I think that we should finalize this API renovation until the mid of 2016. This will also be right the time for updating the Genode book. These are my thoughts about the upcoming year. Now I am curious about yours! :-) Cheers Norman [1] https://github.com/genodelabs/genode/issues/1552 [2] https://github.com/genodelabs/genode/issues/1000#issuecomment-161260312 -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

14 47

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users