users May 2018

users@lists.genode.org

18 participants
13 discussions

Memory Page Fault
by Chris Rothrock 18 Jun '18

18 Jun '18

I have been having a problem with Genode/NOVA demo booting using a custom boot module we are developing ever since Genode 17.08 was released and I was hoping to get some help tracing down the problem on the Genode side with this issue. Listed below is the output of two boots of the same build of the demo (in this case 17.11), one without our custom SABLE bootloader, one with. Before 17.08, the hand-off from SABLE to the NOVA kernel was fine, Genode booted and the demo ran as it should have. Now I get PAGE FAULT errors. I also tried downloading the previous version, 17.05 and recreating this build but still get errors, and from what I can tell, this is because the latest NOVA port gets brought in so I believe the problem resides with the way that the NOVA kernel handles modules already in memory at load time of the kernel that is causing this page fault. Are there any thoughts or leads you can assist with in this? As a side note, this SABLE boot loader module loads the Linux kernel flawlessly. Chris Rothrock ########################################################## ### Without SABLE Boot Module ### ########################################################## NOVA Microhypervisor v7-ef4b287 (x86_32): May 10 2018 10:39:11 [gcc 6.3.0] [MBI] [ 0] TSC:3593297 kHz BUS:99813 kHz (measured) [ 0] CORE:0:0:0 15:38:1:0 [0] AMD PRO A10-8750B R7, 12 Compute Cores 4C+8G [ 1] CORE:0:1:0 15:38:1:0 [0] AMD PRO A10-8750B R7, 12 Compute Cores 4C+8G [ 3] CORE:0:3:0 15:38:1:0 [0] AMD PRO A10-8750B R7, 12 Compute Cores 4C+8G [ 2] CORE:0:2:0 15:38:1:0 [0] AMD PRO A10-8750B R7, 12 Compute Cores 4C+8G Hypervisor features SVM Hypervisor reports 4x1 CPUs CPU ID (genode->kernel:package:core:thread) remapping remap (0->0:0:0:0) boot cpu remap (1->1:0:1:0) remap (2->2:0:2:0) remap (3->3:0:3:0) Hypervisor info page contains 27 memory descriptors: core image [00100000,007d4000) binaries region [0022f000,007d4000) free for reuse detected physical memory: 0x00000000 - size: 0x0009e800 use physical memory: 0x00000000 - size: 0x0009e000 detected physical memory: 0x00100000 - size: 0xac722000 use physical memory: 0x00100000 - size: 0xac722000 detected physical memory: 0xadb93000 - size: 0x00001000 use physical memory: 0xadb93000 - size: 0x00001000 detected physical memory: 0xadd9a000 - size: 0x00156000 use physical memory: 0xadd9a000 - size: 0x00156000 detected physical memory: 0xae825000 - size: 0x0004b000 use physical memory: 0xae825000 - size: 0x0004b000 detected physical memory: 0xaeff1000 - size: 0x0000f000 use physical memory: 0xaeff1000 - size: 0x0000f000 detected physical memory: 0x00000000 - size: 0x40000000 ROM modules: ROM: [003a2000,003bad70) acpi_drv ROM: [006f3000,006f4d64) config ROM: [00015000,00016000) core_log ROM: [006f5000,00740dfc) fb_drv ROM: [007a4000,007c5810) global_keys_handler ROM: [00013000,00014000) hypervisor_info_page ROM: [0087e000,008bf238) init ROM: [007c6000,0087d554) launchpad ROM: [00648000,00648253) launchpad.config ROM: [00595000,00647c64) ld.lib.so ROM: [00741000,0078621c) liquid_fb ROM: [00332000,003440c0) nit_focus ROM: [00345000,00363af8) nitlog ROM: [00649000,00692c34) nitpicker ROM: [006a9000,006f23f0) platform_drv ROM: [0000e000,0000f000) platform_info ROM: [003bb000,003dbdb8) pointer ROM: [00364000,003887b0) ps2_drv ROM: [00389000,003a1db8) report_rom ROM: [008c0000,008d6500) rom_filter ROM: [003dc000,0057e8bc) scout ROM: [00787000,007a3fd4) status_bar ROM: [0057f000,00594c08) testnit ROM: [00693000,006a8f68) timer Genode 17.11-221-g8d09d02 <local changes> 2718 MiB RAM and 63829 caps assigned to init [init -> acpi_drv] Found MADT [init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0 [init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 15 [init -> acpi_drv] Found MCFG [init -> acpi_drv] MCFG BASE 0xe0000000 seg 0x0 bus 0x0-0xff [init -> platform_drv] 0:14.4 - bridge 1:0.0 [init -> platform_drv] 0:15.0 - bridge 2:0.0 [init -> platform_drv] 0:15.2 - bridge 3:0.0 [init -> fb_drv] Found PCI VGA at 00:01.0 [init -> fb_drv] fb mapped to 0x1000 [init -> ps2_drv] Using keyboard with scan code set 1 (xlate) [init -> ps2_drv] Warning: could not reset mouse (missing ack) [init -> ps2_drv] Error: failed to read from port [init -> ps2_drv] Warning: could not reset mouse (unexpected response) [init -> ps2_drv] Error: failed to read from port [init -> ps2_drv] Warning: could not enable stream [init -> fb_drv] Found: VESA BIOS version 3.0 [init -> fb_drv] OEM: AMD ATOMBIOS [init -> platform_drv] PS2 uses IRQ, vector 0x1 [init -> platform_drv] PS2 uses IRQ, vector 0xc [init -> ps2_drv] Warning: setting of mode indicators failed (0xed) [init -> ps2_drv] Warning: setting of mode indicators failed (0xed) [init -> ps2_drv] Warning: setting of mode indicators failed (0xed) [init -> fb_drv] Found: physical frame buffer at 0xc0000000 size: 16777216 [init -> fb_drv] fb mapped to 0xb0000000 [init -> fb_drv] using video mode: 1920x1080@16 [init -> scout] png is 101 x 92, depth=8 ########################################################## ### With SABLE Boot Module ### ########################################################## NOVA Microhypervisor v7-ef4b287 (x86_64): Feb 9 2018 14:02:24 [gcc 6.3.0] [MBI] [ 0] TSC:3593306 kHz BUS:99814 kHz (measured) [ 0] CORE:0:0:0 15:38:1:0 [0] AMD CPU booted by SABLE [ 1] CORE:0:1:0 15:38:1:0 [0] AMD CPU booted by SABLE [ 2] CORE:0:2:0 15:38:1:0 [0] AMD PRO A10-8750B R7, 12 Compute Cores 4C+8G [ 3] CORE:0:3:0 15:38:1:0 [0] AMD PRO A10-8750B R7, 12 Compute Cores 4C+8G Hypervisor features SVM Hypervisor reports 4x1 CPUs CPU ID (genode->kernel:package:core:thread) remapping remap (0->0:0:0:0) boot cpu remap (1->1:0:1:0) remap (2->2:0:2:0) remap (3->3:0:3:0) Hypervisor info page contains 27 memory descriptors: core image [0000000000100000,0000000000902000) binaries region [000000000027a000,0000000000902000) free for reuse detected physical memory: 0x0000000000000000 - size: 0x000000000009e800 use physical memory: 0x0000000000000000 - size: 0x000000000009e000 detected physical memory: 0x0000000000100000 - size: 0x00000000ac722000 use physical memory: 0x0000000000100000 - size: 0x00000000ac722000 detected physical memory: 0x00000000adb93000 - size: 0x0000000000001000 use physical memory: 0x00000000adb93000 - size: 0x0000000000001000 detected physical memory: 0x00000000add9a000 - size: 0x0000000000156000 use physical memory: 0x00000000add9a000 - size: 0x0000000000156000 detected physical memory: 0x00000000ae825000 - size: 0x000000000004b000 use physical memory: 0x00000000ae825000 - size: 0x000000000004b000 detected physical memory: 0x00000000aeff1000 - size: 0x000000000000f000 use physical memory: 0x00000000aeff1000 - size: 0x000000000000f000 detected physical memory: 0x0000000100000000 - size: 0x0000000040000000 use physical memory: 0x0000000100000000 - size: 0x0000000040000000 ROM modules: ROM: [0000000000351000,0000000000370210) acpi_drv ROM: [0000000000719000,000000000071ad61) config ROM: [00000000addb0000,00000000addb1000) core_log ROM: [000000000071b000,0000000000778ed0) fb_drv ROM: [00000000007ed000,00000000008173a8) global_keys_handler ROM: [00000000addae000,00000000addaf000) hypervisor_info_page ROM: [00000000008df000,0000000000933380) init ROM: [0000000000818000,00000000008de1c0) launchpad ROM: [0000000000646000,0000000000646252) launchpad.config ROM: [0000000000565000,0000000000645908) ld.lib.so ROM: [0000000000779000,00000000007c9638) liquid_fb ROM: [00000000002ca000,00000000002dfc70) nit_focus ROM: [00000000002e0000,0000000000302fd0) nitlog ROM: [0000000000647000,00000000006a1500) nitpicker ROM: [00000000006be000,00000000007185d0) platform_drv ROM: [00000000addac000,00000000addad000) platform_info ROM: [0000000000371000,00000000003986e0) pointer ROM: [0000000000303000,0000000000330108) ps2_drv ROM: [0000000000331000,0000000000350198) report_rom ROM: [0000000000934000,00000000009516d8) rom_filter ROM: [0000000000399000,000000000054a9f8) scout ROM: [00000000007ca000,00000000007ec1e0) status_bar ROM: [000000000054b000,0000000000564aa8) testnit ROM: [00000000006a2000,00000000006bdfb8) timer Genode 17.11-221-g8d09d02 <local changes> 3740 MiB RAM and 63253 caps assigned to init Error: PAGE-FAULT IN CORE addr=0xc0 ip=0x1b1950 (read) stack pointer 0xa02fe6f8, qualifiers 0x4 irUwp faulter utcb 0xa02ff000, last message item count 1 0 - type=0x1 rights=0x3 region=0x80000+0x4000 hotspot=0x0(0x801) - delegated #1 0x00000000a02fe6f8 0x00000000001b1950 #2 0x00000000a02fe6f8 0x000000000017ecac -- Thank You, Chris Rothrock Senior System Administrator (315) 308-1637

2 8

package dependencies
by Stefan Thöni 01 Jun '18

01 Jun '18

Hi, I ran into a problem when a genode package (pkg) was named both in parent pkg and it's child pkg like this: pkg/A/archives: _/pkg/B _/pkg/C pkg/B/archives: _/pkg/C pkg/C/archives: _/src/D When creating A, make complained of "recursive package dependency" but I'm sure there is no recursion. I then checked tool/depot/mk/dependencies.inc, 121L which yields that error and it looks to me as that code would always detect a paket named twiced in the dependency graph as recursive dependency. Is this intended? And if so, how should we deal with it? Regards Stefan -- Freundliche Grüsse Stefan Thöni Senior Security Architect +41 79 610 64 95 gapfruit AG Baarerstrasse 135 6300 Zug https://gapfruit.com

2 1

Announcement: Genode OS Framework version 18.05 released
by Christian Helmuth 31 May '18

31 May '18

We are proud to announce the next step in the Year of Sculpt with the release of Genode 18.05 and Sculpt for The Curious (TC). This incarnation of Genode as a general-purpose operating system comes with a new graphical user interface, which enables the user to interactively perform fundamental tasks like storage and network connectivity management as well as installation and deployment of software. The resulting system uncovers the flexibility of Genode with easiness and fun. Beside Sculpt TC the release comes with the following highlights. - New revision of the Genode Foundations book - Storage - Enhanced VFS library and plugin interface - New audit and copy-on-write VFS plugins - Creating and modifying GUID partition tables on target - Dynamic reconfiguration of user-level network routing - GUI stack - UTF-8 support for graphical components - New font-rendering and text-output facilities - Modernized API for input-event processing - Device drivers - NVMe storage devices - Improved USB-storage driver - PCI access via ECAM/MMCONF - Libraries and Applications - Packaged Qt5 framework - New Java language support - Improved Ada language support - Updated Seoul VMM on NOVA - Updated seL4 kernel to version 9.0.1 - Updated Muen separation kernel All details can be found in the release documentation available at https://genode.org/documentation/release-notes/18.02 Happy sculpting -- Christian Helmuth Genode Labs https://www.genode-labs.com/ · https://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 1

Shared folder in Sculpt
by Pirmin Duss 24 May '18

24 May '18

Hello The shared folder mounted in to the virtual machine of sculpt always reports the following data to the df command in the VM: size: 512M free: 512M used: 0 Because of this the file manager will not copy any files larger than 512M to the shared Folder, on the console it is possible though. Best regards, Pirmin

2 1

Errors when adding part_blk to sculpt scenario
by Boris Mulder 17 May '18

17 May '18

Hello, In an experiment I tried making some modifications to sculpt on staging, most notably moving the file system stack onto the bottom-level init. However, opening block sessions with the drivers subsystem fails. Simply said, if I add another part_blk component to sculpt.run as a child of init, and try to connect its Block-session to the drivers subsystem, I get the following error: |Error: init -> drivers: attempt to transfer initial quota|| ||Warning: PD (init -> drivers) RAM limit (used=776K, limit=1089025) exceeded during transfer_quota(4207020)|| ||[init] child "drivers" requests resources: ram_quota=4207020|| ||Error: init -> drivers: attempt to transfer initial quota|| ||Warning: PD (init -> drivers) RAM limit (used=776K, limit=1089025) exceeded during transfer_quota(4207020)|| ||[init] child "drivers" requests resources: ram_quota=4207020|| ||Error: init -> drivers: attempt to transfer initial quota|| ||Warning: PD (init -> drivers) RAM limit (used=776K, limit=1089025) exceeded during transfer_quota(4207830)|| ||[init] Warning: part_blk: could not revert session RAM quota (service=Block cid=6 args='tx_buf_size=4194304, cap_quota=5, label="part_blk -> ", ram_quota=4207830, diag=0' state=SERVICE_DENIED ram_quota=4207830, cap_quota=5)|| ||[init -> part_blk] Error: Block-session creation failed (ram_quota=4208640, cap_quota=5, tx_buf_size=4194304, label="")|| ||[init -> part_blk] Error: Uncaught exception of type 'Genode::Service_denied'|| ||[init -> part_blk] Warning: abort called - thread: ep|| ||[init] child "part_blk" exited with exit value 1| When I run part_blk in the normal fs runtime with fs.config and default_fs_subinit.config (with part_blk not commented out), it works fine. Of course I do not run both at the same time, as the ahci_drv only supports one client at a time. The config snippet I added to sculpt.run just below the drivers init looks as follows (I copied it from default_fs_subinit.config except that my computer has an MBR partition scheme): | <start name="part_blk" caps="100">|| || <resource name="RAM" quantum="10M"/>|| || <provides><service name="Block"/></provides>|| || <config use_gpt="no">|| || <policy label_prefix="vfs" writeable="yes" partition="1"/>|||| || </config>|| || <route>|| || <service name="Block"> <child name="drivers" label="default"/> </service>|| || <any-service> <parent/> </any-service>|| || </route>|| || </start>| I tried giving part_blk more RAM, giving "drivers" more RAM, giving "drivers -> dynamic" more RAM and giving "drivers -> dynamic -> ahci_drv" more as well (by editing the driver_manager), but the error message persists with the same numbers as above. Now I'm stuck on why this error occurs. One possibility is that the driver_manager has not yet loaded the correct policies for the ahci_drv or the config of the subinit and that it has updated them when I change the runtime config to run part_blk. However, I get no other errors, while I would have expected "no matching policy" or "no route" in that case. I tried creating a clean run script with only the drivers_managed-pc package and part_blk inside it. It gives me the same error so it seems to be related to the drivers_managed-pc subsystem. When I run all those drivers directly on top of init, I do not get the error. Can anyone explain what is going on? -- Met vriendelijke groet / kind regards, Boris Mulder Cyber Security Labs B.V. | Gooimeer 6-31 | 1411 DD Naarden | The Netherlands +31 35 631 3253 (office)

3 4

Re: sulpt: send ACPI power off to guest machine
by Alexander Boettcher 14 May '18

14 May '18

Hello, On 11.05.2018 15:12, Duss Pirmin wrote: > Hello Is there a way to send an ACPI power off event to a > running guest to shut it down? I searched the issues and wasn't able to find > anything about it. currently it is only indirectly possible by changing the size of the used framebuffer session to 0 for the width & height, see repos/ports/src/virtualbox5/frontend/console.cc update_video_mode() Cheers, -- Alexander Boettcher Genode Labs http://www.genode-labs.com - http://www.genode.org Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

*genode-main mailing list changes*
by Stefan Kalkowski 14 May '18

14 May '18

Dear Genode list subscribers, for quite some time, we thought about moving our mailing list away from Sourceforge. The inability to turn of advertisement, the automated mass-unsubscription Sourceforge proceeded last year, and most importantly: mails were not processed for days frequently. Therefore, we have installed our own mailing list infrastructure at lists.genode.org. Unfortunately, it is impossible for us to gain the currently subscribed users of this list. That is why, we cannot simply portage your e-mail addresses from one list to the other. We like to encourage you to subscribe to the new list at your earliest convenience, here: https://lists.genode.org/listinfo/users >From now on, postings shall be done to the new list's address that is: users@...568... The mail archive is now located at: https://lists.genode.org/pipermail/users/ The current "genode-main" mailing list will get turned off at Monday, May 14, 2018. We apologize for the inconvenience! Best regards Stefan -- Stefan Kalkowski Genode labs https://github.com.skalk | https://genode.org

2 1

Genode + ARM + OpenOCD
by Hinnerk van Bruinehsen 14 May '18

14 May '18

Hello, I'm writing/porting a bunch of device drivers for an ARM board (am335x based) for Genode/seL4. I have an on chip debugger (flyswatter2) and can halt or resume the board's operation via the OCD (so generally it seems to work). Since you have successfully ported/written drivers for other boards (imx6 for example), I've asked myself if you have some hints, that may help me to get gdbi (ideally with OpenOCD) working. Right now my problem is that I don't know what binary file I should open gdb with, since using the resulting uimage file doesn't work for me. If someone has some hints for me it would be greatly appreciated! Have a nice holiday and presumably long weekend! WKR Hinnerk

2 4

Defence of "Microkernelization of Linux"
by Johannes Kliemann 13 May '18

13 May '18

Hello Genode folks, I want to invite you to the defence of my student thesis "Microkernelization of Linux" (and enabling native Genode driver support on base-linux). It will take place in the Andreas-Pfitzmann-Bau room 3105 at 11:00. Regards, Johannes Kliemann

2 4

*****SPAM***** sculpt: sned ACPI power off to guest machine
by Duss Pirmin 11 May '18

11 May '18

Spam detection software, running on the system "obelix.duss.local", has identified this incoming email as possible spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see root@...233... for details. Content preview: Hello Is there a way to send an ACPI power off event to a running guest to shut it down? I searched the issues and wasn't able to find anything about it. Content analysis details: (8.7 points, 5.5 required) pts rule name description ---- ---------------------- -------------------------------------------------- 2.9 HELO_DYNAMIC_SPLIT_IP Relay HELO'd using suspicious hostname (Split IP) 0.2 CK_HELO_GENERIC Relay used name indicative of a Dynamic Pool or Generic rPTR 0.0 RCVD_IN_SORBS_DUL RBL: SORBS: sent directly from dynamic IP address [83.77.14.147 listed in dnsbl.sorbs.net] 3.6 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL [83.77.14.147 listed in zen.spamhaus.org] 1.6 RCVD_IN_BRBL_LASTEXT RBL: No description available. [83.77.14.147 listed in bb.barracudacentral.org] 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users May 2018