users

users@lists.genode.org

2 participants
2342 discussions

CPU frequency on i.MX53 QSB?
by David Goltzsche 06 Nov '14

06 Nov '14

Hi everyone, I still use my setup based on the tz_vmm runscript. I want to obtain the current cpu frequency in both secure and normal world. In linux, the sysfs directories for the cpu are empty. How can i read the current CPU frequency in genode? Maybe dynamic frequency scaling in unsupported and I can assume the CPU to always run at max frequency (1GHz in this case)? thanks! David

2 1

ATA support
by Nobody III 06 Nov '14

06 Nov '14

Would it be reasonable to add libATA to DDE_Linux? I would like to run Genode on my computer and port various programs and libraries to Genode, but I can't get the ATA (ATAPI) driver to detect my hard drive (or my CD drive, for that matter). My computer's motherboard lacks AHCI support, and I don't feel inclined to buy a new computer for Genode, since my computer is good (has a quad-core processor and 4GB RAM) and is working just fine and I don't have a lot of money. As it is, unless I can get support for my hard drive, I'll probably have to drop Genode for about 4 years until I upgrade.

4 6

Filesystem Permissions
by Nobody III 05 Nov '14

05 Nov '14

What is Genode's level of support for filesystem permissions?

1 0

Genode is out of frequency range on 1920x1080 monitor
by Nobody III 04 Nov '14

04 Nov '14

My computer has a 1920x1080 monitor, and, when I run Genode from a CD, my monitor gives me an "out of frequency range" error when it starts the terminal echo test. This seems to be a bug in fb_drv. I have an intel i915 graphics card, if that helps.

2 2

ATAPI driver still not working
by Nobody III 03 Nov '14

03 Nov '14

The ATAPI driver is still unable to detect my hard drive (or my CD drive for that matter), even though I have switched to a 32-bit Genode system. Any help?

2 4

Conference "New Directions in Operating Systems" in London
by Norman Feske 03 Nov '14

03 Nov '14

Hello everyone, I was made aware of the following event titled "New Directions in Operating Systems", which takes place on 25 November in London. http://operatingsystems.io The conference is organized by members of the Rump-kernel community. Since Genode is using Rump kernels, e.g., to provide file systems, there is an obvious connection between both projects. I am planning to attend and possibly give a talk. Maybe the conference is of interest to some of you, too? It would be a nice opportunity to catch up. ;-) Cheers Norman -- Dr.-Ing. Norman Feske Genode Labs http://www.genode-labs.com · http://genode.org Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

2 2

About privileged instructions on L4android
by li94575 03 Nov '14

03 Nov '14

Hi All, Can someone tells me how to execute ARM privileged instruction on L4android, such as " MCR, MRC......" I have a piece of code that needs to execute privileged instructions, but I don't want to put it all into the kernel ----Fiasco.OC. I want to know if L4android have any good ways to solve this problem.

2 1

ATAPI not working
by Nobody III 02 Nov '14

02 Nov '14

I have been trying to get Genode to run on my computer. It currently can start init but cannot detect my hard drive. I originally tried using the AHCI driver, but that failed, and after some research, I found out that my motherboard lacks acpi support. I then tried using the atapi driver, but it couldn't detect any IDE devices. After looking for atapi usage in some run scripts, I found that libc_block says, "ATAPI driver does not support 64 bit." I am using foc_x86_64, so, unless that information is incorrect/outdated, it explains why no IDE devices were detected. Could someone please add 64-bit support to the ATAPI driver? I would offer to help if I were qualified.

1 0

IDE Support
by Nobody III 02 Nov '14

02 Nov '14

I have been trying to install Genode on my computer, and have been somewhat successful, but when Genode tries to access my hard drive, I get an error that it could not find an AHCI device. After some research, I have found that although my motherboard has SATA II support, it lacks AHCI support. Is there an IDE driver for Genode so I can access my hard drive?

1 0

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

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users