th exit value 1
Insufficient quota for transfer: init -> part_blk
  have 1540096, need 4206592
[init] not enough quota for a donation of 4206592 bytes
[init -> l4android] Booting L4Linux ...
[init] child "timer" announces service "Timer"
[init] nic_bridge: invalid route to non-existing server "usb_block_drv"
[init -> uart_drv] --- Fiasco(.OC) KDB UART driver started ---
[init -> part_blk] resource_request: ram_quota=4206592
[init -> part_blk] virtual void Genode::Platform_env::release(): used before freeing emergency=417792
[init -> nic_bridge] Uncaught exception of type 'Genode::Parent::Service_denied'
[init -> part_blk] virtual void Genode::Platform_env::release(): used after freeing emergency=401408
[init -> nic_bridge] Warning: abort called - thread: ep
[init] child "uart_drv" announces service "Uart"
[init] virtual void Genode::Child_policy::exit(int): child "nic_bridge" exited with exit value 1
[init] child "part_blk" requests resources: ram_quota=4206592
[init] Cannot respond to resource request - out of memory
[init] child "uart_drv" announces service "Terminal"
[init -> l4android] ======> L4Linux starting... <========
[init -> l4android] Linux version 3.5.0-l4-gcea6e7a (rishabh@...431...) (gcc version 4.9.2 (GCC) ) #53 SMP Sun Jul 3 11:06:58 IST 2016
[init -> l4android] Binary name: vmlinux
[init -> l4android] Linux kernel command line (3 args): mem=768M console=ttyS0 l4x_rd=root-ginger.gz
[init -> l4android] CPU mapping (l:p)[0]: Image: 00401000 - 00865000 [4496 KiB].
[init -> l4android] Areas: Text:     00401000 - 00795000 [3664kB] (a bit longer)
[init -> l4android]        Data:     00795000 - 007b8820 [142kB]
[init -> l4android]        Initdata: 007cc000 - 007f3000 [156kB]
[init -> l4android]        BSS:      007f4000 - 00855000 [388kB]
[init -> l4android] l4util_cpu_capabilities: Not implemented yet!
[init -> l4android] gs=43   fs=43
[init -> l4android] l4io_get_root_device: Not implemented yet!
[init -> l4android] Device scan:
[init -> l4android] l4io_iterate_devices: Not implemented yet!
[init -> l4android] Device scan done.
[init -> l4android] l4x_fiasco_gdt_entry_offset = 9
[init -> l4android] main thread will be 12
[init -> l4android] l4x_register_pointer_section: addr = 00400000 size = 4608000
[init -> l4android] section-with-init: virt: 400000 to 864fff [4500 KiB]
[init -> l4android] Cannot determine physical address for dataspace Binary!
[init -> l4android] error: failed to get physical address for 400000.
[init -> l4android] Main thread running, waiting...
[init -> l4android] thread=12000 cpu=0
[init -> l4android] WARNING: Unknown wrmsr: 0000008b at 668141
[init -> l4android] l4x_setup_memory: Forcing superpages for main memory
[init -> l4android] l4re_global_env: 0
[init -> l4android] Main memory size: 768MB
unmapping of managed dataspaces not yet supported
[init -> l4android] Main memory: virt: 60000000 to 8fffffff [786432 KiB]
[init -> l4android] Main memory: Phys: 0x00000000 to 0x30000000, Size: 805306368
[init -> l4android] Filling lower ptabs...
[init -> l4android] Done (0 entries).
[init -> l4android] l4x_register_pointer_section: addr = 00400000 size = 4608000
[init -> l4android] text: virt: 400000 to 864fff [4500 KiB]
[init -> l4android] Cannot determine physical address for dataspace Binary!
[init -> l4android] error: failed to get physical address for 400000.
[init -> l4android] l4x_rd_path: root-ginger.gz
[init -> l4android] Loading: root-ginger.gz
[init -> l4android] INITRD: Size of RAMdisk is 596KiB
[init -> l4android] RAMdisk from 000a3000 to 00138000 [596KiB]

    ---------------------------------------------------------------------     
    CPU 0 [f0039463]: SERIAL_ESC
[         uart_ep] jdb: R [l]ist/[a]ttach: