users August 2017

users@lists.genode.org

20 participants
30 discussions

error on building tool_chain_rump
by Jan-Ralph Sroka 15 Aug '17

15 Aug '17

Hello everyone, following the release-notes 14.05 I try to build the tool_chain_rump. I am running Ubuntu 16.04 LTS. Maybe someone can point out my mistake or refer me to a file with instructions since i was not able to find one myself. I get the following Output: ./mkremote.sh fsck_ext2fs rumpsrc/sbin/fsck_ext2fs/fsck_ext2fs.ro rump/lib/libutil.a ( cd rumpsrc/sbin/fsck_ffs && /home/j-r/UNI/genode/contrib/rumprun/rumptools/rumpmake LIBCRT0= BUILDRUMP_CFLAGS="-fPIC -std=gnu99 -D__NetBSD__ " fsck_ffs.ro ) compile fsck_ffs/dir.o compile fsck_ffs/inode.o inode.c: In function 'swap_dinode2': inode.c:378:21: error: iteration 2u invokes undefined behavior [-Werror=aggressive-loop-optimizations] dp2->di_extb[j] = bswap64(dp2->di_extb[j]); ^ inode.c:377:4: note: containing loop for (j = 0; j < (UFS_NDADDR + UFS_NIADDR + UFS_NXADDR); j++) ^ inode.c: In function 'swap_dinode1': inode.c:362:22: error: iteration 12u invokes undefined behavior [-Werror=aggressive-loop-optimizations] dp1->di_db[j] = bswap32(dp1->di_db[j]); ^ inode.c:361:4: note: containing loop for (j = 0; j < (UFS_NDADDR + UFS_NIADDR); j++) ^ cc1: all warnings being treated as errors *** Failed target: inode.o *** Failed command: /home/j-r/UNI/genode/contrib/rumprun/rumptools/bin/x86_64--netbsd-gcc -O2 -g -fPIC -std=gnu99 -D__NetBSD__ -std=gnu99 -Werror -Wno-unused-but-set-variable -Wno-unused-local-typedefs -Wno-maybe-uninitialized -I/home/j-r/UNI/genode/contrib/rumprun/rumptools/compat/include -D__NetBSD__ -Ulinux -U__linux -U__linux__ -U__gnu_linux__ -DHAVE_POSIX_MEMALIGN -DHAVE_PTHREAD_SETNAME_2 --sysroot=/home/j-r/UNI/genode/contrib/rumprun/rumptools/dest -I/home/j-r/UNI/genode/contrib/rumprun/rumpsrc/sbin/fsck -I/home/j-r/UNI/genode/contrib/rumprun/rumpsrc/sbin/dump -DPROGRESS -DWAPBL_DEBUG_PRINT=0 -c inode.c *** Error code 1 Stop. nbmake[2]: stopped in /home/j-r/UNI/genode/contrib/rumprun/rumpsrc/sbin/fsck_ffs Makefile:128: recipe for target 'rumpsrc/sbin/fsck_ffs/fsck_ffs.ro' failed make[1]: *** [rumpsrc/sbin/fsck_ffs/fsck_ffs.ro] Error 1 make[1]: Leaving directory '/home/j-r/UNI/genode/contrib/rumprun' tool/tool_chain_rump:86: recipe for target 'contrib/rumprun/.compile.tag' failed make: *** [contrib/rumprun/.compile.tag] Error 2 Thank you in advance, Jan

2 1

Re: run/demo on NOVA failed
by Jan-Ralph Sroka 13 Aug '17

13 Aug '17

Hi Ivan, thank you for the fast and helpful reply. Your suggestion brought me onto the right track. Regards, Jan --------------------------------------------------- Hi Jan, looks like you need to install syslinux on the host. Ð²Ñ, 13 Ð°Ð²Ð³. 2017 Ð³. Ð² 11:35, Jan-Ralph Sroka <Jan-Ralph.Sroka@...6...>: Hello, as stated I try to run the Demo on NOVA. I've been following the guide on the homepage and: - prapared the ports for nova and x86emu - prepared libc - uncommented 'REPOSITORIES += $(GENODE_DIR)/repos/libports' in the config file - made the builddirectory - made the kernel - successful run the demo on a Linux Kernel System: I am using Ubuntu 16.04 LTS I am getting the following error output: -------------------------------------------------------------------------------- Program lib/ld/nova/ld-nova make[1]: Verzeichnis â/home/j-r/UNI/genode/build/nova_x86_32â wird verlassen genode build completed using 'core-nova.o' as 'core.o' using 'ld-nova.lib.so' as 'ld.lib.so' using 'nova_timer_drv' as 'timer' install bootloader creating ISO image... Warning: -follow-links does not always work correctly; be careful. Size of boot image is 4 sectors -> No emulation Total translation table size: 2048 Total rockridge attributes bytes: 1624 Total directory bytes: 6882 Path table size(bytes): 50 Max brk space used 23000 3916 extents written (7 MB) make[1]: isohybrid: Befehl nicht gefunden make[1]: *** [iso] Fehler 127 Error: ISO image creation failed Makefile:309: die Regel fÃ¼r Ziel ârun/demoâ scheiterte make: *** [run/demo] Fehler 251 --------------------------------------------------------------------------------------- I am clearly missing something but can't figure out what exactly. cheers, Jan ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ genode-main mailing list genode-main(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot_______________________________________________ genode-main mailing list genode-main(a)lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main

1 0

run/demo on NOVA failed
by Jan-Ralph Sroka 13 Aug '17

13 Aug '17

Hello, as stated I try to run the Demo on NOVA. I've been following the guide on the homepage and: - prapared the ports for nova and x86emu - prepared libc - uncommented 'REPOSITORIES += $(GENODE_DIR)/repos/libports' in the config file - made the builddirectory - made the kernel - successful run the demo on a Linux Kernel System: I am using Ubuntu 16.04 LTS I am getting the following error output: -------------------------------------------------------------------------------- Program lib/ld/nova/ld-nova make[1]: Verzeichnis â/home/j-r/UNI/genode/build/nova_x86_32â wird verlassen genode build completed using 'core-nova.o' as 'core.o' using 'ld-nova.lib.so' as 'ld.lib.so' using 'nova_timer_drv' as 'timer' install bootloader creating ISO image... Warning: -follow-links does not always work correctly; be careful. Size of boot image is 4 sectors -> No emulation Total translation table size: 2048 Total rockridge attributes bytes: 1624 Total directory bytes: 6882 Path table size(bytes): 50 Max brk space used 23000 3916 extents written (7 MB) make[1]: isohybrid: Befehl nicht gefunden make[1]: *** [iso] Fehler 127 Error: ISO image creation failed Makefile:309: die Regel fÃ¼r Ziel ârun/demoâ scheiterte make: *** [run/demo] Fehler 251 --------------------------------------------------------------------------------------- I am clearly missing something but can't figure out what exactly. cheers, Jan

2 1

gdb with Qt
by Johannes Kliemann 11 Aug '17

11 Aug '17

Hi, I currently try to debug a Qt application with gdb. I adapted the setup from `ports/run/gdb_monitor_interactive.run?` and tried it with the framebuffer test and tetrix. The framebuffer test worked fine but with tetrix it hangs after the first continue and doesn't seem to break at `binary_ready_hook_for_gdb`. There's also no further output in Genode so I suspect that nothing is executed anymore. This seems only to happen with Qt applications. Did anyone had a similar problem? Regards, Johannes

1 0

Error unable to initialize cap quota of PD
by Jörg-Christian Böhme 09 Aug '17

09 Aug '17

My setup/environment: - Source: Branch: master Date: Thu Jun 29 00:18:26 2017 +0200 commit 0d1be4abe2294155e36bc0eb0c1cd61499f08d93 - Target-genode-System: nova x86_64 - Host-System: genode-x86-gcc (GCC) 6.3.0 Ubuntu 17.04 QEMU emulator version 2.8.0(Debian 1:2.8+dfsg-3ubuntu2.3) Hi @all, I try to run following system scenario: make run/launcher KERNEL=nova but it fails with endless loop of following warning: ... Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) ... I want to fix that and try to understand what is the root cause for this warning. I read the documentation, mainly 6.2.2. Resource assignment -> Capability budget. But I'm not smart enough to understand this ;-), again I'm a newbie :-). Is there some other documentation or another chapter that I should read ? By the way, I read the hole old documentation 16.05 before. What I try/understand: In [BUILD_DIR]/var/run/launcher.run I see following: ... <default caps="50"/> ... <start name="drivers" caps="300"> ... At start time I see following output: ... 5072 MiB RAM and 63254 caps assigned to init ... [init -> drivers] Warning: platform_drv: assigned caps (200) exceed available caps (123) [init -> drivers] Warning: fb_drv: assigned caps (100) exceed available caps (0) [init -> drivers] Warning: ps2_drv: assigned caps (60) exceed available caps (0) [init -> drivers] Warning: usb_drv: assigned caps (100) exceed available caps (0) [init -> drivers] Warning: input_filter: assigned caps (80) exceed available caps (0) Warning: PD (init -> drivers) cap limit (used=44, limit=70) exceeded during transfer_quota(28) [init -> drivers] Error: acpi_drv: unable to initialize cap quota of PD Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 [init -> drivers] Warning: re-attempted CPU session request 2 times (args: diag=0, label="ps2_drv", ram_quota=36K, cap_quota=4) Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 [init -> drivers] Warning: re-attempted CPU session request 4 times (args: diag=0, label="ps2_drv", ram_quota=36K, cap_quota=4) Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) First, I didn't found any <start> configuration for: - platform_drv - fb_drv - usb_drv - input_filter But I see at startup time that they are loaded into rom fs: ... :rom_fs: ROM modules: ... ROM: [000000007fb45000,000000007fb86db0) fb_drv ... ROM: [000000007ffe2000,000000007ffff740) input_filter ... ROM: [000000007f6e3000,000000007f71d6d0) platform_drv ... ROM: [000000007fe03000,000000007fef5830) usb_drv ... I think the root cause is following Error: [init -> drivers] Error: acpi_drv: unable to initialize cap quota of PD I understand that the acpi_drv component need X caps to transfer to the drivers component. But how many caps ? Then I try to understand the warning for example: [init -> drivers] Warning: ps2_drv: assigned caps (60) exceed available caps (0) What I understand after reading the documentation: ps2_drv try to give the drivers component 60 caps but they have only 0 caps left? Also I try to understand the following warning: Warning: PD (init -> drivers) cap limit (used=44, limit=70) exceeded during transfer_quota(28) I understand: The drivers component used 44 caps. The component need additional caps of 28 but the limit of 70 caps is exceeded. (44 + 28 = 72 > 70) Why limit 70? In the start configuration we set for the drivers component 300 caps. So I read in the documentation, that we can enable a diagnostic mode for the PD session. I try this but even then, I did not understand the logs. Here what I get: ... Genode 17.05-86-g0d1be4abe <local changes> 5072 MiB RAM and 63254 caps assigned to init PD (init -> drivers) consumed RPC cap (used=7, limit=280) PD (init -> drivers) consumed RPC cap (used=8, limit=280) PD (init -> drivers) consumed signal-source cap (used=10, limit=280) PD (init -> drivers) consumed RPC cap (used=11, limit=280) PD (init -> drivers) consumed signal-context cap (used=12, limit=280) PD (init -> drivers) transferred 3 caps to 'init' (used=12, limit=277) PD (init -> drivers) transferred 3 caps to 'init' (used=13, limit=280) ... PD (init -> drivers) consumed signal-context cap (used=14, limit=280) PD (init -> drivers) consumed signal-context cap (used=15, limit=280) PD (init -> drivers) consumed signal-context cap (used=16, limit=280) ... PD (init -> drivers) consumed RPC cap (used=18, limit=280) PD (init -> drivers) consumed RPC cap (used=19, limit=280) PD (init -> drivers) consumed RPC cap (used=21, limit=280) PD (init -> drivers) consumed RPC cap (used=22, limit=280) PD (init -> drivers) consumed RPC cap (used=24, limit=280) [init -> drivers] Warning: platform_drv: assigned caps (200) exceed available caps (123) PD (init -> drivers) consumed RPC cap (used=25, limit=280) PD (init -> drivers) consumed RPC cap (used=26, limit=280) PD (init -> drivers) consumed RPC cap (used=28, limit=280) [init -> drivers] Warning: fb_drv: assigned caps (100) exceed available caps (0) PD (init -> drivers) consumed RPC cap (used=30, limit=280) PD (init -> drivers) consumed RPC cap (used=31, limit=280) [init -> drivers] Warning: ps2_drv: assigned caps (60) exceed available caps (0) PD (init -> drivers) consumed RPC cap (used=33, limit=280) PD (init -> drivers) consumed RPC cap (used=34, limit=280) [init -> drivers] Warning: usb_drv: assigned caps (100) exceed available caps (0) PD (init -> drivers) consumed RPC cap (used=38, limit=280) PD (init -> drivers) consumed RPC cap (used=39, limit=280) PD (init -> drivers) consumed RPC cap (used=41, limit=280) [init -> drivers] Warning: input_filter: assigned caps (80) exceed available caps (0) PD (init -> drivers) consumed RPC cap (used=42, limit=280) PD (init -> drivers) consumed RPC cap (used=43, limit=280) PD (init -> drivers) transferred 13 caps to 'init' (used=44, limit=267) PD (init -> drivers) transferred 0 caps to 'init -> drivers -> input_filter' (used=44, limit=267) PD (init -> drivers) transferred 13 caps to 'init' (used=44, limit=254) PD (init -> drivers) transferred 0 caps to 'init -> drivers -> usb_drv' (used=44, limit=254) PD (init -> drivers) transferred 13 caps to 'init' (used=44, limit=241) PD (init -> drivers) transferred 0 caps to 'init -> drivers -> ps2_drv' (used=44, limit=241) PD (init -> drivers) transferred 13 caps to 'init' (used=44, limit=228) PD (init -> drivers) transferred 0 caps to 'init -> drivers -> fb_drv' (used=44, limit=228) PD (init -> drivers) transferred 13 caps to 'init' (used=44, limit=215) PD (init -> drivers) transferred 91 caps to 'init -> drivers -> platform_drv' (used=44, limit=124) PD (init -> drivers) transferred 13 caps to 'init' (used=44, limit=111) PD (init -> drivers) transferred 28 caps to 'init -> drivers -> report_rom' (used=44, limit=83) PD (init -> drivers) transferred 13 caps to 'init' (used=44, limit=70) Warning: PD (init -> drivers) cap limit (used=44, limit=70) exceeded during transfer_quota(28) [init -> drivers] Error: acpi_drv: unable to initialize cap quota of PD PD (init -> drivers) transferred 4 caps to 'init' (used=44, limit=66) PD (init -> drivers) transferred 2 caps to 'init' (used=44, limit=64) PD (init -> drivers) transferred 3 caps to 'init' (used=44, limit=61) PD (init -> drivers) transferred 3 caps to 'init' (used=44, limit=58) PD (init -> drivers) transferred 4 caps to 'init' (used=44, limit=54) PD (init -> drivers) transferred 2 caps to 'init' (used=44, limit=52) PD (init -> drivers) transferred 3 caps to 'init' (used=44, limit=49) PD (init -> drivers) transferred 3 caps to 'init' (used=44, limit=46) Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 [init -> drivers] Warning: re-attempted CPU session request 2 times (args: diag=0, label="ps2_drv", ram_quota=36K, cap_quota=4) Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 I start to read and understand the first line... PD (init -> drivers) consumed RPC cap (used=7, limit=280) The drivers component create/consumed a RPC cap and after that they used 7 caps with a limit of 280. Again, why the limit is set to 280 and not 300 ? How many caps are needed for the "RPC consumed" ? Because I see also following line: ... PD (init -> drivers) consumed RPC cap (used=39, limit=280) PD (init -> drivers) consumed RPC cap (used=41, limit=280) ... After consumed RPC cap and using of 39 caps, there is additional consumed RPC with a used of 41 ? Why not 40 ? Next confusing lines for me: PD (init -> drivers) transferred 3 caps to 'init' (used=12, limit=277) Drivers transferred 3 caps from the limit of 277 to init? After that we get a limit of 280? PD (init -> drivers) transferred 3 caps to 'init' (used=13, limit=280) etc. I add the full log below. I'm really sure I missed something, but I don't know what. Maybe the root cause is somewhere else. Hopefully somebody give me a hint and/or explain me the log output of "caps" warning. I found the log in the source but even that, I'm not fully understand the purpose of the log. Thanks Regards Jörg NOVA Microhypervisor v7-0d1be4a (x86_64): Aug 1 2017 07:27:06 [gcc 6.3.0] [MBI] [ 0] TSC:2807562 kHz BUS:1005026 kHz (measured) [ 0] TSC:2000000 kHz BUS:1000000 kHz (adjusted due to instable TSC) [ 0] CORE:0:0:0 6:f:b:0 [0] Intel(R) Core(TM)2 Duo CPU T7700 @ 2.40GHz Hypervisor reports 1x1 CPU Warning: CPU has no invariant TSC. CPU ID (genode->kernel:package:core:thread) remapping remap (0->0:0:0:0) boot cpu Hypervisor info page contains 10 memory descriptors: core image [0000000000100000,0000000000bcc000) binaries region [0000000000226000,0000000000bcc000) free for reuse detected physical memory: 0x0000000000000000 - size: 0x000000000009fc00 use physical memory: 0x0000000000000000 - size: 0x000000000009f000 detected physical memory: 0x0000000000100000 - size: 0x00000000bfee0000 use physical memory: 0x0000000000100000 - size: 0x00000000bfee0000 detected physical memory: 0x0000000100000000 - size: 0x0000000080000000 use physical memory: 0x0000000100000000 - size: 0x0000000080000000 :virt_alloc: Allocator 0x1e78f0 dump: Block: [0000000000002000,0000000000003000) size=4K avail=0 max_avail=0 Block: [0000000000003000,0000000000004000) size=4K avail=0 max_avail=0 Block: [0000000000004000,0000000000005000) size=4K avail=0 max_avail=0 Block: [0000000000005000,0000000000006000) size=4K avail=0 max_avail=0 Block: [0000000000006000,0000000000007000) size=4K avail=0 max_avail=0 Block: [0000000000007000,0000000000008000) size=4K avail=0 max_avail=0 Block: [0000000000008000,0000000000009000) size=4K avail=0 max_avail=0 Block: [0000000000009000,000000000000a000) size=4K avail=0 max_avail=0 Block: [000000000000a000,000000000000b000) size=4K avail=0 max_avail=0 Block: [000000000000b000,000000000000c000) size=4K avail=0 max_avail=0 Block: [000000000000c000,000000000000d000) size=4K avail=0 max_avail=0 Block: [000000000000d000,000000000000e000) size=4K avail=0 max_avail=0 Block: [000000000000e000,000000000000f000) size=4K avail=0 max_avail=0 Block: [000000000000f000,0000000000010000) size=4K avail=0 max_avail=0 Block: [0000000000010000,0000000000011000) size=4K avail=0 max_avail=0 Block: [0000000000011000,0000000000012000) size=4K avail=0 max_avail=0 Block: [0000000000012000,0000000000013000) size=4K avail=0 max_avail=0 Block: [0000000000013000,0000000000014000) size=4K avail=0 max_avail=137434760164K Block: [0000000000014000,0000000000015000) size=4K avail=0 max_avail=0 Block: [0000000000015000,0000000000016000) size=4K avail=0 max_avail=0 Block: [0000000000016000,0000000000017000) size=4K avail=0 max_avail=0 Block: [0000000000017000,0000000000018000) size=4K avail=0 max_avail=0 Block: [0000000000018000,0000000000019000) size=4K avail=0 max_avail=0 Block: [0000000000019000,000000000001a000) size=4K avail=0 max_avail=0 Block: [000000000001a000,000000000001b000) size=4K avail=0 max_avail=0 Block: [000000000001b000,000000000001c000) size=4K avail=0 max_avail=0 Block: [000000000001c000,000000000001d000) size=4K avail=0 max_avail=0 Block: [000000000001d000,000000000001e000) size=4K avail=0 max_avail=0 Block: [000000000001e000,000000000001f000) size=4K avail=0 max_avail=0 Block: [000000000001f000,0000000000020000) size=4K avail=0 max_avail=0 Block: [0000000000020000,0000000000021000) size=4K avail=0 max_avail=0 Block: [0000000000021000,0000000000022000) size=4K avail=0 max_avail=0 Block: [0000000000022000,0000000000023000) size=4K avail=0 max_avail=0 Block: [0000000000023000,0000000000024000) size=4K avail=0 max_avail=0 Block: [0000000000024000,0000000000025000) size=4K avail=0 max_avail=0 Block: [0000000000025000,0000000000026000) size=4K avail=0 max_avail=137434760164K Block: [0000000000026000,0000000000027000) size=4K avail=0 max_avail=0 Block: [0000000000027000,0000000000028000) size=4K avail=0 max_avail=0 Block: [0000000000028000,0000000000029000) size=4K avail=0 max_avail=0 Block: [0000000000029000,000000000002a000) size=4K avail=0 max_avail=0 Block: [000000000002a000,000000000002b000) size=4K avail=0 max_avail=0 Block: [000000000002b000,000000000002c000) size=4K avail=0 max_avail=836K Block: [000000000002c000,000000000002d000) size=4K avail=0 max_avail=0 Block: [000000000002d000,000000000002e000) size=4K avail=0 max_avail=836K Block: [000000000002e000,000000000002f000) size=4K avail=0 max_avail=0 Block: [000000000002f000,0000000000100000) size=836K avail=836K max_avail=836K Block: [0000000000226000,0000000000227000) size=4K avail=0 max_avail=0 Block: [0000000000227000,0000000000228000) size=4K avail=0 max_avail=137434760164K Block: [0000000000228000,0000000000229000) size=4K avail=0 max_avail=0 Block: [0000000000229000,00000000a0000000) size=2619228K avail=2619228K max_avail=2619228K Block: [00000000b0000000,00000000bfeff000) size=261116K avail=261116K max_avail=137434760164K Block: [00000000bff04000,00007fffbfffd000) size=137434760164K avail=137434760164K max_avail=137434760164K => mem_size=140736144932864 (134216446 MB) / mem_avail=140736144736256 (134216446 MB) :phys_alloc: Allocator 0x1e6820 dump: Block: [0000000000001000,0000000000002000) size=4K avail=0 max_avail=0 Block: [0000000000002000,0000000000003000) size=4K avail=0 max_avail=0 Block: [0000000000003000,0000000000004000) size=4K avail=0 max_avail=0 Block: [0000000000004000,0000000000005000) size=4K avail=0 max_avail=0 Block: [0000000000005000,0000000000006000) size=4K avail=0 max_avail=0 Block: [0000000000006000,0000000000007000) size=4K avail=0 max_avail=0 Block: [0000000000007000,0000000000008000) size=4K avail=0 max_avail=0 Block: [0000000000008000,0000000000009000) size=4K avail=0 max_avail=0 Block: [0000000000009000,000000000000a000) size=4K avail=0 max_avail=0 Block: [000000000000a000,000000000000b000) size=4K avail=0 max_avail=0 Block: [000000000000b000,000000000000c000) size=4K avail=0 max_avail=0 Block: [000000000000c000,000000000000d000) size=4K avail=0 max_avail=0 Block: [000000000000d000,000000000000e000) size=4K avail=0 max_avail=0 Block: [000000000000e000,000000000000f000) size=4K avail=0 max_avail=0 Block: [000000000000f000,0000000000010000) size=4K avail=0 max_avail=0 Block: [0000000000010000,0000000000011000) size=4K avail=0 max_avail=0 Block: [0000000000011000,0000000000012000) size=4K avail=0 max_avail=0 Block: [0000000000012000,0000000000013000) size=4K avail=0 max_avail=0 Block: [0000000000013000,0000000000014000) size=4K avail=0 max_avail=0 Block: [0000000000014000,0000000000015000) size=4K avail=0 max_avail=0 Block: [0000000000015000,0000000000016000) size=4K avail=0 max_avail=0 Block: [0000000000016000,0000000000017000) size=4K avail=0 max_avail=0 Block: [0000000000017000,0000000000018000) size=4K avail=0 max_avail=0 Block: [0000000000018000,0000000000019000) size=4K avail=0 max_avail=2G Block: [0000000000019000,000000000001a000) size=4K avail=0 max_avail=0 Block: [000000000001a000,000000000001b000) size=4K avail=0 max_avail=0 Block: [000000000001b000,000000000001c000) size=4K avail=0 max_avail=0 Block: [000000000001c000,000000000001d000) size=4K avail=0 max_avail=0 Block: [000000000001d000,000000000001e000) size=4K avail=0 max_avail=0 Block: [000000000001e000,000000000001f000) size=4K avail=0 max_avail=0 Block: [000000000001f000,0000000000020000) size=4K avail=0 max_avail=0 Block: [0000000000020000,0000000000021000) size=4K avail=0 max_avail=0 Block: [0000000000021000,0000000000022000) size=4K avail=0 max_avail=0 Block: [0000000000022000,0000000000023000) size=4K avail=0 max_avail=0 Block: [0000000000023000,0000000000024000) size=4K avail=0 max_avail=0 Block: [0000000000024000,0000000000025000) size=4K avail=0 max_avail=2G Block: [0000000000025000,0000000000026000) size=4K avail=0 max_avail=0 Block: [0000000000026000,0000000000027000) size=4K avail=0 max_avail=0 Block: [0000000000027000,0000000000028000) size=4K avail=0 max_avail=0 Block: [0000000000028000,0000000000029000) size=4K avail=0 max_avail=0 Block: [0000000000029000,000000000002a000) size=4K avail=0 max_avail=0 Block: [000000000002a000,000000000002b000) size=4K avail=0 max_avail=0 Block: [000000000002b000,000000000002c000) size=4K avail=0 max_avail=0 Block: [000000000002c000,000000000002d000) size=4K avail=0 max_avail=444K Block: [000000000002d000,000000000002e000) size=4K avail=0 max_avail=0 Block: [000000000002e000,000000000002f000) size=4K avail=0 max_avail=444K Block: [000000000002f000,0000000000030000) size=4K avail=0 max_avail=0 Block: [0000000000030000,000000000009f000) size=444K avail=444K max_avail=444K Block: [0000000000100000,0000000000101000) size=4K avail=0 max_avail=2G Block: [0000000000101000,0000000000102000) size=4K avail=0 max_avail=0 Block: [0000000000102000,0000000001000000) size=15352K avail=15352K max_avail=15352K Block: [0000000003400000,0000000003401000) size=4K avail=0 max_avail=2G Block: [0000000003401000,000000007f533000) size=2032840K avail=2032840K max_avail=2032840K Block: [0000000080001000,00000000bffe0000) size=1048444K avail=1048444K max_avail=2G Block: [0000000100000000,0000000180000000) size=2G avail=2G max_avail=2G => mem_size=5319098368 (5072 MB) / mem_avail=5318893568 (5072 MB) :io_mem_alloc: Allocator 0x1e89d8 dump: Block: [0000000000000000,0000000000001000) size=4K avail=4K max_avail=4K Block: [000000000009f000,0000000000100000) size=388K avail=388K max_avail=388K Block: [00000000bffe0000,0000000100000000) size=1048704K avail=1048704K max_avail=18014398503190524K Block: [0000000180000000,fffffffffffff000) size=18014398503190524K avail=18014398503190524K max_avail=18014398503190524K => mem_size=18446744068341370880 (17592186039296 MB) / mem_avail=18446744068341370880 (17592186039296 MB) :rom_fs: ROM modules: ROM: [000000007ff33000,000000007ff49448) acpi_drv ROM: [000000007fbdf000,000000007fbf5e58) backdrop ROM: [000000007fb09000,000000007fb0b1ae) config ROM: [000000007f65a000,000000007f688850) decorator ROM: [000000007f819000,000000007f819357) decorator_init.config ROM: [000000007ff4b000,000000007ffc7ba8) device_pd ROM: [000000007ffc8000,000000007ffc923e) drivers.config ROM: [000000007fa83000,000000007fa845d1) en_us.chargen ROM: [000000007fb45000,000000007fb86db0) fb_drv ROM: [000000007ff4a000,000000007ff4a033) fb_drv.config ROM: [000000007fab2000,000000007fad0b68) floating_window_layouter ROM: [000000007faed000,000000007faf1d38) genode_logo.png ROM: [000000007fa85000,000000007fa85246) grid.png ROM: [000000000002e000,000000000002f000) hypervisor_info_page ROM: [000000007fef6000,000000007ff326d0) init ROM: [000000007ffe2000,000000007ffff740) input_filter ROM: [000000007f83e000,000000007f83e1e5) input_filter.config ROM: [000000007fc54000,000000007fc96580) launcher ROM: [000000007f71e000,000000007f7cbb70) launchpad ROM: [000000007f9d7000,000000007fa82b28) ld.lib.so ROM: [000000007fc97000,000000007fdc8068) libc.lib.so ROM: [000000007f7f1000,000000007f8184a0) libm.lib.so ROM: [000000007fc2a000,000000007fc53cb0) libpng.lib.so ROM: [000000007fb0c000,000000007fb44eb0) liquid_fb ROM: [000000007fdc9000,000000007fdebd00) menu_view ROM: [000000007f82f000,000000007f83e000) menu_view_styles.tar ROM: [000000007f6c8000,000000007f6e20d8) nit_fader ROM: [000000007fbf6000,000000007fc0d9c8) nit_fb ROM: [000000007fc0e000,000000007fc29310) nitlog ROM: [000000007f689000,000000007f6c72d0) nitpicker ROM: [000000007f6e3000,000000007f71d6d0) platform_drv ROM: [000000000002c000,000000000002d000) platform_info ROM: [000000007fbb5000,000000007fbc4ce0) pointer ROM: [000000007fbc5000,000000007fbddcf8) ps2_drv ROM: [000000007ffca000,000000007ffe1770) report_rom ROM: [000000007fdec000,000000007fe02ba0) rom_filter ROM: [000000007f83f000,000000007f9d6148) scout ROM: [000000007fad1000,000000007faec5f8) status_bar ROM: [000000007f7cc000,000000007f7f0740) test-libpng_static ROM: [000000007fba1000,000000007fbb4088) testnit ROM: [000000007f81a000,000000007f82e6a8) timer ROM: [000000007fe03000,000000007fef5830) usb_drv ROM: [000000007fa86000,000000007fab18a0) wm ROM: [000000007fbde000,000000007fbdec92) wm.config ROM: [000000007fb87000,000000007fba0268) xray_trigger ROM: [000000007faf2000,000000007fb08208) zlib.lib.so Genode 17.05-86-g0d1be4abe <local changes> 5072 MiB RAM and 63254 caps assigned to init PD (init -> drivers) consumed RPC cap (used=7, limit=280) PD (init -> drivers) consumed RPC cap (used=8, limit=280) PD (init -> drivers) consumed signal-source cap (used=10, limit=280) PD (init -> drivers) consumed RPC cap (used=11, limit=280) PD (init -> drivers) consumed signal-context cap (used=12, limit=280) PD (init -> drivers) transferred 3 caps to 'init' (used=12, limit=277) PD (init -> drivers) transferred 3 caps to 'init' (used=13, limit=280) [init] child "decorator_config" announces service "ROM" [init] child "report_rom" announces service "Report" [init] child "report_rom" announces service "ROM" PD (init -> drivers) consumed signal-context cap (used=14, limit=280) PD (init -> drivers) consumed signal-context cap (used=15, limit=280) PD (init -> drivers) consumed signal-context cap (used=16, limit=280) [init -> report_rom] Warning: parsing legacy <rom> policies [init] child "timer" announces service "Timer" [init -> report_rom] Warning: parsing legacy <rom> policies [init -> report_rom] Warning: parsing legacy <rom> policies [init -> report_rom] Warning: parsing legacy <rom> policies [init -> report_rom] Warning: parsing legacy <rom> policies [init -> decorator_config] upgrading quota donation for PD session (0 bytes, 4 caps) [init -> decorator_config] resource_request: ram_quota=0, cap_quota=4 [init] child "decorator_config" requests resources: ram_quota=0, cap_quota=4 [init -> report_rom] Warning: parsing legacy <rom> policies [init -> report_rom] Warning: parsing legacy <rom> policies Warning: PD (init -> layouter) cap limit (used=18, limit=18) exceeded during transfer_quota(3) [init -> layouter] resource_request: cap_quota=3 [init] child "layouter" requests resources: cap_quota=3 PD (init -> drivers) consumed RPC cap (used=18, limit=280) PD (init -> drivers) consumed RPC cap (used=19, limit=280) PD (init -> drivers) consumed RPC cap (used=21, limit=280) PD (init -> drivers) consumed RPC cap (used=22, limit=280) PD (init -> drivers) consumed RPC cap (used=24, limit=280) [init -> drivers] Warning: platform_drv: assigned caps (200) exceed available caps (123) PD (init -> drivers) consumed RPC cap (used=25, limit=280) PD (init -> drivers) consumed RPC cap (used=26, limit=280) PD (init -> drivers) consumed RPC cap (used=28, limit=280) [init -> drivers] Warning: fb_drv: assigned caps (100) exceed available caps (0) PD (init -> drivers) consumed RPC cap (used=30, limit=280) PD (init -> drivers) consumed RPC cap (used=31, limit=280) [init -> drivers] Warning: ps2_drv: assigned caps (60) exceed available caps (0) PD (init -> drivers) consumed RPC cap (used=33, limit=280) PD (init -> drivers) consumed RPC cap (used=34, limit=280) [init -> drivers] Warning: usb_drv: assigned caps (100) exceed available caps (0) PD (init -> drivers) consumed RPC cap (used=38, limit=280) PD (init -> drivers) consumed RPC cap (used=39, limit=280) PD (init -> drivers) consumed RPC cap (used=41, limit=280) [init -> drivers] Warning: input_filter: assigned caps (80) exceed available caps (0) PD (init -> drivers) consumed RPC cap (used=42, limit=280) PD (init -> drivers) consumed RPC cap (used=43, limit=280) PD (init -> drivers) transferred 13 caps to 'init' (used=44, limit=267) PD (init -> drivers) transferred 0 caps to 'init -> drivers -> input_filter' (used=44, limit=267) PD (init -> drivers) transferred 13 caps to 'init' (used=44, limit=254) PD (init -> drivers) transferred 0 caps to 'init -> drivers -> usb_drv' (used=44, limit=254) PD (init -> drivers) transferred 13 caps to 'init' (used=44, limit=241) PD (init -> drivers) transferred 0 caps to 'init -> drivers -> ps2_drv' (used=44, limit=241) PD (init -> drivers) transferred 13 caps to 'init' (used=44, limit=228) PD (init -> drivers) transferred 0 caps to 'init -> drivers -> fb_drv' (used=44, limit=228) PD (init -> drivers) transferred 13 caps to 'init' (used=44, limit=215) PD (init -> drivers) transferred 91 caps to 'init -> drivers -> platform_drv' (used=44, limit=124) PD (init -> drivers) transferred 13 caps to 'init' (used=44, limit=111) PD (init -> drivers) transferred 28 caps to 'init -> drivers -> report_rom' (used=44, limit=83) PD (init -> drivers) transferred 13 caps to 'init' (used=44, limit=70) Warning: PD (init -> drivers) cap limit (used=44, limit=70) exceeded during transfer_quota(28) [init -> drivers] Error: acpi_drv: unable to initialize cap quota of PD PD (init -> drivers) transferred 4 caps to 'init' (used=44, limit=66) PD (init -> drivers) transferred 2 caps to 'init' (used=44, limit=64) PD (init -> drivers) transferred 3 caps to 'init' (used=44, limit=61) PD (init -> drivers) transferred 3 caps to 'init' (used=44, limit=58) PD (init -> drivers) transferred 4 caps to 'init' (used=44, limit=54) PD (init -> drivers) transferred 2 caps to 'init' (used=44, limit=52) PD (init -> drivers) transferred 3 caps to 'init' (used=44, limit=49) PD (init -> drivers) transferred 3 caps to 'init' (used=44, limit=46) Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 [init -> drivers] Warning: re-attempted CPU session request 2 times (args: diag=0, label="ps2_drv", ram_quota=36K, cap_quota=4) Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 [init -> drivers] Warning: re-attempted CPU session request 4 times (args: diag=0, label="ps2_drv", ram_quota=36K, cap_quota=4) Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 [init -> drivers] Warning: re-attempted CPU session request 8 times (args: diag=0, label="ps2_drv", ram_quota=36K, cap_quota=4) Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 [init -> drivers] Warning: re-attempted CPU session request 16 times (args: diag=0, label="ps2_drv", ram_quota=36K, cap_quota=4) Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Warning: PD (init -> drivers) cap limit (used=44, limit=46) exceeded during transfer_quota(4) [init -> drivers] resource_request: cap_quota=4 [init] child "drivers" requests resources: cap_quota=4 Expect: 'interact' received 'strg+c' and was cancelled

2 2

Blocking wait for interrupt
by Johannes Kliemann 08 Aug '17

08 Aug '17

Hi, I'm currently writing a dde_linux driver that requires to wait for an interrupt to be handled. It basically initializes the hardware and then waits for an event to occur. This event is usually triggered by the interrupt (respectively its handler) which occurs after hardware initialization. My problem is that this interrupt doesn't appear while the function triggering it didn't return. So when this function blocks to wait for the interrupt, a deadlock is created. Besides using the timer I tried to block the execution with a semaphore creating the same problem. Creating an async version is no option due to the architecture of the Linux driver. How are interrupts handled in this case? What causes them to block and how can I work around this? Regards, JK

2 7

execution time on RPI.
by Mohammad Hamad 04 Aug '17

04 Aug '17

Hi all, I am trying to measure the execution time of a function on RPI model B. I used the "Trace::timestamp" function to calculate it. In the same time, I used the elapsed_ms() function to compare with it. as I understood, the "Trace::timestamp" function gives the performance counter. Dose the elapsed_ms function provide the execution time of the method in milliseconds? During the measurements, I got some related numbers in somehow. For an example, the average of elapsed_ms() was 2,18 and the average of performance counter is 24825,02 How could I convert the delta of the performance counter to milliseconds? I guess I need to divide by the CPU_cycle. If yes, does the cpu_cycle specified or modified by the Genode? How can I get this value? best,

2 4

Nova without Bender
by Johannes Kliemann 04 Aug '17

04 Aug '17

Hi, I tried to use Nova without Bender with Multiboot2. Basically it works, but when I omit Bender, there's no serial output from either Nova or Genode. I couldn't find out what Bender does different to enable serial on Nova. My grub2.cfg looks as follows: > set timeout=5 > serial --unit=0 --speed=115200 > terminal_output serial console > terminal_input serial console > menuentry 'Genode on NOVA' { > multiboot2 /hypervisor hypervisor iommu serial novpid novga > module2 /image.elf image.elf > } What is missing to enable serial on Nova alone? Regards, Johannes PS: It also seems that Benders Multiboot2-header [1] is not specification conform. The tags type and flags are defined as double word but according to the specification [2] these are u16 so this should be a word only. [1]: https://github.com/alex-ab/morbo/blob/genode_bender/standalone/start.asm#L15 [2]: http://nongnu.askapache.com/grub/phcoder/multiboot.pdf

3 2

Any genodians attending SHA2017?
by Jean-Philippe Ouellet 02 Aug '17

02 Aug '17

Hello all, Long time lurker, first time poster. I will be attending SHA2017 [1] next week to give a talk about Qubes OS [2]. I see there was at least some mention of SHA among you [3], so perhaps some Genode people plan to attend? I've long been a fan of what Genode is working towards, and I would definitely be interested in exploring the possibility of a collaboration between Genode and Qubes at some point. To be clear, I do not represent Qubes in any official way, and I'm reaching out only as myself. Regards, Jean-Philippe [1]: https://sha2017.org/ [2]: https://www.qubes-os.org/ [3]: https://github.com/genodelabs/genode/issues/1985#issuecomment-290227597

3 3

lwip and seL4
by Steven Harp 01 Aug '17

01 Aug '17

Observed a problem testing lwip under seL4 (run/lwip). This succeeds with kernels okl4, foc, and nova, but under seL4 there are complaints from acpi_drv (see below). The "Error: I/O memory [1ffe1000,1ffe2000) not available" seems most concerning. Build architecture is x86_32, relying on drivers dde_ipxe, testing in qemu on Xenial. Theories / workarounds (seL4)? // Steve > [init -> nic_drv] --- iPXE NIC driver started --- > [init -> nic_drv] -- init iPXE NIC > [init -> acpi_drv] Error: ROM-session creation failed (ram_quota=6144, cap_quota=3, label="platform_info") > [init -> acpi_drv] Error: Could not open ROM session for "platform_info" > [init] child "timer" announces service "Timer" > [init] child "acpi_report_rom" announces service "Report" > Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x10 > [init] child "acpi_report_rom" announces service "ROM" > Error: I/O memory [1ffe1000,1ffe2000) not available > Error: Local MMIO mapping failed! > [init -> acpi_drv] Error: IO_MEM-session creation failed (cap_quota=3, ram_quota=6K, base=0x1ffe1000, size=0x1000, wc=no) > [init -> acpi_drv] Warning: 1 dangling allocation at allocator destruction time > Warning: unmapping of managed dataspaces not yet supported > [init -> acpi_drv] Error: Unknown exception occured - failure > [init -> acpi_drv] Error: __cxa_guard_abort called > Kernel: Thread 'ep' died because of an uncaught exception > [init -> acpi_drv] Error: Uncaught exception of type 'Genode::Service_denied' > [init -> acpi_drv] Warning: abort called - thread: ep > [init] child "acpi_drv" exited with exit value 1 > Error: Test execution timed out > Makefile:309: recipe for target 'run/lwip' failed

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users August 2017