users

users@lists.genode.org

1 participants
2310 discussions

Mmap and Genode - bug with MAP_ANON?
by Alexander Tormasov 05 Sep '19

05 Sep '19

I try to run a program which use the following hidden from me code: It call function to reserve some mem area using the following: func sysReserve(v unsafe.Pointer, n uintptr, reserved *bool) unsafe.Pointer { // On 64-bit, people with ulimit -v set complain if we reserve too // much address space. Instead, assume that the reservation is okay // if we can reserve at least 64K and check the assumption in SysMap. // Only user-mode Linux (UML) rejects these requests. if sys.PtrSize == 8 && uint64(n) > 1<<32 { p, err := mmap_fixed(v, 64<<10, _PROT_NONE, _MAP_ANON|_MAP_PRIVATE, mmapFD, 0) if p != v || err != 0 { if err == 0 { munmap(p, 64<<10) } return nil } munmap(p, 64<<10) *reserved = false return v } In Man page related to mmap I found that this combination of flags ignore FD: MAP_PRIVATE Create a private copy-on-write mapping. Updates to the mapping are not visible to other processes mapping the same file, and are not carried through to the underlying file. It is unspecified whether changes made to the file after the mmap() call are visible in the mapped region. MAP_ANONYMOUS The mapping is not backed by any file; its contents are initialized to zero. The fd argument is ignored; however, some implementations require fd to be -1 if MAP_ANONYMOUS (or MAP_ANON) is specified, and portable applications should ensure this. The offset argument should be zero. The use of MAP_ANONYMOUS in conjunction with MAP_SHARED is supported on Linux only since kernel 2.4. The code in Genode mmap wrapper try to find anyway the mapping for fd descriptor (-1 in my case) and fail because of libc_fd_to_fd(libc_fd, "mmap");: __SYS_(void *, mmap, (void *addr, ::size_t length, int prot, int flags, int libc_fd, ::off_t offset), { /* handle requests for anonymous memory */ if (!addr && libc_fd == -1) { bool const executable = prot & PROT_EXEC; void *start = Libc::mem_alloc(executable)->alloc(length, PAGE_SHIFT); if (!start) { errno = ENOMEM; return MAP_FAILED; } mmap_registry()->insert(start, length, 0); return start; } /* lookup plugin responsible for file descriptor */ File_descriptor *fd = libc_fd_to_fd(libc_fd, "mmap"); if (!fd || !fd->plugin || !fd->plugin->supports_mmap()) { Genode::warning("mmap not supported for file descriptor ", libc_fd); errno = EBADF; return MAP_FAILED; } void *start = fd->plugin->mmap(addr, length, prot, flags, fd, offset); mmap_registry()->insert(start, length, fd->plugin); return start; })

2 3

Can genode run on Rpi 4 ?
by kimberly nNA 05 Sep '19

05 Sep '19

Dear Genode team, On rpi 3 B+, and genode version is https://github.com/tomga/genode/tree/rpi3bplus_19.02 In this case, it can run demo.run. How about rpi 4 ? Will you support this ARM board ? Thanks. Sincerely, Kimberly

3 4

Programatic configuration with Dhall
by Emery Hemingway 04 Sep '19

04 Sep '19

Hello Genodians, As a side project I've been experimenting with using the Dhall configuration language (https://dhall-lang.org/) for generating and composing Genode XML. Dhall is a purely functional, non-Turing complete language designed for expressing and transforming configuration. The standard prelude, something like a pure standard library, supports transformation of Dhall expressions to XML (as of v9.0.0) which allow Genode configuration to be expressed and rendered using the pure Dhall. I would not advocate parsing Dhall directly within Genode components, rendering to XML files is certainly fine for now. A non-trivial analogy would the "noux-system" package expressed as Dhall: https://git.sr.ht/~ehmry/genode-ehmry/tree/master/runtimes/noux-system/pkg.… Using this language has its advantages and its drawbacks. The advantages being checks against malformed configuration using a strict type system, the ability to deduplicate and normalize similiar configurations, and the ability to automatically generate configuration parameters such as resource quotas and routing rules using induction rather than hand- tweaking. The disadvantages being a new language to learn (though faster than the training to write flawless XML), an esoteric appearance, and a lack of recursive types (nested XML is possible, but expressed as partially applied nested functions, which are basically opaque). If its something you interested in, I would recommend playing with the language a bit, and then working from the largest to narrowest scope when writing configurations, because nested configuration may always be expressed as a string of XML. The Genode Dhall Prelude can be found here: https://git.sr.ht/~ehmry/dhall-genode Cheers, Emery

1 0

Announcement: Genode OS Framework version 19.08 released
by Norman Feske 28 Aug '19

28 Aug '19

I am happy to announce the release of Genode version 19.08. The summer release is dedicated to topics important for the practical use of Genode and Sculpt OS. Topics like keyboard-layout handling, system-time management, secure copy and paste, or dealing with a captive portal when joining a public WiFi network can safely be ignored when building proof of concepts or tech demos but they are vital for real-world use. Hence, we put them into focus. Among the further highlights of version 19.08 are the base-hw kernel running on 64-bit ARM, networking on i.MX8, a new tracing tool, Qt5 version 5.13, SMBIOS support, and enhanced POSIX compatibility. The full picture is presented by the official release documentation: https://genode.org/documentation/release-notes/19.08 The list of topics at a glimpse: - Flexible keyboard layouts - Custom kernel for 64-bit ARM and NXP i.MX8 - i.MX8 network driver - Accessing SMBIOS tables on x86 - New tooling for light-weight tracing - General system time concept - Clipboard handling - SSH exec channel support - Qt5 version 5.13 - Updated Ada/SPARK runtime - Disposable VM for handling captive portals - Consolidation of the C runtime and Noux Enjoy exploring the new release! Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs https://www.genode-labs.com · https://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

Debugging without GDB - stack print?
by Alexander Tormasov 26 Aug '19

26 Aug '19

Hi! While I am new on genode/sel4, I encounter traditional problem with app debug. I finally make iso image on my Golang test application. I use noux_fork.run as prototype, replacing fork for my test-go: <start name="noux" caps="500"> <resource name="RAM" quantum="1G"/> <config verbose="yes" stdin="/null" stdout="/log" stderr="/log"> <fstab> <null/> <log/> <rom name="test-go" /> </fstab> <start name="test-go"> </start> </config> </start> As usual, it is failed on first start accessing 0 address: …. virtual address layout of core: overall [0000000000002000,0000000200000000) core image [0000000002000000,0000000003805000) ipc buffer [0000000003805000,0000000003806000) boot_info [0000000003806000,0000000003808000) stack area [0000000040000000,0000000050000000) …. [init -> noux] arg(0): "test-go" ^M[init -> noux] --- noux started --- ^MWarning: flush page table entries - mapping cache full - PD: init -> noux -> test-go ^MWarning: flush page table entries - mapping cache full - PD: init -> noux -> test-go ^Mno RM attachment (READ pf_addr=0x0 pf_ip=0xa95b1 from pager_object: pd='init -> noux -> test-go' thread='ep') ^MWarning: invalid signal-context capability ^MWarning: page-fault, pager_object: pd='init -> noux -> test-go' thread='ep' ip=0xa95b1 pf-addr=0x0 Where I can find a map of load of my application? And symbols? I found only something like test-go file, which I can read using readelf -s… How to correspond pf_ip=0xa95b1 dress with code? good idea is ti be able to print a calls stack at some point (may be with abort) - how I can do this?

4 8

sigaltstack support with kernel seL4
by Alexander Tormasov 22 Aug '19

22 Aug '19

Do Genode (in particular, on seL4 kernel) support sigaltstack function? I found its description in signal.h while it is unresolved during linking, and my search in libs did not give any results. As I understand, it should be in libc? I found it in depot/genodelabs/api/libc/2019-07-08/include/libc/signal.h While no references to function body…

2 2

how to build an ISO for sel4
by guo minskey 21 Aug '19

21 Aug '19

Hi, all, Is there any guide to build an ISO for seL4/genode for x86_64 platform ? I am new to Genode. I downloaded an ISO ( built by alex ??), which works in qemu-kvm, but doesn't work on my Intel NUC hardware. I want to take a look into it and see if I can enable it on my hardware. But for the first step, I have to know how to build an ISO. thanks in advance, -minskey

3 3

Keyboard not working in Sculpt CE
by Stefan 18 Aug '19

18 Aug '19

Hello there, I'm playing around with the Sculpt CE Virtual Box Image on my computer (AMD Ryzen Desktop PC with USB Keyboard). The Keyboard is a Cherry USB Keyboard. Hitting F12 results in activating/deactivating the Leitzentrale Overlay, but all other keystrokes are not accepted (in noux shell and Qt5 Text Edit). Any ideas? Thank you! Stefan

2 1

Beginner question / running demo
by Schelm 14 Aug '19

14 Aug '19

Hello there, after some time of abstinence, I tried to build sculpt-19.07 <https://github.com/genodelabs/genode/releases/tag/sculpt-19.07> by cloning the repo. Following the orders in doc/getting_started.txt I installed the prebuilt toolchain and created a build dir per cd <genode-dir> ./tool/create_builddir x86_64 After that I wanted to run the demo per: cd build/x86_64 make KERNEL=linux run/demo but failed with: schelm@ubuntu:~/Development/genode/build/x86_64$ make KERNEL=linux run/demo including /home/schelm/Development/genode/tool/run/power_on/qemu including /home/schelm/Development/genode/tool/run/log/qemu including /home/schelm/Development/genode/tool/run/image/iso including /home/schelm/Development/genode/tool/run/boot_dir/linux including /home/schelm/Development/genode/repos/os/run/demo.run building targets: app/status_bar test/nitpicker spawn make app/status_bar test/nitpicker make[1]: Verzeichnis „/home/schelm/Development/genode/build/x86_64“ wird betreten checking library dependencies... Library ldso-startup Library ld Library base Program test/nitpicker/testnit Program app/status_bar/status_bar make[1]: Verzeichnis „/home/schelm/Development/genode/build/x86_64“ wird verlassen genode build completed checking configuration syntax CHECK init Power cycle step failed, retry. Power cycle step failed, retry. Power cycle step failed, retry. Boot process failed 3 times in series. I give up! Makefile:323: recipe for target 'run/demo' failed make: *** [run/demo] Error 255 Any idea? Thanks in advance! PS: Host OS is Ubuntu 18.04 LTS.

3 2

Java and VFS on different kernels
by Roman Iten 12 Aug '19

12 Aug '19

I'm experimenting with the cool feature of running Java applications introduced in Genode 19.02. I created a run script (= "copied java.run and made some minor changes") that builds and integrates a trivial Java example (check prime) [1]. It works as expected for BOARD=linux and KERNEL=linux. But for BOARD=pc and KERNEL=[hw|nova] it doesn't. Actually, I have two issues I don't understand: 1. Java cannot load the jar file: [init -> java] Error: Invalid or corrupt jarfile app.jar A workaround is to pack it into a tar file and mount it accordingly into the VFS. 2. Reading the numbers from stdin leads to: no RM attachment (READ pf_addr=0x5617b8 pf_ip=0x49a10 from pager_object: pd='init -> java' thread='pthread') Warning: page fault, pager_object: pd='init -> java' thread='pthread' ip=0x49a10 fault-addr=0x5617b8 type=no-page no RM attachment (READ pf_addr=0x4e6838 pf_ip=0x276e23f from pager_object: pd='init -> java' thread='pthread') Warning: page fault, pager_object: pd='init -> java' thread='pthread' ip=0x276e23f fault-addr=0x4e6838 type=no-page no RM attachment (WRITE pf_addr=0x49d300 pf_ip=0x82a79 from pager_object: pd='init -> java' thread='alarm-timer') Warning: page fault, pager_object: pd='init -> java' thread='alarm-timer' ip=0x82a79 fault-addr=0x49d300 type=write-fault I would have expected the run script to be platform independent. Can someone explain why it isn't? Thanks, Roman [1] https://github.com/rite/genode-world/commit/84e72ed8433114b9c0624ed1f55aeff…

2 1

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users