users

users@lists.genode.org

3 participants
2323 discussions

Genode can't find my SATA hard drive
by Nobody III 02 Nov '14

02 Nov '14

I got Genode to boot after finally finding a way to install Grub legacy. However, when Genode tries to access my hard drive, it gives me an error that says something like "could not find ahci device." Does anyone have any ideas about how to fix this?

1 0

FOSDEM 2015 - CfP: Microkernels DevRoom
by Vasily A. Sartakov 01 Nov '14

01 Nov '14

Greetings. ---- FOSDEM 2015 - CfP: Microkernels DevRoom I would love to announce the Call for Participation in the FOSDEM'15 Microkernel DevRoom. FOSDEM’15 will be held at the ULB Campus Solbosch on Saturday 31 January and Sunday 1 February 2015 and Microkernel devroom is scheduled on Sunday (01 February). Topics accepted include, but are not limited to: * Kernels, environments and frameworks * Hardware support: architectures, drivers * Languages and tools * Use cases, experiences, lessons learned and demos * Technical challenges and issues * Testing and support * Community building. Please use Pentabarf [1] system to submit your proposals. You do not need to create new account if you already have one. If the password is lost you can recovery it. Moreover, we have the devroom mailing list [2] Within submission please provide: * Title of your talk * Abstract, one or two paragraphs * Information about speaker: Name, bio, photo * Length of the talk. Each talk is limited to 45 minutes but can be less. Important dates: * Nov 28: Deadline for submissions * Dec 01: Speakers notified of acceptance * Dec 08: Schedule published Please do not hesitate to forward this CfP to anyone interested in participating. 1. https://penta.fosdem.org/submission/FOSDEM15 2. https://lists.fosdem.org/listinfo/microkernel-devroom ---- -- Vasily A. Sartakov sartakov@...104...

1 0

grub-install segfaults
by Nobody III 01 Nov '14

01 Nov '14

I used the grub-legacy bootloader, with the same patches used for Genode (grub-0.97-os.8.gz, and it compiles, but it segfaults when I run "sudo /usr/local/sbin/grub-install /dev/sda4 --root-directory=/mnt/sda4". Note that I'm on an amd64 machine, and it seems that Grub Legacy is always 32-bit. I installed all the proper libraries and headers for the 32-bit compilation prior to building. I don't know what's going wrong. Can you try to provide me with an example grub2 menuentry, as well as advice to fix the segfault?

1 0

AHCI Doesn't Work
by Nobody III 31 Oct '14

31 Oct '14

I have tested the run script run/ahci (os/run/ahci) on both foc-x86_64 and fiasco-x86. It doesn't work on either platform. In the "Limitations and Known Issues" section of the README, it does mention that it won't work properly on real hardware or on Fiasco.OC, but it also doesn't work on Fiasco in qemu. I would very much like AHCI to work on Fiasco.OC on real hardware. Can someone who understands the problems fix it? (Or teach me enough so I can fix it; note that all my experience with Genode is in configuration, not actual programming, and that I'm not familiar with OS development.)

3 4

Segmentation fault in ld.lib.so when using gzread
by Johannes Schlatow 31 Oct '14

31 Oct '14

Hey everyone, I'm using some 3rd party code that depends on zlib. In particular, it uses gzread() in order to read a file. Unfortunately, the corresponding piece of code causes a segfault in ld.lib.so. I narrowed this down to the following minimum example: gzFile gzfile_components = gzopen("test.txt", "rb"); unsigned char buffer[1024*1024]; gzread(gzfile_components, buffer, sizeof(buffer)); As you can see, the buffer is quite large but this the actual (and reasonable) value used in the 3rd party code. As soon as I reduce the size to e.g. 4096, the segfault is gone. The file I used has a size of 293 bytes. I'm using base-linux. I also remember using this code successfully on a different computer with an older version of Genode (14.03). Any ideas/comments on this?

3 4

L4Linux on x86_64
by Nobody III 31 Oct '14

31 Oct '14

It seems that L4Linux expects either x86_32 or arm. Would it work to compile the x86_32 version on x86_64? If not, why? What level of multiarch support does Genode have?

2 1

File Manager
by Nobody III 30 Oct '14

30 Oct '14

What level of file management does Genode have? Is there a graphical file manager available? Does noux support file management? Also, since I am considering implementing a file manager if one doesn't already exist, how would I do it? I'm thinking of porting PCManFM to Genode, so how does the filesystem work? (Does it have a single root directory like Linux, or does it just give you access to each filesystem like in Windows?)

3 10

Multiple Library and Binary Directories
by Nobody III 30 Oct '14

30 Oct '14

I have been looking through the Genode run scripts, and it seems that init will only look in the root of a ROM for both libraries and binaries. It would be very useful to be able to search for binaries and libraries in multiple directories (e.g. /lib, /usr/lib, /bin, /usr/bin, etc.) Also, is there a way to separate the library and binary directories without hacking init? If not, how hard would it be to hack init to add this feature?

2 2

Windowed Terminal
by Nobody III 29 Oct '14

29 Oct '14

I created a windowed terminal run script. It uses the cli_monitor server (used in terminal_mux.run) in a windowed nit_fb, and it works, except I can't switch between terminals like I can in terminul_mux using Ctrl+X. How can I add this functionality? I've attached the run script for you to look at.

2 2

Query: Two OS
by Franc sylvester 29 Oct '14

29 Oct '14

Hi everyone, I am Franc, new to Genode, At the starting stage, I am interested in exploring trustzone demo showed in the video : https://www.youtube.com/watch?feature=player_embedded&v=voFV1W4yyY8 So, I have some query related to this, As we can run two OS in both world, Genode in the secure world and other OS in the normal world, so OS running in the normal world should have different configuration from Normal bootable image or not on a particular Board ? if we have to modify the OS image to run in the normal world then what all are the changes we have to do in that ? cheers !! Franc

2 1

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users