users

users@lists.genode.org

2 participants
2342 discussions

QEMU instead of VirtualBox
by Jookia 09 Nov '15

09 Nov '15

Hey there, Given VirtualBox requires nonfree dependencies to be built, would it be worth having a port of QEMU running on Genode instead? How hard would it be to set this up? Cheers, Jookia.

1 0

Nitpicker changes
by Norman Feske 05 Nov '15

05 Nov '15

Hello, with the incorporation of my recent work on issue #1690 [1] into the master branch, the use and configuration of the nitpicker GUI server has changed. [1] https://github.com/genodelabs/genode/issues/1690 Up to now, nitpicker used to handle the so-called X-ray mode internally. When activated by the user by pressing a configurable key, this mode tinted all views with domain colors and added labeling information to all views. It was meant to assist the user with uncovering Trojan Horses. However, the built-in policy started to stand in our way when implementing advanced scenarios like Turmvilla [2]. Here, we want to be more flexible with how the X-ray mode is activated, and how it affects the behavior of the user interface. For example, the delivery of hovering motion events to unfocused sessions, the ability to change the input focus by clicking on a unfocused view, the suppression of the labeling for trusted parts of the GUI. Building-in all those "features" into nitpicker would ultimately increase its complexity, and still fail to cover all thinkable use cases. To avoid that, I removed the notion of the X-ray mode altogether but added all the various aspects of the policy as explicit attributes of nitpicker's domain configuration. The idea is that the notion of the X-ray mode is provided by a separate component (xray_trigger), which reconfigures nitpicker each time when the X-ray mode is toggled. The X-ray trigger component contains the policy of when the X-ray mode is activated. E.g., by interpreting certain global keys. It simply produces an X-ray report that tells whether X-ray is active or not. The reconfiguration of nitpicker is done by a separate component that takes the information of the X-ray report and generates a nitpicker configuration. To avoid this component to be nitpicker-specific, I came up with a generic 'rom_filter', which is able to generate a ROM module with arbitrary XML, depending on other ROM modules, like the X-ray report. The output of the ROM filter is fed to nitpicker as configuration. Granted, to achieve the original effect as present in the demo.run script, the scenario becomes more complicated because we have to start the xray_trigger and rom_filter in addition to nitpicker. However, we gain a lot of flexibility that can now be expressed by the means of combining and configuring those components. To see the interplay of those components to emulate the original behavior, please have a look at the os/run/demo.run script. Most other run scripts use nitpicker solely as an output facility. Here, the X-ray mode is actually unimportant and it suffices to set up the nitpicker configuration in a way that allows for basic interactions. For example, the following configuration can be used as a template: <config> <domain name="pointer" layer="1" content="client" label="no" origin="pointer" /> <domain name="default" layer="2" content="client" label="no" hover="always" focus="click" /> <policy label="pointer" domain="pointer"/> <policy label="" domain="default"/> </config> It assigns the pointer to its dedicated domain, using the pointer position of the origin of its coordinate space. All regular clients end up in the "default" domain, their content is presented as is (not tinted) without any labeling, motion events are delivered to the clients whether they are focused or not, and a client can be focused by clicking onto one of its views. As for a more sophisticated example, I have incorporated the new concept into my Turmvilla branch [2] where not only nitpicker but also the window decorator dynamically responds to the X-ray mode. Here, X-ray is activated whenever the pointer hovers a window decoration, which illustrates quite well the flexibility of the new approach. [2] https://github.com/genodelabs/genode/issues/1552 Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

Cache lock-down on Pandaboard.
by Daniel Sobański 04 Nov '15

04 Nov '15

Hi there, Is there a way to lock L2 cache on Pandaboard ES with running Ubuntu there? TRM says that it is possible, but I don't know it feasible on Pandaboard. I've tried to compile kernel object and set there bits in Auxiliary Control Register using cp15, but it's RO I suppose, because I cannot write there. CPSR says I am in a Privilige mode, but i guess that's a non-secure Privilige mode? How to use that PL310 cache controller to do that? Do I need to use TrustZone somehow? When compile SMC #1 instruction using asm volatile(...) when compiling natively on Panda, when trying to taskset this Panda is not responding. Cheers,

1 0

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

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users