October 2015 - users - lists.genode.org

netperf
by Анна Будкина 07 Jun '16

07 Jun '16

Hello! I'm running netperf TCP_STREAM and TCP_MAERTS tests for lxip stack and i obtained extremely low result - 5x10^6 bits/s while the maximum throughput is 1000 mbit/s . I wonder what could be the reason for that. Anna

6 16

i.mx53qsb and ARM Trustzone Techology
by Joseph Lee 10 Dec '15

10 Dec '15

Hi >From the article in this link http://genode.org/documentation/articles/trustzone , I understood that the DDR RAM in i.mx53 QSB is partitioned off between normal world and secure world. I just want to read a file in the normal world from application running in the secure side. Is there any possibility to get access to any file in normal world from the secure world? thanks for your help in advance. Regards, Joseph

3 7

Noux application
by Joseph Lee 07 Dec '15

07 Dec '15

Hi everyone, I am running a simple "tz_vmm" example in Genode on imx53 qsb. I have Noux application which runs on top of Noux runtime inside the secure world. I wanted to access this Noux applications inside tz_vmm application, calling a function of Noux application from tz_vmm code. But i have no idea how to do that. Could anyone please give me some hint? Thanks and best regards, Joseph

5 35

Microkernel Meetup
by Bjoern Doebel 28 Nov '15

28 Nov '15

Hi all, as the last Dresden Microkernel Meetup took place already more than 6 months ago, we surely need to set up a new one! Please chose a date: http://dudle.inf.tu-dresden.de/mks1115/ I am going to pick a location once we settled on a date. (Most likely: Shamrock Irish Pub, but select something else on Mondays...) Bjoern

1 2

Turmvilla scenario
by Vincent Digital 13 Nov '15

13 Nov '15

Hi, With the previous Turmvilla scenario, I wish to setup two virtualbox sessions, one running LInux process and the other running Windows, concurrently. I created a new Win7 subsystem, emulating the LInux subsystem, with new vm_win7.vdi. However, I could startup only one of each sessions from NOUX, either Windows or Linux, but not both sessions at the same time. From CLI monitor, I could see that RAM is allocated separately for both sessions. I suspect some concurrency issue but could not find the issue. I've attached the log from captured from NOUX. Another issue I encountered is that the virtual box mouse pointer in the WIndows session and the Nitpicker mouse pointer can't seem to merge together unlike the Linux session where both pointers are merged. Any advise. Thanks in advance.

5 13

stdio.h header in Genode
by kas 31 Oct '15

31 Oct '15

Hey, When I try to build an application which includes stdio.h of libc, many linking error happens. I think it is due to the collision between Genode's base environment and 'libc' because when I remove stdio.h header file, the linking error message disappears. Can you please tell me what is missing here? thanks in advance kind regards, kas

2 1

Demo on i.MX53 QSB
by Tiago Brito 29 Oct '15

29 Oct '15

Hi, I've sent an email to Stefan asking some questions regarding the demonstration using an i.MX53 SABRE tablet. I was suggested by Stefan to ask questions like these at the mailing list. Anyway, thank you Stefan for answering me. My idea is to run a similar demonstration on a i.MX53 QSB, and this is the most relevant part of Stefan's answer: > > I tried to reproduce the demonstration on my Freescale i.MX53 Quick Start > > Board, following the instructions of the readme in your github repository, > > and I failed to do so. > Anyway, coming to your problem: you've tried to execute a binary version > of the Genode OS compiled to run on the secure side of an i.MX53 SABRE > tablet on top of an i.MX53 Quickstart board. These are different boards > with differently configured i.MX53 SoCs (different RAM areas, different > GPIO pins, different display port assignments, ...). > > If you want to execute exactly the same demonstration on top of the > Quickstart board, you'll have to do quite some adaption work. Although, > we have already a framebuffer driver that works for the LVDS extension > of the Quickstart board, a touchscreen driver for this board is still > missing. Moreover, you have to compile Android for the Quickstart Board > using my adapted Linuk kernel version for i.MX53 [2]. Even so, I still have some questions. I would like to know if it is possible to reproduce a similar demonstration, with Genode and Android, using an i.MX53 Quick Start Board, but this time using, a mouse, keyboard and a regular PC monitor (through VGA), instead of using a touchscreen. How should I proceed? And do I need to develop the required drivers? Do I need to build a similar demo using existing drivers that already support my intentions? Is it possible to change the vmm.run script in order to introduce the ps2 drivers instead of the touchscreen's drivers? And what about the display configurations? Stefan mentioned the QSB has different RAM areas, GPIO pins, and display port assignments. Does that mean it is difficult to see the demo through VGA? > I do not want to take the wind out of your sails, but I think there is > quite some work to do to port the demo to the Quickstart board. Maybe > you should start with a less rich example. In Genode's current version, > we have a run-script (test scenario) that boots a simple > virtual-machine-monitor on top of Genode in the secure world, which > boots a Linux kernel with a small initramfs. I think it is a good > starting point to build and test this scenario. > so long best regards > Stefan > > [1] https://lists.sourceforge.net/lists/listinfo/genode-main > [2] https://github.com/skalk/linux/tree/imx53-tz With my best regards Tiago

2 1

Turmvilla scenario
by Vincent Digital 28 Oct '15

28 Oct '15

Hi, Can anyone help. Thanks in advance. I've set up the Turmvilla scenario on a Lenovo X201 as much as I can based on the documentation stated by everyone else that contributed. On boot-up I could get the CLI_Monitor and upon entering "start linux" subsystem, I've a pop-up window that just hang. I could not kill it too from the CLI_Monitor. Attached are the log messages captured via AME : Bender: Hello World. Need 043fb000 bytes to relocate modules. Relocating to 7bc05000: Copying 679780 bytes... Copying 679436 bytes... Copying 677296 bytes... Copying 454608 bytes... Copying 362676 bytes... Copying 402116 bytes... Copying 4604 bytes... Copying 87208 bytes... Copying 1470576 bytes... Copying 475500 bytes... Copying 224656 bytes... Copying 438044 bytes... Copying 1893512 bytes... Copying 28508 bytes... Copying 370384 bytes... Copying 87208 bytes... Copying 354672 bytes... Copying 61056 bytes... Copying 342200 bytes... Copying 350488 bytes... Copying 19947520 bytes... Copying 9277440 bytes... Copying 3553280 bytes... Copying 293864 bytes... Copying 89428 bytes... Copying 409848 bytes... Copying 481064 bytes... Copying 401276 bytes... Copying 353540 bytes... Copying 396456 bytes... Copying 432804 bytes... Copying 410028 bytes... Copying 417088 bytes... Copying 367220 bytes... Copying 525284 bytes... Copying 530188 bytes... Copying 392112 bytes... Copying 396952 bytes... Copying 344028 bytes... Copying 584836 bytes... Copying 466468 bytes... Copying 331312 bytes... Copying 1203316 bytes... Copying 398804 bytes... Copying 9363900 bytes... Copying 156212 bytes... Copying 1383460 bytes... Copying 1268380 bytes... Copying 876148 bytes... Copying 936560 bytes... Copying 76240 bytes... Copying 18900 bytes... Copying 33744 bytes... Copying 157940 bytes... Copying 1026384 bytes... Copying 610304 bytes... Copying 490884 bytes... Copying 389368 bytes... Copying 388140 bytes... Copying 402136 bytes... Copying 16433 bytes... Copying 852656 bytes... Copying 1264272 bytes... NOVA Microhypervisor v7-a4a926a (x86_32): Oct 10 2015 18:00:57 [gcc 4.9.2] [ 0] CORE:0:0:0 6:25:5:4 [2] Intel(R) Core(TM) i5 CPU M 580 @ 2.67GHz [ 1] CORE:0:0:1 6:25:5:4 [2] Intel(R) Core(TM) i5 CPU M 580 @ 2.67GHz [ 3] CORE:0:2:1 6:25:5:4 [2] Intel(R) Core(TM) i5 CPU M 580 @ 2.67GHz [ 2] CORE:0:2:0 6:25:5:4 [2] Intel(R) Core(TM) i5 CPU M 580 @ 2.67GHz [ 0] DMAR:0xc23c5060 FRR:0 FR:0x5 BDF:0:2:0 FI:0xb56b4000 Hypervisor features VMX Hypervisor reports 4x1 CPUs - boot CPU is 0 Hypervisor info page contains 99 memory descriptors: detected physical memory: 0x0000000000000000 - size: 0x9e800 use physical memory: 0x0000000000000000 - size: 0x9e000 detected physical memory: 0x0000000000100000 - size: 0xbb17c000 use physical memory: 0x0000000000100000 - size: 0xbb17c000 detected physical memory: 0x00000000bb282000 - size: 0xdd000 use physical memory: 0x00000000bb282000 - size: 0xdd000 detected physical memory: 0x00000000bb40f000 - size: 0x60000 use physical memory: 0x00000000bb40f000 - size: 0x60000 detected physical memory: 0x00000000bb70f000 - size: 0x8000 use physical memory: 0x00000000bb70f000 - size: 0x8000 detected physical memory: 0x00000000bb71f000 - size: 0x4c000 use physical memory: 0x00000000bb71f000 - size: 0x4c000 detected physical memory: 0x00000000bb7ff000 - size: 0x1000 use physical memory: 0x00000000bb7ff000 - size: 0x1000 detected physical memory: 0x0000000100000000 - size: 0xfc000000 detected physical memory: 0x0000000200000000 - size: 0x3c000000 map multi-boot module: physical 0x7bd3a000 -> [0x001d0000-0x002a02b0) - core map multi-boot module: physical 0x7be0b000 -> [0x00002000-0x00006031) - config map multi-boot module: physical 0x7be10000 -> [0x0000a000-0x0006c2d8) - init map multi-boot module: physical 0x7be73000 -> [0x00070000-0x000cec2c) - timer map multi-boot module: physical 0x7bed2000 -> [0xb0000000-0xb005f0f8) - part_blk map multi-boot module: physical 0x7bf32000 -> [0x002a4000-0x0031bd84) - ahci_drv map multi-boot module: physical 0x7bfaa000 -> [0xb0061000-0xb00f6000) - ld.lib.so map multi-boot module: physical 0x7c040000 -> [0xb00f6000-0xb01f0950) - libc.lib.so map multi-boot module: physical 0x7c13b000 -> [0xb01f2000-0xb02188f4) - libm.lib.so map multi-boot module: physical 0x7c162000 -> [0x000dd000-0x000e53d0) - pthread.lib.so map multi-boot module: physical 0x7c16b000 -> [0x000e9000-0x000ed9d4) - libc_lock_pipe.lib.so map multi-boot module: physical 0x7c170000 -> [0xb021a000-0xb022c9d0) - libc_terminal.lib.so map multi-boot module: physical 0x7c183000 -> [0xb022e000-0xb0312a70) - libiconv.lib.so map multi-boot module: physical 0x7c268000 -> [0xb0314000-0xb03e9e74) - stdcxx.lib.so map multi-boot module: physical 0x7c33e000 -> [0xb03eb000-0xb0520a9c) - rump.lib.so map multi-boot module: physical 0x7c474000 -> [0xb0522000-0xb0673c24) - rump_fs.lib.so map multi-boot module: physical 0x7c5c6000 -> [0xb0675000-0xb069b234) - rump_fs map multi-boot module: physical 0x7c5ed000 -> [0xb069d000-0xb0f8b1bc) - virtualbox map multi-boot module: physical 0x7cedc000 -> [0xb0f8d000-0xb0fee5d4) - ps2_drv map multi-boot module: physical 0x7cf3e000 -> [0xb0ff1000-0xb1116c74) - usb_drv map multi-boot module: physical 0x7d064000 -> [0xb111a000-0xb116ae30) - acpi_drv map multi-boot module: physical 0x7d0b5000 -> [0xb116e000-0xb11dfe24) - platform_drv map multi-boot module: physical 0x7d127000 -> [0xb11e3000-0xb1271c84) - fb_drv map multi-boot module: physical 0x7d1b6000 -> [0xb1275000-0xb12c8fdc) - device_pd map multi-boot module: physical 0x7d20a000 -> [0xb12cc000-0xb132ce98) - rtc_drv map multi-boot module: physical 0x7d26b000 -> [0xb1330000-0xb138fbb0) - input_merger map multi-boot module: physical 0x7d2cb000 -> [0xb1393000-0xb141470c) - nic_drv map multi-boot module: physical 0x7d34d000 -> [0xb1418000-0xb14983e4) - nitpicker map multi-boot module: physical 0x7d3ce000 -> [0xb149c000-0xb14f5a74) - vbox_pointer map multi-boot module: physical 0x7d428000 -> [0xb14f9000-0xb155ed40) - nit_fb map multi-boot module: physical 0x7d48e000 -> [0xb1562000-0xb15c61ac) - report_rom map multi-boot module: physical 0x7d4f3000 -> [0xb15cb000-0xb1634aa4) - wm map multi-boot module: physical 0x7d55d000 -> [0xb1638000-0xb1698ca8) - decorator map multi-boot module: physical 0x7d5be000 -> [0xb169c000-0xb16f2504) - floating_window_layouter map multi-boot module: physical 0x7d615000 -> [0xb16f6000-0xb1757f7c) - noux map multi-boot module: physical 0x7d677000 -> [0xb175b000-0xb17d0728) - terminal map multi-boot module: physical 0x7d6ed000 -> [0xb17d4000-0xb18380f8) - ram_fs map multi-boot module: physical 0x7d752000 -> [0xb183c000-0xb1851d54) - libc_noux.lib.so map multi-boot module: physical 0x7d768000 -> [0xb1855000-0xb189cbe8) - ncurses.lib.so map multi-boot module: physical 0x7d7b0000 -> [0xb18a0000-0xb1c03800) - bash.tar map multi-boot module: physical 0x7db14000 -> [0xb1c07000-0xb24e0000) - coreutils.tar map multi-boot module: physical 0x7e3ee000 -> [0xb24e3000-0xb37e9000) - vim.tar map multi-boot module: physical 0x7f6f5000 -> [0xb37ec000-0xb3841918) - cli_monitor map multi-boot module: physical 0x7f74b000 -> [0xb3845000-0xb38988b8) - pointer map multi-boot module: physical 0x7f79f000 -> [0xb389c000-0xb38aae80) - file_terminal map multi-boot module: physical 0x7f7ae000 -> [0xb38ae000-0xb3904970) - terminal_log map multi-boot module: physical 0x7f805000 -> [0xb3909000-0xb391e4a8) - wifi_drv map multi-boot module: physical 0x7f81b000 -> [0xb3922000-0xb397c6d0) - fs_rom map multi-boot module: physical 0x7f876000 -> [0xb3980000-0xb3986f5c) - vfs_jitterentropy.lib.so map multi-boot module: physical 0x7f87d000 -> [0xb398a000-0xb3b58488) - libcrypto.lib.so map multi-boot module: physical 0x7fa4c000 -> [0xb3b5c000-0xb3bc6f1c) - libssl.lib.so map multi-boot module: physical 0x7fab7000 -> [0xb3bca000-0xb3c00d90) - wpa_driver_nl80211.lib.so map multi-boot module: physical 0x7faee000 -> [0xb3c04000-0xb3c7816c) - wpa_supplicant.lib.so map multi-boot module: physical 0x7fb63000 -> [0xb3c7c000-0xb3de3070) - wifi.lib.so map multi-boot module: physical 0x7fccb000 -> [0xb3de7000-0xb3dfc4a8) - wifi_drv map multi-boot module: physical 0x7fce1000 -> [0xb3e00000-0xb3e011fc) - vm_linux.vbox map multi-boot module: physical 0x7fce3000 -> [0xb3e05000-0xb3e672c4) - trace_subject_reporter map multi-boot module: physical 0x7fd46000 -> [0xb3e6b000-0xb3ec38b4) - cpu_load_display map multi-boot module: physical 0x7fd9f000 -> [0xb3ec7000-0xb3f35fd0) - iwlwifi-6000-6.ucode map multi-boot module: physical 0x7fe0e000 -> [0xb3f39000-0xb3fde5b0) - iwlwifi-6000g2a-6.ucode map multi-boot module: physical 0x7feb4000 -> [0xb3fe2000-0xb4087e0c) - iwlwifi-6000g2b-6.ucode map multi-boot module: physical 0x7ff5a000 -> [0xb408b000-0xb4130f64) - iwlwifi-7260-8.ucode :virt_alloc: Allocator 182714 dump: Block: [00002000,00008000) size=00006000 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,0006e000) size=00064000 avail=00000000 max_avail=00000000 Block: [0006e000,0006f000) size=00001000 avail=00000000 max_avail=00000000 Block: [0006f000,00070000) size=00001000 avail=00000000 max_avail=00000000 Block: [00070000,000d0000) size=00060000 avail=00000000 max_avail=00000000 Block: [000d0000,000d1000) size=00001000 avail=00000000 max_avail=00000000 Block: [000d1000,000d2000) size=00001000 avail=00000000 max_avail=00000000 Block: [000d2000,000d3000) size=00001000 avail=00000000 max_avail=00000000 Block: [000d3000,000d4000) size=00001000 avail=00000000 max_avail=00000000 Block: [000d4000,000d5000) size=00001000 avail=00000000 max_avail=00000000 Block: [000d5000,000d6000) size=00001000 avail=00000000 max_avail=00000000 Block: [000d6000,000d8000) size=00002000 avail=00000000 max_avail=00000000 Block: [000d8000,000d9000) size=00001000 avail=00000000 max_avail=00000000 Block: [000d9000,000da000) size=00001000 avail=00000000 max_avail=00000000 Block: [000da000,000db000) size=00001000 avail=00000000 max_avail=00000000 Block: [000db000,000dc000) size=00001000 avail=00000000 max_avail=00000000 Block: [000dc000,000dd000) size=00001000 avail=00000000 max_avail=00000000 Block: [000dd000,000e7000) size=0000a000 avail=00000000 max_avail=00000000 Block: [000e7000,000e8000) size=00001000 avail=00000000 max_avail=00000000 Block: [000e8000,000e9000) size=00001000 avail=00000000 max_avail=00000000 Block: [000e9000,000ef000) size=00006000 avail=00000000 max_avail=00000000 Block: [000ef000,000f0000) size=00001000 avail=00000000 max_avail=00000000 Block: [000f0000,000f1000) size=00001000 avail=00000000 max_avail=00000000 Block: [000f1000,000f2000) size=00001000 avail=00000000 max_avail=00000000 Block: [000f2000,000f3000) size=00001000 avail=00000000 max_avail=9fce3000 Block: [000f3000,000f4000) size=00001000 avail=00000000 max_avail=00000000 Block: [000f4000,000f5000) size=00001000 avail=00000000 max_avail=00000000 Block: [000f5000,000f6000) size=00001000 avail=00000000 max_avail=00000000 Block: [000f6000,000f7000) size=00001000 avail=00000000 max_avail=00000000 Block: [000f7000,000f8000) size=00001000 avail=00000000 max_avail=00000000 Block: [000f8000,000f9000) size=00001000 avail=00000000 max_avail=00000000 Block: [000f9000,000fa000) size=00001000 avail=00000000 max_avail=00000000 Block: [000fa000,000fb000) size=00001000 avail=00000000 max_avail=00000000 Block: [000fb000,000fc000) size=00001000 avail=00000000 max_avail=00000000 Block: [000fc000,000fd000) size=00001000 avail=00000000 max_avail=00000000 Block: [000fd000,000fe000) size=00001000 avail=00000000 max_avail=00000000 Block: [000fe000,000ff000) size=00001000 avail=00000000 max_avail=00000000 Block: [000ff000,00100000) size=00001000 avail=00000000 max_avail=00000000 Block: [001d0000,002a2000) size=000d2000 avail=00000000 max_avail=00000000 Block: [002a2000,002a3000) size=00001000 avail=00000000 max_avail=9fce3000 Block: [002a3000,002a4000) size=00001000 avail=00000000 max_avail=00000000 Block: [002a4000,0031d000) size=00079000 avail=00000000 max_avail=9fce3000 Block: [0031d000,a0000000) size=9fce3000 avail=9fce3000 max_avail=9fce3000 Block: [b0000000,b0061000) size=00061000 avail=00000000 max_avail=9fce3000 Block: [b0061000,b00f6000) size=00095000 avail=00000000 max_avail=00000000 Block: [b00f6000,b01f2000) size=000fc000 avail=00000000 max_avail=00000000 Block: [b01f2000,b021a000) size=00028000 avail=00000000 max_avail=9fce3000 Block: [b021a000,b022e000) size=00014000 avail=00000000 max_avail=00000000 Block: [b022e000,b0314000) size=000e6000 avail=00000000 max_avail=00000000 Block: [b0314000,b03eb000) size=000d7000 avail=00000000 max_avail=00000000 Block: [b03eb000,b0522000) size=00137000 avail=00000000 max_avail=00000000 Block: [b0522000,b0675000) size=00153000 avail=00000000 max_avail=00000000 Block: [b0675000,b069d000) size=00028000 avail=00000000 max_avail=9fce3000 Block: [b069d000,b0f8d000) size=008f0000 avail=00000000 max_avail=00000000 Block: [b0f8d000,b0ff0000) size=00063000 avail=00000000 max_avail=00000000 Block: [b0ff0000,b0ff1000) size=00001000 avail=00000000 max_avail=00000000 Block: [b0ff1000,b1118000) size=00127000 avail=00000000 max_avail=00000000 Block: [b1118000,b1119000) size=00001000 avail=00000000 max_avail=00000000 Block: [b1119000,b111a000) size=00001000 avail=00000000 max_avail=00000000 Block: [b111a000,b116c000) size=00052000 avail=00000000 max_avail=00000000 Block: [b116c000,b116d000) size=00001000 avail=00000000 max_avail=00000000 Block: [b116d000,b116e000) size=00001000 avail=00000000 max_avail=00000000 Block: [b116e000,b11e1000) size=00073000 avail=00000000 max_avail=00000000 Block: [b11e1000,b11e2000) size=00001000 avail=00000000 max_avail=00000000 Block: [b11e2000,b11e3000) size=00001000 avail=00000000 max_avail=9fce3000 Block: [b11e3000,b1273000) size=00090000 avail=00000000 max_avail=00000000 Block: [b1273000,b1274000) size=00001000 avail=00000000 max_avail=00000000 Block: [b1274000,b1275000) size=00001000 avail=00000000 max_avail=00000000 Block: [b1275000,b12ca000) size=00055000 avail=00000000 max_avail=00000000 Block: [b12ca000,b12cb000) size=00001000 avail=00000000 max_avail=00000000 Block: [b12cb000,b12cc000) size=00001000 avail=00000000 max_avail=00000000 Block: [b12cc000,b132e000) size=00062000 avail=00000000 max_avail=00000000 Block: [b132e000,b132f000) size=00001000 avail=00000000 max_avail=00000000 Block: [b132f000,b1330000) size=00001000 avail=00000000 max_avail=00000000 Block: [b1330000,b1391000) size=00061000 avail=00000000 max_avail=00000000 Block: [b1391000,b1392000) size=00001000 avail=00000000 max_avail=00000000 Block: [b1392000,b1393000) size=00001000 avail=00000000 max_avail=00000000 Block: [b1393000,b1416000) size=00083000 avail=00000000 max_avail=00000000 Block: [b1416000,b1417000) size=00001000 avail=00000000 max_avail=00000000 Block: [b1417000,b1418000) size=00001000 avail=00000000 max_avail=00000000 Block: [b1418000,b149a000) size=00082000 avail=00000000 max_avail=00000000 Block: [b149a000,b149b000) size=00001000 avail=00000000 max_avail=00000000 Block: [b149b000,b149c000) size=00001000 avail=00000000 max_avail=00000000 Block: [b149c000,b14f7000) size=0005b000 avail=00000000 max_avail=00000000 Block: [b14f7000,b14f8000) size=00001000 avail=00000000 max_avail=00000000 Block: [b14f8000,b14f9000) size=00001000 avail=00000000 max_avail=00000000 Block: [b14f9000,b1560000) size=00067000 avail=00000000 max_avail=00000000 Block: [b1560000,b1561000) size=00001000 avail=00000000 max_avail=00000000 Block: [b1561000,b1562000) size=00001000 avail=00000000 max_avail=00000000 Block: [b1562000,b15c8000) size=00066000 avail=00000000 max_avail=00000000 Block: [b15c8000,b15c9000) size=00001000 avail=00000000 max_avail=00000000 Block: [b15c9000,b15ca000) size=00001000 avail=00000000 max_avail=00000000 Block: [b15ca000,b15cb000) size=00001000 avail=00000000 max_avail=00000000 Block: [b15cb000,b1636000) size=0006b000 avail=00000000 max_avail=00000000 Block: [b1636000,b1637000) size=00001000 avail=00000000 max_avail=00000000 Block: [b1637000,b1638000) size=00001000 avail=00000000 max_avail=00000000 Block: [b1638000,b169a000) size=00062000 avail=00000000 max_avail=00000000 Block: [b169a000,b169b000) size=00001000 avail=00000000 max_avail=00000000 Block: [b169b000,b169c000) size=00001000 avail=00000000 max_avail=00000000 Block: [b169c000,b16f4000) size=00058000 avail=00000000 max_avail=00000000 Block: [b16f4000,b16f5000) size=00001000 avail=00000000 max_avail=00000000 Block: [b16f5000,b16f6000) size=00001000 avail=00000000 max_avail=00000000 Block: [b16f6000,b1759000) size=00063000 avail=00000000 max_avail=00000000 Block: [b1759000,b175a000) size=00001000 avail=00000000 max_avail=00000000 Block: [b175a000,b175b000) size=00001000 avail=00000000 max_avail=00000000 Block: [b175b000,b17d2000) size=00077000 avail=00000000 max_avail=00000000 Block: [b17d2000,b17d3000) size=00001000 avail=00000000 max_avail=00000000 Block: [b17d3000,b17d4000) size=00001000 avail=00000000 max_avail=00000000 Block: [b17d4000,b183a000) size=00066000 avail=00000000 max_avail=00000000 Block: [b183a000,b183b000) size=00001000 avail=00000000 max_avail=00000000 Block: [b183b000,b183c000) size=00001000 avail=00000000 max_avail=00000000 Block: [b183c000,b1853000) size=00017000 avail=00000000 max_avail=00000000 Block: [b1853000,b1854000) size=00001000 avail=00000000 max_avail=0bdca000 Block: [b1854000,b1855000) size=00001000 avail=00000000 max_avail=00000000 Block: [b1855000,b189e000) size=00049000 avail=00000000 max_avail=00000000 Block: [b189e000,b189f000) size=00001000 avail=00000000 max_avail=00000000 Block: [b189f000,b18a0000) size=00001000 avail=00000000 max_avail=00000000 Block: [b18a0000,b1c05000) size=00365000 avail=00000000 max_avail=00000000 Block: [b1c05000,b1c06000) size=00001000 avail=00000000 max_avail=00000000 Block: [b1c06000,b1c07000) size=00001000 avail=00000000 max_avail=00000000 Block: [b1c07000,b24e0000) size=008d9000 avail=00000000 max_avail=00000000 Block: [b24e0000,b24e2000) size=00002000 avail=00000000 max_avail=00000000 Block: [b24e2000,b24e3000) size=00001000 avail=00000000 max_avail=00000000 Block: [b24e3000,b37e9000) size=01306000 avail=00000000 max_avail=00000000 Block: [b37e9000,b37eb000) size=00002000 avail=00000000 max_avail=00000000 Block: [b37eb000,b37ec000) size=00001000 avail=00000000 max_avail=00000000 Block: [b37ec000,b3843000) size=00057000 avail=00000000 max_avail=00000000 Block: [b3843000,b3844000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3844000,b3845000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3845000,b389a000) size=00055000 avail=00000000 max_avail=00000000 Block: [b389a000,b389b000) size=00001000 avail=00000000 max_avail=00000000 Block: [b389b000,b389c000) size=00001000 avail=00000000 max_avail=00000000 Block: [b389c000,b38ac000) size=00010000 avail=00000000 max_avail=00000000 Block: [b38ac000,b38ad000) size=00001000 avail=00000000 max_avail=00000000 Block: [b38ad000,b38ae000) size=00001000 avail=00000000 max_avail=00000000 Block: [b38ae000,b3906000) size=00058000 avail=00000000 max_avail=00000000 Block: [b3906000,b3907000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3907000,b3908000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3908000,b3909000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3909000,b3920000) size=00017000 avail=00000000 max_avail=00000000 Block: [b3920000,b3921000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3921000,b3922000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3922000,b397e000) size=0005c000 avail=00000000 max_avail=00000000 Block: [b397e000,b397f000) size=00001000 avail=00000000 max_avail=00000000 Block: [b397f000,b3980000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3980000,b3988000) size=00008000 avail=00000000 max_avail=00000000 Block: [b3988000,b3989000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3989000,b398a000) size=00001000 avail=00000000 max_avail=00000000 Block: [b398a000,b3b5a000) size=001d0000 avail=00000000 max_avail=00000000 Block: [b3b5a000,b3b5b000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3b5b000,b3b5c000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3b5c000,b3bc8000) size=0006c000 avail=00000000 max_avail=00000000 Block: [b3bc8000,b3bc9000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3bc9000,b3bca000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3bca000,b3c02000) size=00038000 avail=00000000 max_avail=00000000 Block: [b3c02000,b3c03000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3c03000,b3c04000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3c04000,b3c7a000) size=00076000 avail=00000000 max_avail=00000000 Block: [b3c7a000,b3c7b000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3c7b000,b3c7c000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3c7c000,b3de5000) size=00169000 avail=00000000 max_avail=0bdca000 Block: [b3de5000,b3de6000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3de6000,b3de7000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3de7000,b3dfe000) size=00017000 avail=00000000 max_avail=00000000 Block: [b3dfe000,b3dff000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3dff000,b3e00000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3e00000,b3e03000) size=00003000 avail=00000000 max_avail=00000000 Block: [b3e03000,b3e04000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3e04000,b3e05000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3e05000,b3e69000) size=00064000 avail=00000000 max_avail=00000000 Block: [b3e69000,b3e6a000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3e6a000,b3e6b000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3e6b000,b3ec5000) size=0005a000 avail=00000000 max_avail=0bdca000 Block: [b3ec5000,b3ec6000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3ec6000,b3ec7000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3ec7000,b3f37000) size=00070000 avail=00000000 max_avail=00000000 Block: [b3f37000,b3f38000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3f38000,b3f39000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3f39000,b3fe0000) size=000a7000 avail=00000000 max_avail=0bdca000 Block: [b3fe0000,b3fe1000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3fe1000,b3fe2000) size=00001000 avail=00000000 max_avail=00000000 Block: [b3fe2000,b4089000) size=000a7000 avail=00000000 max_avail=00000000 Block: [b4089000,b408a000) size=00001000 avail=00000000 max_avail=00000000 Block: [b408a000,b408b000) size=00001000 avail=00000000 max_avail=00000000 Block: [b408b000,b4132000) size=000a7000 avail=00000000 max_avail=0bdca000 Block: [b4132000,b4133000) size=00001000 avail=00000000 max_avail=00000000 Block: [b4133000,b4134000) size=00001000 avail=00000000 max_avail=0bdca000 Block: [b4134000,b4135000) size=00001000 avail=00000000 max_avail=00000000 Block: [b4135000,bfeff000) size=0bdca000 avail=0bdca000 max_avail=0bdca000 Block: [bff04000,bfffd000) size=000f9000 avail=000f9000 max_avail=000f9000 => mem_size=2951897088 (2815 MB) / mem_avail=2881118208 (2747 MB) :phys_alloc: Allocator 1816b8 dump: Block: [00001000,0009e000) size=0009d000 avail=0009d000 max_avail=0009d000 Block: [00100000,00400000) size=00300000 avail=00300000 max_avail=00300000 Block: [02800000,02801000) size=00001000 avail=00000000 max_avail=79538000 Block: [02801000,02802000) size=00001000 avail=00000000 max_avail=00000000 Block: [02802000,7bd3a000) size=79538000 avail=79538000 max_avail=79538000 Block: [80001000,80002000) size=00001000 avail=00000000 max_avail=79538000 Block: [80002000,80003000) size=00001000 avail=00000000 max_avail=00000000 Block: [80003000,bb27c000) size=3b279000 avail=3b279000 max_avail=3b279000 Block: [bb282000,bb283000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb283000,bb35f000) size=000dc000 avail=000dc000 max_avail=000dc000 Block: [bb40f000,bb410000) size=00001000 avail=00000000 max_avail=79538000 Block: [bb410000,bb411000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb411000,bb412000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb412000,bb413000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb413000,bb414000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb414000,bb415000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb415000,bb416000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb416000,bb417000) size=00001000 avail=00000000 max_avail=79538000 Block: [bb417000,bb418000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb418000,bb419000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb419000,bb41a000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb41a000,bb41b000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb41b000,bb41c000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb41c000,bb41d000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb41d000,bb41e000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb41e000,bb41f000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb41f000,bb420000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb420000,bb421000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb421000,bb422000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb422000,bb423000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb423000,bb424000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb424000,bb425000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb425000,bb426000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb426000,bb427000) size=00001000 avail=00000000 max_avail=0003e000 Block: [bb427000,bb428000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb428000,bb429000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb429000,bb42a000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb42a000,bb42b000) size=00001000 avail=00000000 max_avail=0003e000 Block: [bb42b000,bb42c000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb42c000,bb42d000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb42d000,bb42e000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb42e000,bb42f000) size=00001000 avail=00000000 max_avail=0003e000 Block: [bb42f000,bb430000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb430000,bb431000) size=00001000 avail=00000000 max_avail=0003e000 Block: [bb431000,bb46f000) size=0003e000 avail=0003e000 max_avail=0003e000 Block: [bb70f000,bb710000) size=00001000 avail=00000000 max_avail=79538000 Block: [bb710000,bb711000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb711000,bb712000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb712000,bb713000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb713000,bb714000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb714000,bb715000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb715000,bb716000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb716000,bb717000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb71f000,bb720000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb720000,bb721000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb721000,bb722000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb722000,bb723000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb723000,bb724000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb724000,bb725000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb725000,bb726000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb726000,bb727000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb727000,bb728000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb728000,bb729000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb729000,bb72a000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb72a000,bb72b000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb72b000,bb72c000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb72c000,bb72d000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb72d000,bb72e000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb72e000,bb72f000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb72f000,bb730000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb730000,bb731000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb731000,bb732000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb732000,bb733000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb733000,bb734000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb734000,bb735000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb735000,bb736000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb736000,bb737000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb737000,bb738000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb738000,bb739000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb739000,bb73a000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb73a000,bb73b000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb73b000,bb73c000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb73c000,bb73d000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb73d000,bb73e000) size=00001000 avail=00000000 max_avail=79538000 Block: [bb73e000,bb73f000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb73f000,bb740000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb740000,bb741000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb741000,bb742000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb742000,bb743000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb743000,bb744000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb744000,bb745000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb745000,bb746000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb746000,bb747000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb747000,bb748000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb748000,bb749000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb749000,bb74a000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb74a000,bb74b000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb74b000,bb74c000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb74c000,bb74d000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb74d000,bb74e000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb74e000,bb74f000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb74f000,bb750000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb750000,bb751000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb751000,bb752000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb752000,bb753000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb753000,bb754000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb754000,bb755000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb755000,bb756000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb756000,bb757000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb757000,bb758000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb758000,bb759000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb759000,bb75a000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb75a000,bb75b000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb75b000,bb75c000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb75c000,bb75d000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb75d000,bb75e000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb75e000,bb75f000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb75f000,bb760000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb760000,bb761000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb761000,bb762000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb762000,bb763000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb763000,bb764000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb764000,bb765000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb765000,bb766000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb766000,bb767000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb767000,bb768000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb768000,bb769000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb769000,bb76a000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb76a000,bb76b000) size=00001000 avail=00000000 max_avail=00000000 Block: [bb7ff000,bb800000) size=00001000 avail=00000000 max_avail=00000000 => mem_size=3033415680 (2892 MB) / mem_avail=3032907776 (2892 MB) :io_mem_alloc: Allocator 18377c dump: Block: [00000000,00001000) size=00001000 avail=00001000 max_avail=00001000 Block: [0009e000,00100000) size=00062000 avail=00062000 max_avail=00062000 Block: [bb27c000,bb282000) size=00006000 avail=00006000 max_avail=000b0000 Block: [bb35f000,bb40f000) size=000b0000 avail=000b0000 max_avail=000b0000 Block: [bb46f000,bb70f000) size=002a0000 avail=002a0000 max_avail=447ff000 Block: [bb717000,bb71f000) size=00008000 avail=00008000 max_avail=00008000 Block: [bb76b000,bb7ff000) size=00094000 avail=00094000 max_avail=447ff000 Block: [bb800000,fffff000) size=447ff000 avail=447ff000 max_avail=447ff000 => mem_size=1153777664 (1100 MB) / mem_avail=1153777664 (1100 MB) [ESC: ScreenAttribs, 32]Genode 15.08[ESC: ScreenAttribs, 0] int main(): [ESC: ScreenAttribs, 33]--- create local services ---[ESC: ScreenAttribs, 0] int main(): [ESC: ScreenAttribs, 33]--- start init ---[ESC: ScreenAttribs, 0] int main(): [ESC: ScreenAttribs, 33]transferred 2891 MB to init[ESC: ScreenAttribs, 0] [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] service "TRACE" [init] child "timer" [init] RAM quota: 876544 [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] child "acpi_drv" [init] RAM quota: 1925120 [init] ELF binary: acpi_drv [init] priority: 0 [init] child "acpi_report_rom" [init] RAM quota: 1925120 [init] ELF binary: report_rom [init] priority: 0 [init] provides service ROM [init] provides service Report [init] child "platform_drv" [init] RAM quota: 2973696 [init] ELF binary: platform_drv [init] priority: 0 [init] provides service Platform [init] child "ahci_drv" [init] RAM quota: 10313728 [init] ELF binary: ahci_drv [init] priority: 1 [init] provides service Block [init] child "part_blk" [init] RAM quota: 10313728 [init] ELF binary: part_blk [init] priority: 1 [init] provides service Block [init] child "log_file_terminal" [init] RAM quota: 10313728 [init] ELF binary: file_terminal [init] priority: 1 [init] provides service Terminal [ESC: ScreenAttribs, 34]Quota exceeded! amount=24576, size=4096, consumed=24576[ESC: ScreenAttribs, 0] [init] [ESC: ScreenAttribs, 32]upgrading quota donation for Env::CPU (8192 bytes)[ESC: ScreenAttribs, 0] [init] child "log" [init] RAM quota: 4022272 [init] ELF binary: terminal_log [init] priority: 1 [init] provides service LOG [init] child "rump_fs" [init] RAM quota: 33382400 [init] ELF binary: rump_fs [init] priority: 2 [init] provides service File_system [init] child "wifi_drv" [init] RAM quota: 66936832 [init] ELF binary: wifi_drv [init] priority: 2 [init] provides service Nic [init] child "ps2_drv" [init] RAM quota: 876544 [init] ELF binary: ps2_drv [init] priority: 1 [init] provides service Input [ESC: ScreenAttribs, 34]Quota exceeded! amount=32768, size=4096, consumed=32768[ESC: ScreenAttribs, 0] [init] [ESC: ScreenAttribs, 32]upgrading quota donation for Env::CPU (8192 bytes)[ESC: ScreenAttribs, 0] [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] child "fb_drv" [init] RAM quota: 6119424 [init] ELF binary: fb_drv [init] priority: 0 [init] provides service Framebuffer [init] child "rtc_drv" [init] RAM quota: 876544 [init] ELF binary: rtc_drv [init] priority: 1 [init] provides service Rtc [init] child "trace_subject_reporter" [init] RAM quota: 1925120 [init] ELF binary: trace_subject_reporter [init] priority: 1 [ESC: ScreenAttribs, 34]Quota exceeded! amount=40960, size=4096, consumed=40960[ESC: ScreenAttribs, 0] [init] [ESC: ScreenAttribs, 32]upgrading quota donation for Env::CPU (8192 bytes)[ESC: ScreenAttribs, 0] [init] child "input_merger" [init] RAM quota: 876544 [init] ELF binary: input_merger [init] priority: 1 [init] provides service Input [init] child "report_rom" [init] RAM quota: 1925120 [init] ELF binary: report_rom [init] priority: 1 [init] provides service Report [init] provides service ROM [init] child "nitpicker" [init] RAM quota: 1925120 [init] ELF binary: nitpicker [init] priority: 1 [init] provides service Nitpicker [init] child "wm_report_rom" [init] RAM quota: 4022272 [init] ELF binary: report_rom [init] priority: 1 [init] provides service Report [init] provides service ROM [ESC: ScreenAttribs, 34]Quota exceeded! amount=49152, size=4096, consumed=49152[ESC: ScreenAttribs, 0] [init] [ESC: ScreenAttribs, 32]upgrading quota donation for Env::CPU (8192 bytes)[ESC: ScreenAttribs, 0] [init] child "wm" [init] RAM quota: 12410880 [init] ELF binary: wm [init] priority: 1 [init] provides service Nitpicker [init] child "layouter" [init] RAM quota: 4022272 [init] ELF binary: floating_window_layouter [init] priority: 1 [init] child "decorator" [init] RAM quota: 8216576 [init] ELF binary: decorator [init] priority: 1 [init] child "vbox_pointer" [init] RAM quota: 876544 [init] ELF binary: vbox_pointer [init] priority: 1 [ESC: ScreenAttribs, 34]Quota exceeded! amount=57344, size=4096, consumed=57344[ESC: ScreenAttribs, 0] [init] [ESC: ScreenAttribs, 32]upgrading quota donation for Env::CPU (8192 bytes)[ESC: ScreenAttribs, 0] [init] child "shared_fs" [init] RAM quota: 66936832 [init] ELF binary: ram_fs [init] priority: 1 [init] provides service File_system [init] child "config_fs" [init] RAM quota: 8216576 [init] ELF binary: ram_fs [init] priority: 1 [init] provides service File_system [ESC: ScreenAttribs, 34]Quota exceeded! amount=61440, size=4096, consumed=61440[ESC: ScreenAttribs, 0] [init] [ESC: ScreenAttribs, 32]upgrading quota donation for Env::RM (8192 bytes)[ESC: ScreenAttribs, 0] [init] child "config_rom" [init] RAM quota: 4022272 [init] ELF binary: fs_rom [init] priority: 1 [init] provides service ROM [init] child "rom" [init] RAM quota: 134045696 [init] ELF binary: fs_rom [init] priority: 1 [init] provides service ROM [ESC: ScreenAttribs, 34]Quota exceeded! amount=65536, size=4096, consumed=65536[ESC: ScreenAttribs, 0] [init] [ESC: ScreenAttribs, 32]upgrading quota donation for Env::CPU (8192 bytes)[ESC: ScreenAttribs, 0] [init] child "cli_nit_fb" [init] RAM quota: 8216576 [init] ELF binary: nit_fb [init] priority: 1 [init] provides service Framebuffer [init] provides service Input [init] child "cli_terminal" [init] RAM quota: 1925120 [init] ELF binary: terminal [init] priority: 1 [init] provides service Terminal [ESC: ScreenAttribs, 34]Quota exceeded! amount=69632, size=4096, consumed=69632[ESC: ScreenAttribs, 0] [init] [ESC: ScreenAttribs, 32]upgrading quota donation for Env::RM (8192 bytes)[ESC: ScreenAttribs, 0] [init] child "cli_monitor" [init] RAM quota: 2147311616 [init] ELF binary: cli_monitor [init] priority: 3 [init] child "timer" announces service "Timer" [init] child "acpi_report_rom" announces service "Report" [init] child "acpi_report_rom" announces service "ROM" [init -> acpi_drv] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = unsigned int; Genode::uint32_t = unsigned int]: [ESC: ScreenAttribs, 33]Found MADT[ESC: ScreenAttribs, 0] [init -> acpi_drv] [ESC: ScreenAttribs, 32]MADT IRQ 0 -> GSI 2 flags: 0[ESC: ScreenAttribs, 0] [init -> acpi_drv] [ESC: ScreenAttribs, 32]MADT IRQ 9 -> GSI 9 flags: d[ESC: ScreenAttribs, 0] [init -> platform_drv] platform driver started [init -> acpi_drv] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = unsigned int; Genode::uint32_t = unsigned int]: [ESC: ScreenAttribs, 33]Found MCFG[ESC: ScreenAttribs, 0] [init -> acpi_drv] [ESC: ScreenAttribs, 32]MCFG BASE 0xe0000000 seg 00 bus 00-ff[ESC: ScreenAttribs, 0] [init -> acpi_drv] void Acpi_table::_parse_tables(T*, Genode::uint32_t) [with T = unsigned int; Genode::uint32_t = unsigned int]: [ESC: ScreenAttribs, 33]Found DMAR[ESC: ScreenAttribs, 0] [init -> acpi_drv] [ESC: ScreenAttribs, 33]36 bit DMA physical addressable [ESC: ScreenAttribs, 0][init -> acpi_drv] [ESC: ScreenAttribs, 33]RMRR: [0xbb6e9000,0xbb6fffff] - DMA region reported by BIOS[ESC: ScreenAttribs, 0] [init -> platform_drv -> device_pd] Device protection domain starting ... [init -> platform_drv -> device_pd] Device protection domain started [init -> acpi_drv] [ESC: ScreenAttribs, 33]RMRR: [0xbdc00000,0xbfffffff] - DMA region reported by BIOS[ESC: ScreenAttribs, 0] [init] child "platform_drv" announces service "Platform" [init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): [ESC: ScreenAttribs, 33]fb mapped to 1000[ESC: ScreenAttribs, 0] [init] child "fb_drv" announces service "Framebuffer" [init -> ahci_drv] [ESC: ScreenAttribs, 32]--- Starting AHCI driver -> done right .-) -- [ESC: ScreenAttribs, 0][init -> ps2_drv] Using keyboard with scan code set 1 (xlate). [init] child "report_rom" announces service "Report" [init] child "report_rom" announces service "ROM" [init -> platform_drv] [ESC: ScreenAttribs, 32]0:2.0 rewriting IRQ: 11 -> 16[ESC: ScreenAttribs, 0] [init] child "wm_report_rom" announces service "Report" [init] child "wm_report_rom" announces service "ROM" [init] child "wm" announces service "Nitpicker" [init] child "shared_fs" announces service "File_system" [init] child "config_fs" announces service "File_system" [init -> cli_terminal] int main(int, char**): [ESC: ScreenAttribs, 33]--- terminal service started ---[ESC: ScreenAttribs, 0] [init -> platform_drv] [ESC: ScreenAttribs, 32]0:1f.2 rewriting IRQ: 11 -> 16[ESC: ScreenAttribs, 0] [init -> ahci_drv] [ESC: ScreenAttribs, 32]AHCI found (vendor: 8086 device: 3b2f class: 00010601) [init -> usb_drv] Services::Services(): [ESC: ScreenAttribs, 33]Could not read screen resolution in config node[ESC: ScreenAttribs, 0] [init -> usb_drv] Services::Services(): [ESC: ScreenAttribs, 33]No <storage> config node found - not starting the USB Storage (Block) service[ESC: ScreenAttribs, 0] [init -> usb_drv] Services::Services(): [ESC: ScreenAttribs, 33]No <nic> config node found - not starting the USB Nic (Network) service[ESC: ScreenAttribs, 0] [init -> usb_drv] [ESC: ScreenAttribs, 32]Enabled UHCI (USB 1.0/1.1) support[ESC: ScreenAttribs, 0] [init -> usb_drv] [ESC: ScreenAttribs, 32]Enabled EHCI (USB 2.0) support[ESC: ScreenAttribs, 0] [ESC: ScreenAttribs, 0][init -> platform_drv] [ESC: ScreenAttribs, 32]0:1f.2 uses MSI 32bit, vector 0x9e, address 0xfee00000[ESC: ScreenAttribs, 0] [init -> ahci_drv] [ESC: ScreenAttribs, 32] version: 1.0300[ESC: ScreenAttribs, 0] [init -> ahci_drv] [ESC: ScreenAttribs, 32] command slots: 32[ESC: ScreenAttribs, 0] [init -> ahci_drv] [ESC: ScreenAttribs, 32] native command queuing: yes[ESC: ScreenAttribs, 0] [init -> ahci_drv] [ESC: ScreenAttribs, 32] 64 bit support: yes[ESC: ScreenAttribs, 0] [init -> ahci_drv] [ESC: ScreenAttribs, 32] number of ports: 6 pi: 33[ESC: ScreenAttribs, 0] [init -> ahci_drv] [ESC: ScreenAttribs, 32] #0: ATA[ESC: ScreenAttribs, 0] [init -> ahci_drv] [ESC: ScreenAttribs, 32] #1: off[ESC: ScreenAttribs, 0] [init -> ahci_drv] [ESC: ScreenAttribs, 32] #4: off[ESC: ScreenAttribs, 0] [init -> ahci_drv] [ESC: ScreenAttribs, 32] #5: off[ESC: ScreenAttribs, 0] [init -> usb_drv] [ESC: ScreenAttribs, 32]Enabled XHCI (USB 3.0) support[ESC: ScreenAttribs, 0] [init] child "usb_drv" announces service "Input" [init] child "usb_drv" announces service "Usb" [init -> usb_drv] INFO: usbcore: registered new device driver raw [init -> usb_drv] RAW: driver registered [init -> usb_drv] INFO: usbcore: registered new interface driver rawintf [init -> usb_drv] RAW: interface driver registered [init -> usb_drv] RAW: notify function registered [init -> usb_drv] INFO: usbcore: registered new interface driver <NULL> [init -> fb_drv] Found: VESA BIOS version 3.0 [init -> fb_drv] OEM: Intel(R)Ironlake Mobile Graphics Chipset Accelerated VGA BIOS [init -> log_file_terminal] --- file terminal started --- [init] child "log_file_terminal" announces service "Terminal" [init] child "config_rom" announces service "ROM" [init -> config_rom] [ESC: ScreenAttribs, 32]connection for file 'trace_subject_reporter.config' requested [ESC: ScreenAttribs, 0][init -> trace_subject_reporter] [ESC: ScreenAttribs, 32]period_ms=1000, report_activity=1, report_affinity=1[ESC: ScreenAttribs, 0] [init] child "ahci_drv" announces service "Block" [init -> usb_drv] INFO: usbcore: registered new interface driver hub [init -> usb_drv] INFO: usbcore: registered new device driver usb [init -> usb_drv] INFO: usbcore: registered new interface driver usbhid [init -> usb_drv] INFO: mod-noname: USB HID core driver [init -> usb_drv] INFO: usbcore: registered new interface driver wacom [init] child "log" announces service "LOG" [init -> usb_drv] DEBUG: Problem registering PCI driver. [init -> usb_drv] INFO: ehci_hcd: USB 2.0 'Enhanced' Host Controller (EHCI) Driver [init -> usb_drv] DEBUG: ehci_hcd: block sizes: qh <warning: unsupported format string argument>d qtd <warning: unsupported format string argument>d itd <warning: unsupported format string argument>d sitd <warning: unsupported format [init -> usb_drv] string argument>d [init -> usb_drv] INFO: ehci-pci: EHCI PCI platform driver [init -> platform_drv] [ESC: ScreenAttribs, 32]0:1a.0 rewriting IRQ: 11 -> 23[ESC: ScreenAttribs, 0] [init -> part_blk] [ESC: ScreenAttribs, 32]Partition 1: LBA 2048 (128000000 blocks) type: 83[ESC: ScreenAttribs, 0] [init -> part_blk] [ESC: ScreenAttribs, 32]Partition 2: LBA 128002048 (128000000 blocks) type: 83[ESC: ScreenAttribs, 0] [init -> part_blk] [ESC: ScreenAttribs, 32]Partition 3: LBA 256002048 (256000000 blocks) type: 83[ESC: ScreenAttribs, 0] [init -> part_blk] [ESC: ScreenAttribs, 32]Partition 4: LBA 512004094 (31997954 blocks) type: 5[ESC: ScreenAttribs, 0] [init -> usb_drv] for_each_pci_dev called [init -> usb_drv] dev_info: EHCI Host Controller [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1 [init -> usb_drv] dev_dbg: \A8z [init -> platform_drv] [ESC: ScreenAttribs, 32]PS2 uses IRQ, vector 0x1[ESC: ScreenAttribs, 0] [init -> usb_drv] dev_warn: Enabling legacy PCI PM [init -> usb_drv] dev_dbg: MWI active [init -> platform_drv] [ESC: ScreenAttribs, 32]0:1a.0 uses IRQ, vector 0x17[ESC: ScreenAttribs, 0] [init -> usb_drv] dev_info: irq 129, io mem 0xf2728000 [init -> usb_drv] dev_dbg: [init -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00 [init -> usb_drv] dev_dbg: default language 0x0409 [init -> usb_drv] dev_dbg: udev 1, busnum 1, minor = 0 [init -> usb_drv] dev_dbg: usb_probe_device [init -> usb_drv] dev_dbg: configuration #1 chosen from 1 choice [init -> usb_drv] dev_dbg: adding <NULL> (config #1, interface 0) [init -> part_blk] [ESC: ScreenAttribs, 32]Partition 5: LBA 512004096 (31997952 blocks) type 82[ESC: ScreenAttribs, 0] [init] child "part_blk" announces service "Block" [init -> platform_drv] [ESC: ScreenAttribs, 32]PS2 uses IRQ, vector 0xc[ESC: ScreenAttribs, 0] [init] child "ps2_drv" announces service "Input" [init -> usb_drv] dev_dbg: usb_probe_interface [init -> usb_drv] dev_dbg: usb_probe_interface - got id [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 3 ports detected [init -> usb_drv] dev_dbg: standalone hub [init -> usb_drv] dev_dbg: no power switching (usb 1.0) [init -> usb_drv] dev_dbg: individual port over-current protection [init -> usb_drv] dev_dbg: power on to power good time: 20ms [init -> usb_drv] dev_dbg: local power source is good [init -> usb_drv] dev_dbg: trying to enable port power on non-switchable hub [init -> usb_drv] for_each_pci_dev called [init -> platform_drv] [ESC: ScreenAttribs, 32]0:1d.0 rewriting IRQ: 11 -> 19[ESC: ScreenAttribs, 0] [init -> usb_drv] for_each_pci_dev called [init -> usb_drv] dev_info: EHCI Host Controller [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 2 [init -> usb_drv] dev_dbg: \A8z [init -> usb_drv] dev_warn: Enabling legacy PCI PM [init -> usb_drv] dev_dbg: MWI active [init -> platform_drv] [ESC: ScreenAttribs, 32]0:1d.0 uses IRQ, vector 0x13[ESC: ScreenAttribs, 0] [init -> usb_drv] dev_info: irq 130, io mem 0xf2728400 [init -> usb_drv] dev_dbg: [init -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00 [init -> usb_drv] dev_dbg: \8C} [init -> usb_drv] dev_dbg: port 1: status 0501 change 0001 [init -> usb_drv] dev_dbg: state 7 ports 3 chg 0002 evt 0000 [init -> usb_drv] dev_dbg: port 1, status 0501, change 0000, 480 Mb/s [init -> usb_drv] dev_dbg: port 1 not reset yet, waiting 50ms [init -> usb_drv] dev_dbg: port 1 reset complete, port enabled [init -> usb_drv] dev_dbg: [init -> usb_drv] dev_dbg: default language 0x0409 [init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-pci [init -> usb_drv] dev_dbg: udev 1, busnum 2, minor = 128 [init -> usb_drv] dev_dbg: usb_probe_device [init -> usb_drv] dev_dbg: configuration #1 chosen from 1 choice [init -> usb_drv] dev_dbg: adding <NULL> (config #1, interface 0) [init -> usb_drv] dev_dbg: usb_probe_interface [init -> usb_drv] dev_dbg: usb_probe_interface - got id [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 3 ports detected [init -> usb_drv] dev_dbg: standalone hub [init -> usb_drv] dev_dbg: no power switching (usb 1.0) [init -> usb_drv] dev_dbg: individual port over-current protection [init -> usb_drv] dev_dbg: power on to power good time: 20ms [init -> usb_drv] dev_dbg: local power source is good [init -> usb_drv] dev_dbg: trying to enable port power on non-switchable hub [init -> usb_drv] for_each_pci_dev called [init -> usb_drv] INFO: uhci_hcd: USB Universal Host Controller Interface driver [init -> usb_drv] dev_dbg: [init -> usb_drv] dev_dbg: port 1: status 0501 change 0001 [init -> usb_drv] dev_dbg: port 1 not reset yet, waiting 50ms [init -> usb_drv] dev_dbg: port 1 reset complete, port enabled [init -> usb_drv] dev_dbg: [init] child "input_merger" announces service "Input" [init] child "rtc_drv" announces service "Rtc" [init -> fb_drv] Found: physical frame buffer at 0xd0000000 size: 0x01ff0000 [init -> fb_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): [ESC: ScreenAttribs, 33]fb mapped to b0000000[ESC: ScreenAttribs, 0] [init -> fb_drv] Using video mode: 1280 x 800 x 16 [init -> fb_drv] Framebuffer::Session_component::Session_component(unsigned int, unsigned int, unsigned int, Genode::Dataspace_capability, bool): [ESC: ScreenAttribs, 33]use buf size 2048000[ESC: ScreenAttribs, 0] [init -> fb_drv] [ESC: ScreenAttribs, 32]using buffered output[ESC: ScreenAttribs, 0] [init -> config_rom] [ESC: ScreenAttribs, 32]connection for file 'nitpicker.config' requested [ESC: ScreenAttribs, 0][init] child "nitpicker" announces service "Nitpicker" [init -> nitpicker] [ESC: ScreenAttribs, 32]create session with args: label="wm", ram_quota=28672 [ESC: ScreenAttribs, 0][init -> nitpicker] [ESC: ScreenAttribs, 32]create session with args: label="vbox_pointer", ram_quota=28672 [ESC: ScreenAttribs, 0][init -> nitpicker] [ESC: ScreenAttribs, 32]create session with args: label="wm -> cli_nit_fb", ram_quota=28672 [ESC: ScreenAttribs, 0][init -> nitpicker] [ESC: ScreenAttribs, 32]create session with args: label="wm -> decorator", ram_quota=28672 [ESC: ScreenAttribs, 0][init] child "cli_nit_fb" announces service "Framebuffer" [init] child "cli_nit_fb" announces service "Input" [init -> cli_nit_fb] [ESC: ScreenAttribs, 32]using xywh=(0,0,640,480)[ESC: ScreenAttribs, 0] [init -> cli_terminal] cell size is 6x14 [init] child "cli_terminal" announces service "Terminal" [init -> usb_drv] dev_dbg: udev 2, busnum 1, minor = 1 [init -> usb_drv] dev_dbg: usb_probe_device [init -> usb_drv] dev_dbg: configuration #1 chosen from 1 choice [init -> usb_drv] dev_dbg: adding <NULL> (config #1, interface 0) [init -> usb_drv] dev_dbg: usb_probe_interface [init -> usb_drv] dev_dbg: usb_probe_interface - got id [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 6 ports detected [init -> usb_drv] dev_dbg: standalone hub [init -> usb_drv] dev_dbg: individual port power switching [init -> usb_drv] dev_dbg: individual port over-current protection [init -> usb_drv] dev_dbg: Single TT [init -> usb_drv] dev_dbg: TT requires at most 8 FS bit times (666 ns) [init -> usb_drv] dev_dbg: Port indicators are supported [init -> usb_drv] dev_dbg: power on to power good time: 100ms [init -> usb_drv] dev_dbg: local power source is good [init -> usb_drv] dev_dbg: enabling power on all ports [init -> usb_drv] dev_dbg: state 7 ports 3 chg 0002 evt 0000 [init -> usb_drv] dev_dbg: ep 81: reserve intr @ 8+64 (1.0+256) [1/0 us] mask 0001 [init -> usb_drv] dev_dbg: link qh256-0001/b40041c4 start 1 [1/0 us] [init -> usb_drv] dev_dbg: port 1, status 0501, change 0000, 480 Mb/s [ESC: ScreenAttribs, 34]Quota exceeded! amount=24576, size=4096, consumed=24576[ESC: ScreenAttribs, 0] [ESC: ScreenAttribs, 34]Quota exceeded! amount=32768, size=4096, consumed=32768[ESC: ScreenAttribs, 0] [init -> config_rom] [ESC: ScreenAttribs, 32]connection for file 'wlan_configuration' requested [ESC: ScreenAttribs, 34]Quota exceeded! amount=40960, size=4096, consumed=40960[ESC: ScreenAttribs, 0] [ESC: ScreenAttribs, 0][init -> usb_drv] dev_dbg: port 1 not reset yet, waiting 50ms [init -> platform_drv] [ESC: ScreenAttribs, 32]2:0.0 rewriting IRQ: 11 -> 16[ESC: ScreenAttribs, 0] [init -> platform_drv] [ESC: ScreenAttribs, 32]2:0.0 rewriting IRQ: 16 -> 16[ESC: ScreenAttribs, 0] [init -> platform_drv] [ESC: ScreenAttribs, 32]2:0.0 rewriting IRQ: 16 -> 16[ESC: ScreenAttribs, 0] [init -> platform_drv] [ESC: ScreenAttribs, 32]2:0.0 rewriting IRQ: 16 -> 16[ESC: ScreenAttribs, 0] [init -> platform_drv] [ESC: ScreenAttribs, 32]2:0.0 uses MSI 64bit, vector 0x9d, address 0xfee00000[ESC: ScreenAttribs, 0] [init] child "rump_fs" announces service "File_system" [init] child "rom" announces service "ROM" [init -> usb_drv] dev_dbg: port 1 reset complete, port enabled [init -> usb_drv] dev_dbg: [init -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-pci [init -> usb_drv] dev_dbg: port 1 not reset yet, waiting 50ms [init -> usb_drv] dev_dbg: port 1 reset complete, port enabled [init -> usb_drv] dev_dbg: [init -> usb_drv] dev_dbg: udev 2, busnum 2, minor = 129 [init -> usb_drv] dev_dbg: usb_probe_device [init -> usb_drv] dev_dbg: configuration #1 chosen from 1 choice [init -> usb_drv] dev_dbg: adding <NULL> (config #1, interface 0) [init -> usb_drv] dev_dbg: usb_probe_interface [init -> usb_drv] dev_dbg: usb_probe_interface - got id [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 8 ports detected [init -> usb_drv] dev_dbg: standalone hub [init -> usb_drv] dev_dbg: individual port power switching [init -> usb_drv] dev_dbg: individual port over-current protection [init -> usb_drv] dev_dbg: Single TT [init -> usb_drv] dev_dbg: TT requires at most 8 FS bit times (666 ns) [init -> usb_drv] dev_dbg: Port indicators are supported [init -> usb_drv] dev_dbg: power on to power good time: 100ms [init -> usb_drv] dev_dbg: local power source is good [init -> usb_drv] dev_dbg: enabling power on all ports [init -> usb_drv] dev_dbg: state 7 ports 6 chg 0000 evt 0000 [init -> usb_drv] dev_dbg: ep 81: reserve intr @ 8+64 (1.0+256) [1/0 us] mask 0001 [init -> usb_drv] dev_dbg: link qh256-0001/b40042cc start 1 [1/0 us] [init -> usb_drv] dev_dbg: state 7 ports 8 chg 0000 evt 0000 [init -> rom] [ESC: ScreenAttribs, 32]connection for file 'ld.lib.so' requested [ESC: ScreenAttribs, 0]int main(): [ESC: ScreenAttribs, 33]--- init created, waiting for exit condition ---[ESC: ScreenAttribs, 0] [init -> rom] [ESC: ScreenAttribs, 32]connection for file 'ld.lib.so' requested [ESC: ScreenAttribs, 0][init -> cli_terminal] create terminal session [init -> cli_terminal] new terminal session: [init -> cli_terminal] framebuffer has 640x480 pixels [init -> cli_terminal] character size is 6x14 pixels [init -> cli_terminal] terminal size is 106x34 characters [init -> rom] [ESC: ScreenAttribs, 32]connection for file 'init' requested [ESC: ScreenAttribs, 0][init -> rom] [ESC: ScreenAttribs, 32]connection for file 'ld.lib.so' requested [ESC: ScreenAttribs, 0][init -> rom] [ESC: ScreenAttribs, 32]connection for file 'timer' requested [ESC: ScreenAttribs, 0][init -> rom] [ESC: ScreenAttribs, 32]connection for file 'nit_fb' requested [ESC: ScreenAttribs, 0][init -> rom] [ESC: ScreenAttribs, 32]connection for file 'virtualbox' requested [ESC: ScreenAttribs, 0][init -> nitpicker] [ESC: ScreenAttribs, 32]create session with args: label="wm -> cli_monitor -> linux -> nit_fb", ram_quota=28672 [ESC: ScreenAttribs, 0][init -> rom] [ESC: ScreenAttribs, 32]connection for file 'ld.lib.so' requested [ESC: ScreenAttribs, 0][init -> rom] [ESC: ScreenAttribs, 32]connection for file 'libc.lib.so' requested [ESC: ScreenAttribs, 0][init -> rom] [ESC: ScreenAttribs, 32]connection for file 'libc_lock_pipe.lib.so' requested [ESC: ScreenAttribs, 0][init -> rom] [ESC: ScreenAttribs, 32]connection for file 'libc_terminal.lib.so' requested [ESC: ScreenAttribs, 0][init -> rom] [ESC: ScreenAttribs, 32]connection for file 'libiconv.lib.so' requested [ESC: ScreenAttribs, 0][init -> rom] [ESC: ScreenAttribs, 32]connection for file 'libm.lib.so' requested [ESC: ScreenAttribs, 0][init -> rom] [ESC: ScreenAttribs, 32]connection for file 'pthread.lib.so' requested [ESC: ScreenAttribs, 0][init -> rom] [ESC: ScreenAttribs, 32]connection for file 'stdcxx.lib.so' requested [ESC: ScreenAttribs, 0][init -> rom] [ESC: ScreenAttribs, 32]connection for file 'vm_linux.vbox' requested [ESC: ScreenAttribs, 0][init -> rom] [ESC: ScreenAttribs, 32]connection for file 'usb_devices' requested [ESC: ScreenAttribs, 0][init -> rom] [ESC: ScreenAttribs, 31]Lookup_failed[ESC: ScreenAttribs, 0] [init -> rom] [ESC: ScreenAttribs, 31]Lookup_failed[ESC: ScreenAttribs, 0] [init -> rom] [ESC: ScreenAttribs, 31]Lookup_failed[ESC: ScreenAttribs, 0] [init -> rom] [ESC: ScreenAttribs, 31]Lookup_failed[ESC: ScreenAttribs, 0] [init -> rom] [ESC: ScreenAttribs, 31]Lookup_failed[ESC: ScreenAttribs, 0] [ESC: ScreenAttribs, 34]Quota exceeded! amount=61440, size=4096, consumed=61440[ESC: ScreenAttribs, 0]

3 13

FOSDEM 2016 - Microkernel devroom CfP
by Jakub Jermar 23 Oct '15

23 Oct '15

FOSDEM 2016 - Microkernel devroom CALL FOR PARTICIPATION The developers of several free and open-source microkernel-based operating systems will meet at FOSDEM 2016[1] in Brussels, Belgium and will share a developer room. The devroom is currently looking for content in the form of talks and activities related to the area of microkernel-based operating systems. Possible topics include, but are not limited to: * project introductory and status update talks, demos * architecture, subsystem and components' design * hardware and device drivers * tools, languages and toolchains * development, debugging, testing and release engineering * best practices and learning from mistakes * trends and challenges * community and life with a microkernel project Please use the Pentabarf[2] system to submit your proposals. You do not need to create a new account if you already have one. When in doubt, please use the devroom mailing list[3]. The deadline for your CfP submissions is on 2015-12-13. Make sure to include the following in your proposal: * title of your talk * abstract (one or two paragraphs) * your full name * your short bio * a picture of yourself * duration of your talk The official devroom schedule (along with the accepted talks) will be announced on 2015-12-18 in the devroom's mailing list and the speakers will be notified via e-mail. The schedule will also be published on the FOSDEM web and in the FOSDEM booklet. The devroom will take place on Saturday of January 30, 2016 at ULB Solbosch Campus in Brussels, Belgium[4]. About FOSDEM FOSDEM is a two-day event organised by volunteers to promote the widespread use of free and open source software. Taking place in the beautiful city of Brussels (Belgium), FOSDEM is widely recognised as the best such conference in Europe. FOSDEM covers a wide spectrum of free and open source software projects, and offers a platform for people to collaborate. To this end, FOSDEM has set up developer rooms (devrooms) with network/internet connectivity and projectors where teams can meet and showcase their projects. Devrooms are a place for teams to discuss, hack and publicly present latest directions, lightning talks, news and discussions. Besides developer rooms, FOSDEM also offers main tracks, lightning talks, certification exams and project stands. Every year, FOSDEM hosts more than 5000 developers at the ULB Solbosch campus. Participation and attendance is totally free, though the organisers gratefully accept donations and sponsorship. No registration necessary. About the devroom Since its inception in 2012 the Microkernel devroom has been part of each FOSDEM conference. It has become a sort of an institutionalized tradition since then. To this date over a dozen projects have participated in one way or another, delivering forty talks and other contributions in total. The goal of the Microkernel devroom has been to bring the various projects together and let them share ideas, cross-pollinate and socialize. Each year the devroom is organized by one of the projects based on a system of rotating presidency from the pool of projects that opt in. In 2016 it is HelenOS' turn again. Social events It has become a tradition that the microkernel projects dine together somewhere in downtown Brussels after the devroom closes. The year 2016 will not be any different, so there is going to be a microkernel family dinner on Saturday night. The exact location and time will be specified later. Consult the FOSDEM web and other projects for additional social events such as the famous FOSDEM-organized Friday Beer Event and the FOSDEM-arranged free sightseeing tours for spouses. Important dates 2015-10-23 CfP 2015-12-13 CfP deadline 2015-12-18 Devroom schedule published, speakers notified 2016-01-30 Microkernel devroom takes place 2016-01-30 Microkernel family dinner Links [1] http://fosdem.org/2016 [2] https://penta.fosdem.org/submission/FOSDEM16 [3] https://lists.fosdem.org/listinfo/microkernel-devroom [4] https://fosdem.org/2016/practical/transportation/

1 0

Client/Server Application, Noux and the rest
by unknown＠example.com 22 Oct '15

22 Oct '15

Hey Genodians, I am facing a problem with the Server/Client Application. But first a short summary, what happend: With the help from Johannes I am able to use Genode on the ZedBoard. So the hello_tutorial is working fine and after that I am now trying to build my own Server/Client Application. Here is the output from the boot up: kernel initialized Genode 15.05 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 502 MB to init int main(): --- init created, waiting for exit condition --- [init] parent provides [init] service "ROM" [init] service "RAM" [init] service "IRQ" [init] service "IO_MEM" [init] service "CAP" [init] service "PD" [init] service "RM" [init] service "CPU" [init] service "LOG" [init] service "SIGNAL" [init] child "timer" [init] RAM quota: 765952 [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] child "own_server" [init] RAM quota: 33271808 [init] ELF binary: own_server [init] priority: 0 [init] provides service First_Service [init] provides service Second_Service [init] child "own_client" [init] RAM quota: 16494592 [init] ELF binary: own_client [init] priority: 0 [init] child "timer" announces service "Timer" init -> own_server -> own_server: undefined instruction at ip=3983cc init -> own_client -> own_client: undefined instruction at ip=3743cc My assumption on what is going wrong is the following: The server and the client needs to access the jitterentropy node at /dev/random and needs to write in the /tmp folder. Here is the part of the run file: set config { <config verbose="yes"> <parent-provides> <service name="ROM"/> <service name="RAM"/> <service name="IRQ"/> <service name="IO_MEM"/> <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="own_server"> <resource name="RAM" quantum="32M"/> <provides> <service name="First_Service"/> <service name="Second_Service"/> </provides> <config> <libc> <vfs> <dir name="dev"> <jitterentropy name="random"/> </dir> <dir name="tmp"> <ram/> </dir> </vfs> </libc> </config> </start> <start name="own_client"> <resource name="RAM" quantum="16M"/> <config> <libc> <vfs> <dir name="dev"> <jitterentropy name="random"/> </dir> <dir name="tmp"> <ram/> </dir> </vfs> </libc> </config> </start> </config>} I have no initramfs and linux kernel included which could provide the path to the folders. So how do I provide the server and client to access the file/folder? Can I use the server/ram_fs or should I use the Noux Runtime Environment? Or is it something else? Thank you in advance. Jack

2 2

Noux
by kas 22 Oct '15

22 Oct '15

Hi All, Can we port and run a Linux program which includes Linux kernel header files such as linux/device.h using Noux runtime environment in Genode? Thank you in advance for your time. thanks and best regards, Kas

2 3

(no subject)
by Adrien de GRAEVE 21 Oct '15

21 Oct '15

Hi everyone, I tried to make compile SEL4 + GENODE. However, I must admit that this is a fail from my side. The demo linux is compiling fine, but regarding sel4 I cannot make it work due to standard lib header missing. To make it happen, I simply followed the tutorial from Norman (step 1). I managed to make things work until make kernel command. After that I discovered that it was not executing the right kernel.mk file (there is one already delivered in latest sources), It compiles fine if I adapt a little bit CFLAGS. Then the issue comes when trying to test the make run/test that is failing differently than what is described in the tutorial. (In fact, it is supposed to work in the tutorial) It may be for sure a simple issue, but I don't really understand why I have this issue while compiling test and not the kernel... The issue is the following: error: no include path in which to search for stdint.h (and same for assert.h) Do you think you could help me to figure out this issue, and maybe document it in your web page ? Here is the trace below (I have a Ubuntu 14.04 LTS & x64 installation) *adg@...363...:~/dev/genode/genode/repos/base-sel4$ make run/test VERBOSE=* *test -f "/home/adg/dev/genode/genode/repos/base-sel4/run/test.run" || (echo "Error: No run script for test"; exit -1)* *~/dev/genode/genode/tool/run/run --genode-dir ~/dev/genode/genode \* * --name test \* * --specs "sel4 x86_32 x86 32bit" \* * --repositories "/home/adg/dev/genode/genode/repos/base-sel4 /home/adg/dev/genode/genode/repos/base" \* * --cross-dev-prefix "/usr/local/genode-gcc/bin/genode-x86-" \* * --qemu-args "" \* * \* * --include /home/adg/dev/genode/genode/repos/base-sel4/run/test.run* *including /home/adg/dev/genode/genode/repos/base-sel4/run/test.run* *building targets: test/sel4 * *spawn make test/sel4* *make[1]: Entering directory `/home/adg/dev/genode/genode/repos/base-sel4'* *checking library dependencies...* * Library platform* * Library syscall* * Library core_printf* * COMPILE core_printf.o* */usr/local/genode-gcc/bin/genode-x86-g++ -ffunction-sections -fno-strict-aliasing -nostdinc -g -march=i686 -m32 -O2 -MMD -MP -MT 'core_printf.o core_printf.d' -Wall -std=gnu++11 -I. -I/home/adg/dev/genode/genode/repos/base-sel4/src/base/console -I/home/adg/dev/genode/genode/repos/base-sel4/src/core/include -I/home/adg/dev/genode/genode/repos/base-sel4/src/base -I/home/adg/dev/genode/genode/repos/base/src/base/thread -I/home/adg/dev/genode/genode/repos/base-sel4/include -I/home/adg/dev/genode/genode/repos/base/include/spec/x86 -I/home/adg/dev/genode/genode/repos/base/include/spec/x86_32 -I/home/adg/dev/genode/genode/repos/base/include/spec/32bit -I/home/adg/dev/genode/genode/repos/base-sel4/include/sel4 -I/home/adg/dev/genode/genode/repos/base-sel4/include -I/home/adg/dev/genode/genode/repos/base/include -I/usr/local/genode-gcc/bin/../lib/gcc/x86_64-pc-elf/4.9.2/include -c /home/adg/dev/genode/genode/repos/base/src/base/console/core_printf.cc -o core_printf.o* *In file included from /home/adg/dev/genode/genode/repos/base-sel4/include/sel4/arch/types.h:14:0,* * from /home/adg/dev/genode/genode/repos/base-sel4/include/sel4/types.h:15,* * from /home/adg/dev/genode/genode/repos/base-sel4/include/sel4/arch/functions.h:14,* * from /home/adg/dev/genode/genode/repos/base-sel4/src/base/console/core_console.h:18,* * from /home/adg/dev/genode/genode/repos/base/src/base/console/core_printf.cc:23:* */usr/local/genode-gcc/bin/../lib/gcc/x86_64-pc-elf/4.9.2/include/stdint.h:9:26: error: no include path in which to search for stdint.h* * # include_next <stdint.h>* * ^* *In file included from /home/adg/dev/genode/genode/repos/base-sel4/include/sel4/types.h:16:0,* * from /home/adg/dev/genode/genode/repos/base-sel4/include/sel4/arch/functions.h:14,* * from /home/adg/dev/genode/genode/repos/base-sel4/src/base/console/core_console.h:18,* * from /home/adg/dev/genode/genode/repos/base/src/base/console/core_printf.cc:23:* */home/adg/dev/genode/genode/repos/base-sel4/include/sel4/types_gen.h:4:20: fatal error: assert.h: No such file or directory* * #include <assert.h>* * ^* *compilation terminated.* *make[3]: *** [core_printf.o] Error 1* *make[2]: *** [core_printf.lib] Error 2* *make[1]: *** [gen_deps_and_build_targets] Error 2* *make[1]: Leaving directory `/home/adg/dev/genode/genode/repos/base-sel4'* *Error: Genode build failed* *make: *** [run/test] Error 252* Thanks a lot in advance.

1 0

genode bare hardware on the odroids - howto?
by Suriyan Ramasami 19 Oct '15

19 Oct '15

Hello wonderful people! Greetings and thanks for the awesome work with genode. I have been trying to run genode on bare hardware on the odroids -> odroid-x2/odroid-xu for which I presume - they are already supported (the release notes mention them). What is missing is a step by step guide of building say, nested_init or a simpler printf application which shows some output when run from the uboot prompt. I tried following the instructions as mentioned in http://genode.org/documentation/platforms/hw (it generates an elf file, but then passing RUN_OPT="--target uboot" did not create the uImage file. Well, I did convert the elf to a bin file with objcopy and then converted that to an uImage file with mkimage. Am not sure if that is correct. What, I ask is, is there a step by step which will get me an UART output from genode on any of the supported odroid's using the latest genode code from git? Any pointers to such a doc would be immensely helpful to me as I would like to explore genode. Thanks in advance! Regards - Suriyan

3 2

strance error when running Nova + Genode + Seoul (scenarion : seoul-auto.run)
by Parfait Tokponnon 15 Oct '15

15 Oct '15

Hello, Can anyone help out? I ran the "make run/seoul-auto.run" in my nova_x86_64 build directory and nearly at the end of the process i got this error: make: *** [run/seoul-auto] Erreur 253 (please find below a sample of the trace from the serial output) I also attached the complete trace. Can anyone help me solve the problem? I work on Ubuntu 12.04. //error ... ... .... [init -> seoul] VMM: # rtc_cmos rtc_cmos: setting system clock to 2015-10-09 17:16:38 UTC (1444410998) [init -> seoul] VMM: # RAMDISK: ext2 filesystem found at block 0 [init -> seoul] VMM: # RAMDISK: Loading 20704KiB [1 disk] into ram disk... / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / [init -> seoul] VMM: # | / Booting Core 4.7.7 [init -> seoul] VMM: # Running Linux Kernel 3.1.0. [init -> seoul] VMM: # Checking boot options...Done. [init -> seoul] VMM: # Starting udev daemon for hotplug support...| [init -> seoul] VMM: # | Done. [init -> seoul] VMM: # modprobe: chdir(3.1.0): No such file or directory [init -> seoul] VMM: # modprobe: chdir(3.1.0): No such file or directory Error: Spawned process died unexpectedly make: *** [run/seoul-auto] Erreur 253 -- Parfait T.

2 4

Turmvilla scenario
by Vincent Digital 12 Oct '15

12 Oct '15

Hi, Can anyone help out. I'm trying to create the Turmvilla scenario on my Lenovo X201 By following the setup file as compiled by@...357... <https://github.com/cproc>: https://github.com/cproc/genode/blob/vbox_vm_linux/doc/virtualbox_setup.txt I'm trying to understand these parts of the instructions, a bit confusing : After creating the 3 partitions and installing the *Create the Linux VM* * - attach the 3 image files from the /genode directory * * >>> How do I attach the image files "linux.vdi" and "home.vmdk" to the same Linux VM. "linux.vdi" is of 32 GB while >>>"home.vmdk" is created from /dev/sda2 (at the host disk) which is 60 GB. I tried to attach both image files to the same >>> SATA controller using the **storage settings of the VM - is this correct ?* * - add a permanent shared folder (for the generated Genode binaries) - start the VM - install Linux - if the Linux installer supports it, create an encrypted /home partition on /dev/sdb * * >>> "/dev/sdb" refers to the partition within the Guest Linux VM that I am installing ? Is it referring to the "home.vmdk" ?** >>> How do I specify /home on this partition /dev/sdb ? There are no options for input of this folder name.* *Appreciate if someone can help. Thanks so much.*

3 5

Library-description file virtualbox-hwaccl.mk is missing
by Andrey Voronin 12 Oct '15

12 Oct '15

I'm build GENODE with Muen kernel - hw_x86_64_muen. My host system is Linux Mint 17.2 64-bit. make -j8 run/virtualbox including /home/user/genode-turmvilla/tool/run/boot_dir/hw including /home/user/genode-turmvilla/tool/run/power_on/qemu including /home/user/genode-turmvilla/tool/run/log/qemu including /home/user/genode-turmvilla/tool/run/image/iso including /home/user/genode-turmvilla/repos/ports/run/virtualbox.run building targets: core init virtualbox drivers/framebuffer drivers/timer drivers/input drivers/rtc drivers/platform spawn make core init virtualbox drivers/framebuffer drivers/timer drivers/input drivers/rtc drivers/platform make[1]: Вход в каталог `/home/user/genode-turmvilla/muen' make[1]: предупреждение: сервер задач недоступен: используется -j1. Добавьте `+' к правилу в родительском make. checking library dependencies... Skip target drivers/framebuffer/exynos5 because it requires exynos5 Skip target drivers/framebuffer/imx53 because it requires imx53 Skip target drivers/framebuffer/omap4 because it requires omap4 Skip target drivers/framebuffer/pl11x/pbxa9 because it requires pl11x platform_pbxa9 Skip target drivers/framebuffer/pl11x/vpb926 because it requires pl11x platform_vpb926 Skip target drivers/framebuffer/rpi because it requires platform_rpi Skip target drivers/framebuffer/sdl because it requires linux sdl Skip target drivers/input/imx53 because it requires imx53 Skip target drivers/input/ps2/pl050 because it requires pl050 Skip target drivers/platform/arndale because it requires platform_arndale Skip target drivers/platform/imx53 because it requires imx53 Skip target drivers/platform/odroid_x2 because it requires platform_odroid_x2 Skip target drivers/platform/rpi because it requires platform_rpi Skip target drivers/platform/x86/device_pd because it requires nova Library-description file virtualbox-hwaccl.mk is missing Library platform Library cxx Library base-common Library syscall Library startup Library base Library blit Library x86emu Library config Program drivers/framebuffer/vesa/fb_drv Library server Program drivers/input/dummy/dummy_input_drv Program drivers/input/ps2/x86/ps2_drv Program drivers/platform/x86/platform_drv Program drivers/rtc/x86/rtc_drv Library alarm Library timer Program drivers/timer/timer Library init_pd_args Program init/init Library core-perf_counter Library core-muen_on COMPILE version.o MERGE core-muen_on.lib.a Library core-muen Library core Program core/core LINK core make[1]: Выход из каталога `/home/user/genode-turmvilla/muen' genode build completed cp: не удалось выполнить stat для «bin/virtualbox»: Нет такого файла или каталога while executing "exec cp bin/$binary [run_dir]/genode" (procedure "copy_and_strip_genode_binaries_to_run_dir" line 4) invoked from within "copy_and_strip_genode_binaries_to_run_dir $binaries" (procedure "run_boot_dir" line 14) invoked from within "run_boot_dir $binaries" (procedure "build_boot_image" line 2) invoked from within "build_boot_image $boot_modules" (file "/home/user/genode-turmvilla/repos/ports/run/virtualbox.run" line 152) invoked from within "source $include_name" ("foreach" body line 6) invoked from within "foreach include_name [get_cmd_arg --include ""] { # first check if the include name is absolute if {[string first "/" $include_name] == 0} { puts ..." (file "/home/user/genode-turmvilla/tool/run/run" line 636) make: *** [run/virtualbox] Ошибка 1 What could be the problem?

2 1

run/noux_bash error
by Abhay Amala 09 Oct '15

09 Oct '15

Hello All, I am trying to run *run/noux_bash* on Linux. it compiles fine, but throws an exception "*[init -> fb_sdl] input overflow - resetting queue*" when it runs. Can you please give me any idea? here goes the output if it is required. genode build completed spawn ./core Genode 15.08 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 17592186044415 MB to init int main(): --- init created, waiting for exit condition --- [init] parent provides [init] service "ROM" [init] service "LOG" [init] service "CAP" [init] service "RAM" [init] service "RM" [init] service "CPU" [init] service "PD" [init] service "IRQ" [init] service "IO_PORT" [init] service "IO_MEM" [init] service "SIGNAL" [init] child "timer" [init] RAM quota: 876544 [init] ELF binary: timer [init] priority: 0 [init] provides service Timer [init] child "rtc_drv" [init] RAM quota: 876544 [init] ELF binary: rtc_drv [init] priority: 0 [init] provides service Rtc [init] child "fb_sdl" [init] RAM quota: 1925120 [init] ELF binary: fb_sdl [init] priority: 0 [init] provides service Input [init] provides service Framebuffer Quota exceeded! amount=24576, size=4096, consumed=24576 [init] upgrading quota donation for Env::CPU (8192 bytes) [init] child "terminal" [init] RAM quota: 1925120 [init] ELF binary: terminal [init] priority: 0 [init] provides service Terminal [init] child "ram_fs" [init] RAM quota: 10313728 [init] ELF binary: ram_fs [init] priority: 0 [init] provides service File_system Quota exceeded! amount=32768, size=4096, consumed=32768 [init] upgrading quota donation for Env::CPU (8192 bytes) [init] child "noux" [init] RAM quota: 104685568 [init] ELF binary: noux [init] priority: 0 [init -> fb_sdl] Could not open ROM session for module "config" [init -> fb_sdl] Could not obtain config file No protocol specified [init] child "rtc_drv" announces service "Rtc" No protocol specified [init] child "timer" announces service "Timer" [init -> terminal] int main(int, char**): --- terminal service started --- [init -> noux] --- noux started --- [init -> noux] tar archive 'coreutils.tar' local at 2b57aa946000, size is 9246720 [init -> noux] tar archive 'vim.tar' local at 2b57ab228000, size is 20008960 [init -> noux] tar archive 'bash.tar' local at 2b57ac59d000, size is 3604480 [init -> ram_fs] resource_request: ram_quota=2101248 [init] child "ram_fs" requests resources: ram_quota=2101248 [init] child "ram_fs" announces service "File_system" [init -> fb_sdl] creating virtual framebuffer for mode 1024x768@...64... [init] child "fb_sdl" announces service "Framebuffer" [init] child "fb_sdl" announces service "Input" [init -> terminal] cell size is 6x14 [init] child "terminal" announces service "Terminal" [init -> terminal] create terminal session [init -> terminal] new terminal session: [init -> terminal] framebuffer has 1024x768 pixels [init -> terminal] character size is 6x14 pixels [init -> terminal] terminal size is 170x54 characters [init -> fb_sdl] input overflow - resetting queue [init -> fb_sdl] input overflow - resetting queue [init -> fb_sdl] input overflow - resetting queue [init -> fb_sdl] input overflow - resetting queue Best regards, Abhay

3 19

AHCI Driver
by Harm de Vries 08 Oct '15

08 Oct '15

Hello everyone, The error message ``Device does not support native command queuing: abort'' is written repeatedly to the log when I try to read from a SATA disk using the AHCI driver. Is this driver only meant to work with a SATA disk that supports native command queuing (the HBA supports it)? While looking at the code of the driver to determine the cause of the error I noticed that: 1. In ahci.cc en main.cc the word `available' has been misspelt as 'avaiable'. 2. In ahci.h the bitfield that indicates support for native command queuing in the HBA seems to be misspelt as `Sncg'. There is also a function with the name `ncg' and this abbreviation is also used in the function `info'. 3. The struct `Identity' in ahci.h describes the structure of the result of an ATA command. Is there a reason why this struct and the corresponding function `identify_device' are not in the file `ata_driver.h'? Best regards, Harm

2 3

Porting Genode to the ZedBoard
by unknown＠example.com 07 Oct '15

07 Oct '15

Hello Genodians, I am trying to port Genode to the ZedBoard, but currently I am having some problems to get the UART online. My starting point is this mail: <http://sourceforge.net/p/genode/mailman/message/33222798/> and as a reference I use the Pandaboard, because it has also a Cortex A9. So is it right, that the board_base.h is in some way like a devicetree file? If this is the case, how can I add some other devices like Ethernet, OLED-Display or the FPGA? Is there some more documentation on how to port Genode to another hardware? To come back to the UART: I hope that I can use the PL011 driver, because the ZedBoard does not have the TL16C750 chip from the Pandaboard (the ZedBoard has a Ti TUSB1210 chip). So is this possible? I think I already have the right base addresses from the technical reference manual, but I am still not getting on how to set the clock and the interrupts. Looking forward to your replies.

2 1

Using ARM/Neon fp hardware with libc
by unknown＠example.com 07 Oct '15

07 Oct '15

Hi all, I'm exploring compiling a couple of targets in my Genode, base-hw system to use the hardware fp in the Neon coprocessor on an ARM Cortex A8 SOC, to get some performance improvement. I can add the CC_OPT line containing -mfloat-abi=hard and -mfu=neon-vfpv4 to appropreate target.mk. That should result in the Neon fp unit being called to perform the calculations. If I want use libc math functions I assume I must recompile libc with the same compile options added. Are there build variables that allow me to do that to the libc library? I'm currently building on Genode 15.02. Thanks for any info. Bob Stewart Sent from my android device.

4 9

Genode on Muen issues
by Lonnie Cumberland 07 Oct '15

07 Oct '15

Hi All, Today, I am investigating the use of Genode on Muen as that sounds like a very interesting project in the separations kernel arena. With this in mind, I have started by looking at the: genode/repos/base-hw/doc/x86_64_muen.txt In that document, it says to start by getting the muen repository git clone http://git.codelabs.ch/git/muen.git I started that seem to have gotten most of the repository but the muen.git calls for another git clone: ------------------------------------------------- lonnie@...355...:~$ git clone --recursive http://git.codelabs.ch/git/muen.git Cloning into 'muen'... Checking connectivity... done. Submodule 'components/linux/src' (http://git.codelabs.ch/git/muen/linux.git) registered for path 'components/linux/src' Cloning into 'components/linux/src'... --------------------------------------------------- this is where it seems to hang. I am wondering if anyone else has run across this and, if so, then what was your solution? I want to play around with muen a bit, but would wonder if it might, eventually be possible to get virtualbox/genode/muen working since from what I have read on muen, that it still needs a bit of work to support other VM's beyond the simple xv6 VM which apparently was modified to make work (if I understand what was said in the Auguse 29, 2013 muen-report pdf document. Any ideas on this? Kind Regards and have a great day, Lonnie

2 1

Announcement: Genode OS Framework version 15.08 released
by Christian Helmuth 06 Oct '15

06 Oct '15

The current release is characterized by our efforts to use Genode as day-to-day operating system. From this background, we packed quite a few improvements regarding user GUI experience, VirtualBox robustness and performance, integration of native Genode applications and guest OSes as well as tools to inspect the system behavior into Genode 15.08. Beyond that, we're proud to integrate community contributions as the support to run Genode base-hw on the Muen separation kernel on x86_64 and extended device-driver support for Raspberry Pi and Odroid-X2. In short, version 15.08 comes with the following highlights: - Genode/NOVA used as day-to-day operating system - Genode on top of the Muen separation kernel - Kernel-resource management on NOVA and our custom base-hw kernel - Base framework and low-level OS infrastructure - Improved audio support - Unified networking components - Enhanced tracing and file-system facilities - Low-complexity software rendering - Device drivers - Raspberry Pi and Odroid-X2 on Fiasco.OC, including USB support - BCM57cxx network cards - VirtualBox - Guest-host integration (policy-based mouse shapes, dynamic adaptation to screen size changes, audio) - Multi-processor support Those and many more improvements are illustrated by the release documentation http://genode.org/documentation/release-notes/15.08 Best regards -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://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

3 4

(no subject)
by Lonnie Cumberland 06 Oct '15

06 Oct '15

Hello All, I hope that everyone's week is starting off well. I am currently working on getting VirtualBox/Genode/NOVA compiled up and am trying to "prepare_port libc" but have found that the http://svn.freebsd.org/base/release/8.2.0/lib/libc seems to be unstable and times out a lot while trying to download the library. Is there an alternate location that I can get the libc library from? Kind Regards and have a great day, Lonnie :)

3 5

[genode] base-hw: SMP support on I.MX6
by Le Guan 05 Oct '15

05 Oct '15

Hello everyone, I wonder if the current release supports SMP in base-hw. I read from the genode book that base-hw has well supported SMP long time ago. But the default configure in wandBoard sets NR_OF_CPUS to 1. When I change that value to 4 and implement several auxiliary SMP functions and run the program, there seems to be some error happen. Below is the output: core 0 enabled kernel initialized core 1 enabled core 2 enabled core 3 enabled Genode 15.08-25-g5cf8c49 <local changes> int main(): --- create local services --- int main(): --- start init --- The booting is stuck here. I have implemented the corresponding Cpu::start_secondary_cpus, Cpu::primary_id() and Cpu::executing_id(). What else should I implement to boot SMP? Thanks in advance! Best regards, Le Guan

2 4

Trying to get virtualbox to compile with NOVA
by Lonnie Cumberland 04 Oct '15

04 Oct '15

Hi All, I am trying to get VirtualBox to compile with NOVA on my Ubuntu 14.04 system. I have: 1. lonnie@...355...:~/genode$ tool/ports/prepare_port virtualbox virtualbox download http://download.virtualbox.org/virtualbox/4.3.16/VirtualBox-4.3.16.tar.bz2 virtualbox extract VirtualBox-4.3.16.tar.bz2 (virtualbox) virtualbox download http://download.virtualbox.org/virtualbox/4.3.16/VirtualBoxSDK-4.3.16-95972… virtualbox extract VirtualBoxSDK-4.3.16-95972.zip (virtualbox_sdk) 2. lonnie@...355...:~/genode$ tool/ports/prepare_port libc libc download http://svn.freebsd.org/base/release/8.2.0/lib/libc libc download http://svn.freebsd.org/base/release/8.2.0/lib/libutil libc download http://svn.freebsd.org/base/release/8.2.0/include libc download http://svn.freebsd.org/base/release/8.2.0/sys/sys libc download http://svn.freebsd.org/base/release/8.2.0/sys/rpc . . . 3. lonnie@...355...:~/genode/build/nova_x86_64$ make run/virtualbox including /home/lonnie/genode/tool/run/boot_dir/nova including /home/lonnie/genode/tool/run/power_on/qemu including /home/lonnie/genode/tool/run/log/qemu including /home/lonnie/genode/tool/run/image/iso including /home/lonnie/genode/repos/ports/run/virtualbox.run building targets: core init virtualbox drivers/framebuffer drivers/timer drivers/input drivers/rtc drivers/platform drivers/acpi server/report_rom drivers/platform/spec/x86/device_pd spawn make core init virtualbox drivers/framebuffer drivers/timer drivers/input drivers/rtc drivers/platform drivers/acpi server/report_rom drivers/platform/spec/x86/device_pd make[1]: Entering directory `/home/lonnie/genode/build/nova_x86_64' checking library dependencies... Skip target drivers/framebuffer/spec/exynos because it requires exynos Skip target drivers/framebuffer/spec/imx53 because it requires imx53 Skip target drivers/framebuffer/spec/omap4 because it requires omap4 Skip target drivers/framebuffer/spec/pl11x/pbxa9 because it requires pl11x pbxa9 Skip target drivers/framebuffer/spec/rpi because it requires rpi Skip target drivers/framebuffer/spec/sdl because it requires linux sdl Skip target drivers/input/spec/imx53 because it requires imx53 Skip target drivers/input/spec/ps2/pl050 because it requires pl050 Skip target drivers/platform/spec/arndale because it requires arndale Skip target drivers/platform/spec/imx53 because it requires imx53 Skip target drivers/platform/spec/odroid_x2 because it requires odroid_x2 Skip target drivers/platform/spec/rpi because it requires rpi /home/lonnie/genode/repos/libports/lib/import/import-stdcxx.mk:8: *** Error: stdcxx is not prepared or outdated. Stop. make[1]: *** [traverse_dependencies] Error 1 make[1]: Leaving directory `/home/lonnie/genode/build/nova_x86_64' Error: Genode build failed make: *** [run/virtualbox] Error 252 I am getting an error with the stdcxx and am not sure what I might have missed. Can someone please give me an idea as to what may be happening here? Kind Regards and have a great day, Lonnie

2 2

exploring Mesa in Genode
by Jamey Sharp 03 Oct '15

03 Oct '15

Good day all! By way of introduction: I learned about Genode because of the recent release's experimental support for seL4. Then I noticed that one of the open challenges is to implement a better architecture for direct-rendered 3D. I've been hacking on X for years and wanting to play with 3D on a microkernel, so now I'm trying to figure out what it'd take to tackle the Mesa rework challenge. As a first step, I had trouble following the "getting started" directions. I've filed/commented on GitHub issues for code related things. In the web site documentation, you might mention that you're relying on SDL version 1.2, not the current version 2.0 (in Debian, libsdl1.2-dev). And to get the isohybrid tool I needed the Debian package named syslinux-utils. http://genode.org/documentation/developer-resources/getting_started Now that I can run the linux_x86 and okl4_x86 demos, what steps would you recommend for trying to prototype a multi-process 3D infrastructure? Jamey

6 19

Procedure to build and run virtualbox/genode/nova
by Lonnie Cumberland 02 Oct '15

02 Oct '15

Greetings All, Let me first say that I really like the Genode-Foundations 15.05 manual and have worked thorugh the first part through section 2.4 which ends with making NOVA and booting it with the Demo I know that this question has been asked but searching back through the mailing list archives, I cannot seem to locate a clear procedure to set up and run virtualbox under genode under nova. In one mailing list discussion it said to go into the $ cd <genode>/repos/ports $ run/virtualbox and then with a test.iso (tinycore_x86_64.iso) in bin (assuming <genode>/build/nova_x86_64) Perhaps I am missing something, but this did not work? Is there any documentation on the website that I might be able to look at to get an idea? Sorry for the simple questions (in the learning curve now for Genode) as I am trying to get a good understanding of Genode and how it operates as I think that it will be very good for the project that I am working on at the moment. Kind Regards and have a great day, Lonnie

1 0

Genode on NOVA or MUEN for Cluster Project
by Lonnie Cumberland 01 Oct '15

01 Oct '15

Hi All, Hope that everyone is having a great day. For a very long time now I have been wanting to put together a distributed system cluster project in the form of a Type-1 Hypervisor that would allow for the utilization of commodity desktops that could run 2 or more VMM's concurrently. After some very in-depth and wonderful discussions with Norman Feske about what I would like to accomplish, in the general scope, Norman suggested that I present my ideas for the project to the Genode mailing list to get some community input and possible suggestions on the best approach to move things forward. Based upon what I would like to see for the project, I have been looking at various systems in particular like the NOVA Microhypervisor. I also like what I have seen in the Genode framework and now see that they have good support for VirtualBox as well. In the past, and while digging into NOVA by itself, I downloaded a demo of a very crude system along these lines can be found with the NUL (NOVA UserLand) demo at: http://os.inf.tu-dresden.de/~kauer/nova/ and look at the NUL 0.3 Demo CD (http://os.inf.tu-dresden.de/~jsteckli/nova/NOVA-0.3.iso.bz2) which you can boot (RAM-based) but boot using the “VESA, Broken keyboard” which seems to work, at least here it did. In running the NUL v0.3 NOVA demo, it loads up the NOVA kernel followed by the a piece called "sigma0" which basically handles the instantiation of the various VM's running under their Vancouver VMM. The sigma0 application allows for the context switching of the virtual consoles and I have been able to completely compile the entire NUL sources on a Ubuntu 14.04 hardware test/development-bed that I set up which can reproduce the NUL v0.3 demo iso which can also be run under QEMU as well. With this basic stuff working to get a feel for things, I next wanted to see about building up a new combination that work work just like the NUL v0.3 demo, but have something much more advanced in place. My idea is to have NOVA as the microhypervisor, and in place of the "tutor" instance in the v0.3 demo have Genode for some windowing and user input, as well as to have VirtualBox as the VMM for 2 or more OS instances with one for Windows XP/7 and one for Linux being the background clustering instance. I am hoping that with the sigma0.nul application running on NOVA that I "might" be able to switch consoles through the Genode (nitpicker), Windows XP/7, and Linux, but am not sure on this part. It is very important that the consoles be swtichable with each being fullscreen like in the demo from the NOVA NUL v0.3 as this is a key requirement for the project. Also, I have just run across MUEN which now seems to be supported by Genode 15.08 and which runs Genode in user-space as well which might be some type of a possible option instead of NOVA, but I have not really looked into this yet. Any ideas, suggestions, or comments would be greatly appreciated as way to get the project moving forward. Thanks again and have a wonderful day, Lonnie

1 0

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users October 2015