users

users@lists.genode.org

1 participants
2310 discussions

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

Genode and Android
by Steven Harp 28 Mar '17

28 Mar '17

If one wanted to run Android OS on ARM hardware with Genode underneath, what are the available options? On x86, Virtualbox ought to be up to the job, but without something like the (seemingly offline) L4Android port, the options for virtualizing Android on Genode appear limited. Has anyone tried this recently, and if nothing off the shelf will do it now, what path looks most promising? Steve Harp

2 1

genode and Android
by Steven Harp 27 Mar '17

27 Mar '17

If one wanted to run Android OS on ARM-based hardware with Genode underneath, what are the available options? On x86, Virtualbox ought to be up to the job, but without something like the (seemingly offline) L4Android port, the options for virtualizing on Genode appear limited. Has anyone tried this recently? If nothing off the shelf will do it now, what path looks most promising? Steve Harp

1 0

GSOC 2017 - Project Enquiry
by Arun Kumar 27 Mar '17

27 Mar '17

Hi Mentors for GSOC, My name is Arunkumar Ravichandran. I have been admitted to masters program in communications engineering at Univ of California, San Diego. I currently live in Chennai, India. I would love to work on a Genode project under the FOSDEM organization in GSOC 2017. I would like to work on this project: integrating support for the SAFE network as a Genode component. Already in Genode, all the components are provided access using the capabilities. Similarly SAFENET tries to achieve the same using the access tokens. Could you please provide the scope/requirement for this implementation. Based on this, i can respond back with the design for implementing SAFEnet in Genode. Thanks, Arun

2 1

[Genode] Suggestion about mailing list subject
by Martin Iturbide 27 Mar '17

27 Mar '17

Hello to all. I was wondering if it can be useful to configure the mailing list to include on the subject (before the text) something like [Genode] or [Genode-Main] . I know that it is easy to set a rule and folder for the mailing list messages on the mail client, but in some other cases I like to identify visually and fast the messages that are from this mailing list in a group of mails. This is just a thought, I don't know how hard or easy will be to configure this on the sourceforge mailing lists. Regards -- Martín Itúrbide http://www.os2world.com martin@...476... martiniturbide@...9... Quito - Ecuador

5 5

Exceptions in with_libc not working
by Boris Mulder 22 Mar '17

22 Mar '17

Hi all, Whenever I throw an exception somewhere in code inside a with_libc lambda expression, and try to catch it outside of that block, it will not catch that exception. Example: |t||ry {| | Libc::with_libc([&] () { ... throw E||xception(); ... } );| |} catch (Exception &e) {|| Genode::log("caught");|||| } |The "caught" will never be printed in this case. What can I do to fix/work around this? -- 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

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users