users

users@lists.genode.org

1 participants
2310 discussions

Cuystomizing additional libraries and features on Fiasco.OC/L4Linux
by Thotheolh Tay 15 Jul '15

15 Jul '15

Hi, How do I add/customize the L4Linux so that the next time I build the ISO and boot it, it will have the programs I customized it for ? An example is to add GCC and GNU Make so that when it boots on ISO, I would have the ability to script C/C++ and Make on the booted L4Linux ? -- +---------------------------------------------------------+ | PGP Secure Email Key ID:6FBFC19D | +---------------------------------------------------------+

2 1

sendmsg in libc_lwip
by Mohammad Hamad 13 Jul '15

13 Jul '15

hello, I am looking in plugin implementation to have deep understand about it. my objective is to implement the "sendmsg" function. i was able to mange it but when i am compiling i got error message tell me that the " struct msghdr and iovec" were defined twice ! . I add the the definition of struct msghdr and struct iovec in /include /lwip/lwip/sockets.h and they are already defined in /libc/sys/socket.h . i am really confused since there are many data types defined in the both headers (e.g sockadd) and libc_lwip was never complained ! best,

2 2

Joining Filesystems
by Nobody III 12 Jul '15

12 Jul '15

I have been thinking about writing a file manager for Genode. This has led me to some questions: Is there already any file manager currently being written? What is the best way of joining multiple filesystems into a single tree? (Or should I be doing something different?) Which libraries/files/functions should I use? I think Boost Filesystems should be ported to Genode at some point, so I might want to use that. How difficult would that be? Or should not add that as a dependency? What's the best way to scan a directory for files and other directories? How much file type detection (and file preview) is safe? Also, I may want to use threading. Are C++11 threads supported?

2 4

Gopher protocol server
by unknown＠example.com 11 Jul '15

11 Jul '15

For anyone looking to browse file systems on Genode over a network, I have a Gopher protocol server. Its not very well tested (or thought out), so I'm keeping it in my feature repo at app/gopher_server. https://github.com/ehmry/genode-emery My only use for it so far has been writing logs to a ram_fs, then reading them with lynx. Gopher is a more or less dead protocol, but its also dead simple. Cheers, Emery

1 0

base-hw: Virtualbox thread priorities
by Adrian-Ken Rueegsegger 10 Jul '15

10 Jul '15

Hi, While investigating the cause for the performance discrepancy of Virtualbox on NOVA vs hw_x86_64[_muen] [1], I have determined, with help from Alexander, that Virtualbox thread priorities [2] are not applied on base-hw. Even though priorities are specified when constructing the Cpu_connection [3], they have no effect since no quota is subsequently assigned/transferred. According to the 14.11 release notes [4], threads without quota have no guarantee to be scheduled and their priority is ignored. I believe this is the main cause for the difference in execution speed of Virtualbox on NOVA and base-hw. I was wondering if you could confirm my analysis of the issue and provide some pointers on how to best achieve the proper application of Virtualbox thread priorities on base-hw. Regards, Adrian [1] - Even in recompiler-only mode the guest execution on NOVA is considerably faster than on hw_x86_64 or hw_x86_64_muen [2] - https://www.virtualbox.org/browser/vbox/trunk/include/iprt/thread.h#L90 [3] - https://github.com/genodelabs/genode/blob/master/repos/ports/src/virtualbox… [4] - http://genode.org/documentation/release-notes/14.11#Trading_CPU_time_betwee…

4 17

Trying to port DosBox on Genode
by Daren Sin 08 Jul '15

08 Jul '15

Hi all! I'm trying to follow the instructions stated on the page http://genode.org/documentation/developer-resources/porting_dosbox but I seem to be getting some problems. I could export the svn directory of DosBox successfully, and a directory for DosBox was also created successfully. But once I *cd* into the directory, I could not seem to run the *make* instruction; all I got in the *build.log* file was *make: *** No targets specified and no makefile found. Stop. *(though I notice that there's a *Makefile.am*) Thanks!

2 3

"Core" thread doesn't become active in kernel initialization
by Bob Stewart 07 Jul '15

07 Jul '15

Hi, I'm bringing up Genode (15.05) on an TI AM437x SoC and it is failing kernel initialization. The initialization appears go ok until the call to init_kernel_mp_primary(). Once the Core_thread singleton is created the last printf output that appears is one I inserted after the call to to _become_active() in the constructor. A printf inserted into the singleton method after the Core_thread creation never shows up on the console. The initialization never completes. The AM437x is a Cortex-A9MP platform with a single core. It is very similar to the Panda board as far as memory mapping goes. Any hints on how to debug this situation further would be very helpful. Thanks, Bob Stewart

5 15

Attempting to run L4Linux/Fiasco.OC combination in VirtualBox
by Thotheolh Tay 06 Jul '15

06 Jul '15

Hi, I attempted to run a 32 bit built L4Linux/Fiasco.OC built from 15.05 Genode Framework onto a VirtualBox instance with the following VirtualBox configuration attached in the mail. I only saw a few lines of Boot message quickly passing by (too quick to actually read it) and then a blank screen. Do I need to do anymore thing to make the ISO L4Linux run on the VirtualBox ?

2 1

Creating my first Genode application
by Daren Sin 06 Jul '15

06 Jul '15

Hi all, I'm currently trying to run Genode on a NOVA hypervisor. I'm following the tutorial in http://genode.org/documentation/developer-resources/client_server_tutorial, but ran into a bit of trouble in the section "Making it fly". I can't seem to add the *config* code in*build/bin/config*. Correct me if I'm wrong, the *build* directory is the one that we've previously created using the *create_builddir* tool right? For my case, I'm using the NOVA microkernel, and I named my build directory *build.nova*. So this should be the *build* directory right? Daren

2 1

cannot run make/demo
by Daren Sin 03 Jul '15

03 Jul '15

Hi, I tried the steps listed in the Genode website, and I'm trying to run Genode on the NOVA microkernel. Previously, I've had trouble running the above because I didn't install Expect correctly. Now, I've passed that hurdle and encountered another problem: ... make[1]: Leaving directory `/home/mylinux/Downloads/genode-15.05/build_dir' genode build completed Warning: Cannot validate config syntax (please install xmllint) cp: cannot stat ‘bin/fb_drv’: No such file or directory while executing "exec cp bin/$binary [run_dir]/genode" (procedure "copy_and_strip_genode_binaries_to_run_dir" line 4) invoked from within "copy_and_strip_genode_binaries_to_run_dir $binaries" (procedure "run_boot_dir" line 6) invoked from within "run_boot_dir $binaries" (procedure "build_boot_image" line 2) invoked from within "build_boot_image $boot_modules" (file "/home/mylinux/Downloads/genode-15.05/repos/os/run/demo.run" line 225) invoked from within "source $include_name" ("foreach" body line 6) invoked from within "foreach include_name [get_cmd_arg --include ""] { # first check if the include name is absolute if {[string first "/" $include_name] == 0} { puts ..." (file "/home/mylinux/Downloads/genode-15.05/tool/run/run" line 642) make: *** [run/demo] Error 1 Upon installing the libxml2-utils package, the line "Warning: Cannot validate config syntax (please install xmllint)" disappeared, but the rest of the error message still exists. Any help here? Daren

5 7

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users