users

users@lists.genode.org

2285 discussions

Socket fs
by Boris Mulder 13 Apr '17

13 Apr '17

Hi all, I've managed to port one of our existing network applications to use the socket fs from 17.02 now, starting from the echo_udp scenario and got it working. It looks a lot better now. Following this, we would like to share our findings about the socket fs so far: 1. In the release notes you describe the support for async file I/O. However, it seems that while asynchronous I/O works now, synchronous I/O is no longer possible. When I remove the select() call in the echo scenario, the call to recvfrom() will fail saying the socket is not connected (even though it is an UDP socket and should not have the notion of connections at all). Of course this means it is not posix compatible; the intended behaviour is to block until data becomes available. 2. Currently there are two ways an application can use tcp/ip sockets from the lxip stack: By using libc sockets, and by directly opening a file system session and writing to the right socket files. For any new Genode application that does not already depend on libc, the first way means you unnecessarily add the entirety of libc to your component. So the second way seems preferred. However, when programming an application using a file system session directly adds a lot of code with many open()s, read()s and write()s that could be abbreviated into single calls such as connect() and recv(). Have you thought of providing a more convenient API (such an object-oriented Socket class that hides the vfs calls from the application programmer)? Or do you consider using the fs session interface to be better? If so, why? -- 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 3

infradead.org seems to be down
by Johannes Kliemann 11 Apr '17

11 Apr '17

Hi, while trying to build Genode with dde_linux I noticed that the connection to infradead.org timed out, so I'm not able to retrieve https://www.infradead.org/~tgr/libnl/files/libnl-3.2.25.tar.gz Is there any other source for this file? JK

4 7

Intel fb debug output
by Johannes Kliemann 10 Apr '17

10 Apr '17

Hi, I want to enable the debug output in the Intel framebuffer (to see messages printed by DRM_DEBUG_KMS). This is usually done by adding the boot parameter `drm.debug=0xe`. How would I enable this in Genode with Nova? JK

3 3

hello component doesn't run on foc_x86_32
by john stokes 05 Apr '17

05 Apr '17

hello Genodians , when i run the run script situated in lab for hello world then it runs fine on the linux_x86 but when i run it over foc_x86_32 then it shows this error : Error: No run script for hello make: *** [run/hello] Error 255 although i have added the custom repository in the etc/build.conf file and i have also created the run script named hello.run in the lab/run directory the same thing is happening with the hello_tutorial component also.please provide solution thanks in advace.

2 1

Timers
by christian schulte 04 Apr '17

04 Apr '17

Hi I am running Genode VMM demo on i.mx53 QSB. I wanted to configure the secure world or tz_vmm to switch to the normal world periodically using timer driver. It would be great if you could give me a hint how to do that. I think the board supports three timers (EPIT, GPT and watchdog). Which timer is accessed and used by the guest OS (Linux) and which one is not. How to protect the Genode timer driver as the normal world or Linux may interfere with it? Thanks a lot! Best regards, Christian

2 1

noux_bash + gcc
by Humblenoob 03 Apr '17

03 Apr '17

Hello! I'm relatively new to genode and my knowledge is poor, but I'm very fascinated by genode and microkernels in general. I hope to learn very much in the next several years. I've been able to build several working iso's from run scripts on both NOVA and seL4 with varying levels of success, which is very exciting! However, I'm not yet experienced or skilled enough to create my own custom scripts. My ideal system that I would like to create in the meantime would be noux_bash with gcc, g++, and make. How would I suppliment the existing noux_bash.run script to include these packages?

2 1

[GSoC] UEFI framebuffer task
by Philipp Kerling 31 Mar '17

31 Mar '17

Hi, I'm interested in participating in the Genode project as GSoC student, specifically the UEFI framebuffer task, so I am writing to you to briefly introduce myself and discuss the project idea. I am currently a student of Computer Engineering (MSc) at Ilmenau University of Technology in Germany in my second master semester. I've chosen computer engineering over computer science out of interest for low- level topics, which I think fits nicely with Genode. I worked on a toy x86 operating system with a friend some years ago, which was a good learning experience. It naturally did not go very far, but it did at least have basic multitasking and virtual memory :-) So, about the UEFI framebuffer proposal: Is the overall goal to have Genode/Nova running as bare UEFI application (without any OS Loader) or to have it loaded by GRUB (or similar) but not rely on outdated BIOS features (such as VBE) any more? Or support both like e.g. the Linux kernel does? This heavily influences the options available for framebuffer output, since the UEFI GOP (Graphics Output Protocol) that I assume you are referring to as one of the alternative/modern ways to access the framebuffer is only available as UEFI boot service. When being booted from an OS loader, usually only UEFI run-time services are available. In that case, the OS loader has to convey some information (mainly memory address, width/stride, height, depth) about the linear GOP framebuffer that the loader (or the firmware, for that matter) initialized to the kernel. multiboot2 does this for example with the framebuffer boot info tag. So to use this it would be sufficient to write a generic framebuffer driver operating on that information that is not specific to UEFI at all. It could probably also use the VBE framebuffer provided the OS loader initialized it. The "problem" with this is that it is probably not enough work to justify a 3-month GSoC proposal. I hope that the questions at least touch the right topics but do feel free to say so if you had something different in mind altogether. Best regards, Philipp

3 12

GSoC 2017 Consideration - Qemu
by Aaron 30 Mar '17

30 Mar '17

Hello, My name is Aaron. I am writing this letter because I would like to enter my name consideration in your [possible specificity] project. I did not participate in the pre-application phase, which I know places me at a disadvantage, and as a result I am sending this email to probe your interest. Your organization's participation in the Summer of Code is somewhat serendipitous for me. I had previously been communicating with the Qemu organization about the possibility of porting their software to additional platforms, but they were not receptive (possibly even planning to remove platform support). Porting qemu, is exactly what I've been wanting to do. I've also read through some of your mailing lists and I don't believe that anyone else is taking this task on. With all of that said: are you willing to accept new candidates, or are you only selecting from those that have already communicated? Thank you for any thoughts you might have, Aaron Hudson P.S. I made the mistake of emailing the main gsoc@...489..., which has only exacerbated the issue. The message above was the original message sent to that mailing list.

2 1

run/noux_bash
by Prashanth Mundkur 30 Mar '17

30 Mar '17

Hi, I'm trying to run noux_bash on Linux on today's master genode branch, and running into some issues. When I make run/noux_bash, I can see a x-window pop-up with the bash root prompt, and can extract using echo the following responses from bash: bash-4.1# echo $PATH /usr/gnu/bin:/usr/local/bin:/bin:/usr/bin:. bash-4.1# echo $SHELL /bin/bash bash-4.1# echo $TERM linux However, any non-shell command causes a dead unresponsive shell, with "Kernel: ipc_cap_data nullptr" output on the screen running the run script: [init] child "fb_sdl" announces service "Framebuffer" [init] child "fb_sdl" announces service "Input" [init] child "terminal" announces service "Terminal" [init -> terminal] create terminal session [init -> terminal] new terminal session: [init -> terminal] framebuffer has mode 1024x768@...487... [init -> terminal] character size is 6x14 pixels [init -> terminal] terminal size is 170x54 characters [init -> noux] Warning: stdin VFS path not defined, connecting to terminal session [init -> noux] Warning: stdout VFS path not defined, connecting to terminal session [init -> noux] Warning: stderr VFS path not defined, connecting to terminal session [init -> noux] --- noux started --- Kernel: ipc_cap_data nullptr The terminal doesn't recognize the '/' of my keyboard, and so I cannot try giving full paths to the various executables like /bin/env. Is this an issue with my local setup, or running a non-released genode version, or a bug? The broader question I had is: what would be needed to run bash from within a non-graphical terminal, as in via an ssh server. I have a very basic and incomplete sshd server running in genode linux [1], and need to fulfill, on the server end, the pty_request and shell_request sent by the ssh client. I notice that the bash port is built using: repos/ports/src/noux-pkg/bash/target.mk: # Prevent interactions with nonexisting tty driver CFLAGS += -DNO_TTY_DRIVER and a repos/ports/src/noux-pkg/bash/check_dev_tty.patch which removes a bash call to check_dev_tty(). Would this affect the above goal? Thanks, --prashanth [1] https://github.com/pmundkur/genode/commits/ssh_terminal

2 1

Genode on i.MX6 (eMMC Flash)
by Kranthi Tej 29 Mar '17

29 Mar '17

Hello, We are using a i.MX6 based board. We have been able to run Android successfully on the board. I've built the Genode demo image for the ARM processor by using the Wandboard build configuration (hw_wand_quad). I have successfully generated an image of Genode demo in the build directory named "demo.img". Can I load the generated Genode image onto the eMMC flash of the board using MfgTool? If so, can you please guide me on how it can be done? Thanks in advance, Kranthi

2 3

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users