users

users@lists.genode.org

1 participants
2310 discussions

getaddrinfo - Error: libc suspend() called from non-user context (0x117549a) - aborting
by Johannes Kliemann 07 Feb '18

07 Feb '18

Hi all, when I use the lwip networking I sometimes get the following error: > Error: libc suspend() called from non-user context (0x117549a) - aborting I have tracked it down to a call of getaddrinfo yet I could not find out when exactly and why this happens. It occurs at ca. 50% of the tries. Does anyone have an idea how to fix that? Also is there a way to check if an IP is available? Sleeping a few seconds and hoping that DHCP assigned an address does not seem a reliable solution to me. The full code is available at [1], [2] and [3] while the error happens in [3] at line 24. To test it yourself, check out [4] and run `make run/sntp`. Regards, Johannes [1]: https://github.com/jklmnn/genode-world/blob/sntp/src/server/sntp/main.cc [2]: https://github.com/jklmnn/genode-world/blob/sntp/src/server/sntp/client.h [3]: https://github.com/jklmnn/genode-world/blob/sntp/src/server/sntp/client.cc [4]: https://github.com/jklmnn/genode-world/tree/sntp/src/server/sntp

2 2

FOSDEM 2018 presentations
by Norman Feske 07 Feb '18

07 Feb '18

Hello everyone, the recordings of the following Genode-related talks at FOSDEM 2018 are available now: * GPU resource multiplexing in component-based systems by Sebastian Sumpf https://fosdem.org/2018/schedule/event/microkernel_genode_gpu_multiplexing/ * Live sculpting a Genode-based operating system by Norman Feske https://fosdem.org/2018/schedule/event/microkernel_genode_live_sculpting/ * User-level networking on Genode by Martin Stein https://fosdem.org/2018/schedule/event/microkernel_genode_user_level_networ… I'd like to thank the FOSDEM organizers for the fantastic conference and especially Jakub Jermar who organized this year's microkernel devroom! 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 1

Regarding building NOVA kernel
by ROHIT JAISWAL cs16m053 05 Feb '18

05 Feb '18

Hi, I have tried to build NOVA kernel but I am getting error..... <genode-main(a)lists.sourceforge.net> spawn qemu-system-x86_64 -no-kvm -display sdl -cpu core2duo -serial mon:stdio -m 512 -cdrom var/run/demo.iso -cdrom var/run/demo.iso -cdrom var/run/demo.iso qemu-system-x86_64: -display sdl: SDL support is disabled Aborting, received EOF Log step failed, retry. Boot process failed 3 times in series. I give up! make: *** [run/demo] Error 255 I have tried to comment -display sdl in build.conf but i didn't get any output. Please provide solution. -- Regards, Rohit Jaiswal

3 2

Sockets
by Roman Iten 30 Jan '18

30 Jan '18

Hi I have a libc server application that binds a UDP socket and a libc client application to test the server. For this purpose I start two vfs and bridge them using the nic_bridge component: <start name="vfs_client"> <binary name="vfs"/> <provides> <service name="File_system"/> </provides> <config> <vfs> <dir name="socket"> <lxip ip_addr="127.0.0.2" netmask="255.0.0.0" gateway="0.0.0.0" nameserver="0.0.0.0"/> </dir> </vfs> <default-policy root="/socket" writeable="yes"/> </config> <route>  </route> </start> <start name="vfs_server"> <binary name="vfs"/> <provides> <service name="File_system"/> </provides> <config> <vfs> <dir name="socket"> <lxip ip_addr="127.0.0.1" netmask="255.0.0.0" gateway="0.0.0.0" nameserver="0.0.0.0"/> </dir> </vfs> <default-policy root="/socket" writeable="yes"/> </config> <route>  </route> </start> <start name="nic_bridge"> <provides> <service name="Nic"/> </provides> <config> <policy label_prefix="vfs_client" ip_addr="127.0.0.2" /> <policy label_prefix="vfs_server" ip_addr="127.0.0.1" /> </config> <route> <service name="Nic"> <child name="nic_drv"/> </service>  </route> </start> The server successfully binds a UDP socket to 0.0.0.0:1234 but when the client tries to connect to 127.0.0.1:1234 it gets errno 61 (connection refused). I then tried to simplify the scenario because what I actually need is just a loopback interface. I replaced vfs_client and vfs_server by a single vfs and routed the Nic session to nic_loopback. Which leads to the same result (connection refused) when the client tries to connect. What am I missing? Thanks, Roman

2 2

Sculpt: fail to build stdcxx port
by Boris Mulder 29 Jan '18

29 Jan '18

Hi all, I wanted to try out the sculpt scenario from https://github.com/nfeske/genode.git. However, when I create the depot archive for stdcxx with > tool/depot/create genodelabs/bin/x86_64/stdcxx CROSS_DEV_PREFIX=/usr/local/genode-gcc/bin/genode-x86- I get the following error: > Library stdcxx-c++98 > MERGE stdcxx-c++98.lib.a >/usr/local/genode-gcc/bin/genode-x86-ar: basic_file_stdio.o: No such file or directory I already tried deleting the contrib directory and running prepare_port again, as well as starting from a clean directory. Furthermore, it is just a clean checkout of the repo. Googling the error message did not give me any useful results. Any ideas what I should do? -- 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)

2 1

Time For "Community Development" ML?
by John J. Karcher 26 Jan '18

26 Jan '18

Hi Norman, What do you think of setting up a new "Community Development" mailing list, for discussion and coordination within the development community that doesn't need the attention of the core developers? We're probably already at the stage now where it would be helpful, but I think the "Year Of Sculpt" will generate much wider hobbyist interest than in the past, which could disrupt the S/N ratio of this list. (Eventually, an end-user oriented ML would probably be a good idea also, but that should be a year or more away.) Thanks! -- John J. Karcher devuser@...544...

2 2

Linux IO_MEM session
by Johannes Kliemann 26 Jan '18

26 Jan '18

Hi all, I'm currently implementing a IO_MEM session for base-linux. The basic idea is as follows: - core opens a file in /dev/ and calls an ioctl on the file to set a memory range. - it passes this file descriptor to the child process that requested the session - the child process mmaps the requested memory range from the file descriptor The required device on Linux is already available (if you're interested, I've written a kernel module to provide it in [1]) so that isn't the problem. I tried to implement the IO_MEM session on base-linux but lack the understanding of how the Linux_dataspace and the Io_mem_dataspace are different. On base the Io_mem_session_component gets the dataspace capability from > _ds_cap = static_cap_cast<Io_mem_dataspace>(_ds_ep->manage(&_ds)); This doesn't work with base-linux since I can't cast the Linux_dataspace to Io_mem_dataspace. Yet I don't understand what I need to do this. I also didn't find out what parts of the session are executed in which context (speaking what runs in core and what in the component itself), especially where I would put the actual mmap call. My current implementation of the IO_MEM session is at [2] and [3]. Regards, Johannes [1]: https://github.com/jklmnn/hwiodev [2]: https://github.com/jklmnn/genode/blob/0cfcec98ad4d4fdfc7bf6cc6e6df3567360b4… [3]: https://github.com/jklmnn/genode/blob/0cfcec98ad4d4fdfc7bf6cc6e6df3567360b4…

3 8

noux_bash failure
by genode user 25 Jan '18

25 Jan '18

I have tried to build the noux_bash run file using the sel4 , nova and linux kernel options and so far have not had any success. Nova and sel4 both fail with: [init -> drivers -> acpi_drv] Error: ROM-session creation failed (ram_quota=6144, cap_quota=3, label="platform_info") [init -> drivers -> acpi_drv] Error: Could not open ROM session for "platform_info" Warning: no io_mem support on Linux (args="base=0xe0000, size=0x20000, wc=no, diag=0, label="init -> drivers -> acpi_drv -> ", ram_quota=3827, cap_quota=2") [init -> drivers -> acpi_drv] Segmentation fault (signum=11), see Linux kernel log for details This looked similar to a problem I found here: https://sourceforge.net/p/genode/mailman/message/35973788/ but changing the amount of ram in the suggested file did not help. I also tried changing the amount of ram specified for noux in the run file with no change in behavior. With the linux kernel I was told I am missing the genodelabs/pkg/drivers_interactive-linux archive but installing it fails with: /home/omavuto/projects/genode-17.11/genode-17.11/depot/ genodelabs/api/base-linux-2017-11-24/src/lib/syscall/linux_syscalls.h:383:27: error: ‘__sigword’ was not declared in this scope _value[__sigword(signum)] = __sigmask(signum); It may be that this is related to another problem I found. Earlier in the process I was told to install the base-linux archive with this command: /home/omavuto/projects/genode-17.11/genode-17.11/tool/depot/download genodelabs/bin/x86_64/base-linux but I get the error: Error: failed to download 'https://depot.genode.org/ genodelabs/src/base-linux.tgz' it looks like that this archive does not exist. I found a similarly named archive called base-linux-2017-11-27 which I was able to download. I then simlinked the base-linux-2017-11-27 to baselinux in depot/genodelabs/src/. That seemed to satisfy the requirement but perhaps the archive I used is somehow incompatible. Any suggestions on getting this to start? I am most interested in sel4 but suggestions for nova and linux are appreciated as well. Thanks!

2 3

Installing Genode within container
by Subhadeep Sarkar 24 Jan '18

24 Jan '18

Hi, I am a researcher at Inria France and am presently exploring Genode as a potential option to perform hands on with Sel4. I am relatively new to Genode and having an issue while installing it. Here is the issue: I am trying to install Genode on Ubuntu (16.04 LTS) running within a container . I am able to successfully see through all the installation steps. However, when I issue the final command: make -C build/x86_32 KERNEL=okl4 run/demo , I get this following error. make[1]: Leaving directory '/Genode/genode/build/x86_32' genode build completed using 'core-okl4.o' as 'core.o' using 'ld-okl4.lib.so' as 'ld.lib.so' using 'pit_timer_drv' as 'timer' install bootloader creating ISO image... xorriso 1.4.2 : RockRidge filesystem manipulator, libburnia project. spawn qemu-system-i386 -no-kvm -display sdl -serial mon:stdio -m 512 -cdrom var/run/demo.iso Could not initialize SDL(No available video device) - exiting Aborting, received EOF Log step failed, retry. spawn qemu-system-i386 -no-kvm -display sdl -serial mon:stdio -m 512 -cdrom var/run/demo.iso -cdrom var/run/demo.iso qemu-system-i386: -cdrom var/run/demo.iso: drive with bus=1, unit=0 (index=2) exists Aborting, received EOF Log step failed, retry. spawn qemu-system-i386 -no-kvm -display sdl -serial mon:stdio -m 512 -cdrom var/run/demo.iso -cdrom var/run/demo.iso -cdrom var/run/demo.iso qemu-system-i386: -cdrom var/run/demo.iso: drive with bus=1, unit=0 (index=2) exists Aborting, received EOF Log step failed, retry. I did install libsdl1.2-dbg . Clearly, I do not have a display connected, as I am trying to run it from within a container. Could you please help me with this issue? Thank you in advance! Yours sincerely, Subhadeep ------------------------------------------------------------------------------------------- Subhadeep Sarkar, PhD Postdoctoral researcher, Univ Rennes, Inria, CNRS, IRISA Inria Rennes - Bretagne Atlantique Campus universitaire de Beaulieu 35042 Rennes cedex, France Website: subhadeep.cf E-mail: subhadeep.sarkar@...552... ; subhadeepsarkarybs@...54... Phone: +33 2 99 84 73 52

4 10

Problem with running sel4 on Genode
by Subhadeep Sarkar 23 Jan '18

23 Jan '18

Hi, I am facing some trouble while launching Sel4 on top of Genode. I am trying to do it by the document at https://genode.org/documentation/articles/sel4_part_1 . When I run the command: sudo ./tool/ports/prepare_port sel4, I get the following error, which I am unable to bypass. subhadeep@...554...:~/Git/genode$ sudo ./tool/ports/prepare_port sel4 sel4 update src/kernel/sel4 sel4 apply /home/subhadeep/Git/genode/repos/base-sel4/patches/arm_cache.patch 1 out of 1 hunk FAILED -- saving rejects to file src/kernel/sel4/libsel4/arch_include/arm/sel4/arch/types.h.rej /home/subhadeep/Git/genode/tool/ports/mk/install.mk:129: recipe for target 'phony/patches//home/subhadeep/Git/genode/repos/base-sel4/patches/arm_cache.patch' failed make[2]: *** [phony/patches//home/subhadeep/Git/genode/repos/base-sel4/patches/arm_cache.patch] Error 1 /home/subhadeep/Git/genode/tool/ports/mk/prepare_single_port.mk:38: recipe for target '_install_in_port_dir' failed make[1]: *** [_install_in_port_dir] Error 2 tool/ports/prepare_port:33: recipe for target 'sel4' failed make: *** [sel4] Error 2 I would really appreciated any help with this, as I am unable to decode the error. Thank you for your help! Yours sincerely, Subhadeep ------------------------------------------------------------------------------------------- Subhadeep Sarkar, PhD Postdoctoral researcher, Univ Rennes, Inria, CNRS, IRISA Inria Rennes - Bretagne Atlantique Campus universitaire de Beaulieu 35042 Rennes cedex, France Website: subhadeep.cf E-mail: subhadeep.sarkar@...552... ; subhadeepsarkarybs@...54... Phone: +33 2 99 84 73 52

2 3

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users