users November 2014

users@lists.genode.org

23 participants
44 discussions

Announcement: Genode OS Framework version 14.11 released
by Christian Helmuth 28 Nov '14

28 Nov '14

With this year's November release we close one of the last functional gaps to employ Genode as day-to-day operating system on modern laptops. The support for Intel WiFi hardware incl. WPA comes as a component that just snaps in place beside out support for wired NICs. The second major improvement is the new scheduler for or custom HW kernel that supports trading of CPU resources among Genode subsystems, similarly to how memory is managed on Genode. The highlights of this release are - Intel wireless stack - New CPU scheduler for the base-hw kernel - New dynamic linker - VirtualBox version 4.3.16 running on NOVA - Updated Seoul VMM running on NOVA - New GUI-architecture components - Improved integration of Qt5 - Extended Raspberry-Pi driver support - Tool-chain update to GCC 4.7.4 The whole story is available in the release documentation http://genode.org/documentation/release-notes/14.11 Happy hacking -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

Re: Detect Monitor Resolution
by Matthias Lange 28 Nov '14

28 Nov '14

Hi, On 11/27/2014 06:36 PM, Nobody III wrote: > What I'm most interested in is x86 and VESA. That's my configuration for > everything beside the Raspberry Pi, which already works. It's also the > most common desktop configuration, which should probably make it the > highest priority of the supported platforms. That means you have DDC working on the Raspi? For VESA you just have to make the right calls (do not remember them from the top of my head, but they are in the spec) into the VESA Bios to read the EDID. Then you are good to go. Best, Matthias. > > On Thu, Nov 27, 2014 at 8:58 AM, Matthias Lange > <matthias.lange@...272... <mailto:matthias.lange@...272...>> > wrote: > > Hi, > > On 11/26/2014 09:49 PM, Nobody III wrote: > > A common feature in modern operating systems is automatic > detection of a > > monitor's ideal/native resolution. How feasible would it be to add > this > > to Genode? > > Without knowing all the details about Genode's framework this is > definitely possible. It basically comes down to > > 1. Which platform you want to target and > 2. how much engineering effort you are willing to spend. > > If it is x86 and the video connector is handled by VESA it is easy. It > gets more complicated for displays connected via LVDS (usually all > laptop screens) as you will need drivers for the southbridge and I2C. On > ARM platforms you will most likely need GPIO and I2C drivers. > > Best, > Matthias. > > > -- > Matthias Lange, matthias.lange@...272... > <mailto:matthias.lange@...272...>, +49 - 351 - 41 88 86 14 > <tel:%2B49%20-%20351%20-%2041%2088%2086%2014> > > Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. > GeschÃ¤ftsfÃ¼hrer: Dr.-Ing. Michael Hohmuth > > -- Matthias Lange, matthias.lange@...272..., +49 - 351 - 41 88 86 14 Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. GeschÃ¤ftsfÃ¼hrer: Dr.-Ing. Michael Hohmuth

1 0

Detect Monitor Resolution
by Nobody III 27 Nov '14

27 Nov '14

A common feature in modern operating systems is automatic detection of a monitor's ideal/native resolution. How feasible would it be to add this to Genode?

2 1

Query : Machine Type, Kernel_offset
by Franc sylvester 27 Nov '14

27 Nov '14

Hi all, I saw some variable set in.. genode/repos/os/src/server/tz_vmm/imx53/ enum { KERNEL_OFFSET = 0x8000, MACH_TYPE_TABLET = 3011, MACH_TYPE_QSB = 3273, BOARD_REV_TABLET = 0x53321, }; static const char* cmdline_tablet = "console=ttymxc0,115200"; I want to set these variable for my board. where should i get these value ?? Thanks Franc

2 1

Raspberry Pi SD Card Driver
by Nobody III 27 Nov '14

27 Nov '14

Is there a driver available for the Raspberry Pi's SD Card? If so, how do I use it?

2 2

base-hw rpi: compiling UART driver fails
by Nobody III 27 Nov '14

27 Nov '14

When I try to compile the genode UART driver for the raspberry pi, I get the following output: Program drivers/uart/pl011/uart_drv COMPILE main.o /home/kingtux/Downloads/genode-master/repos/os/src/drivers/uart/pl011/main.cc:17:24: fatal error: pl011_defs.h: No such file or directory compilation terminated. /home/kingtux/Downloads/genode-master/repos/base/mk/generic.mk:56: recipe for target 'main.o' failed make[2]: *** [main.o] Error 1 var/libdeps:1771: recipe for target 'uart_drv.prg' failed make[1]: *** [uart_drv.prg] Error 2 Makefile:209: recipe for target 'gen_deps_and_build_targets' failed make: *** [gen_deps_and_build_targets] Error 2 Can anyone fix this or help me understand what's going on?

2 2

Priorities
by Nobody III 27 Nov '14

27 Nov '14

How exactly do priorities work in Genode (e.g. do higher-priority tasks get access to the CPU at the expense of lower-priority tasks whenever they want, or is it more like the Linux scheduler's niceness?)

1 0

status of iwlwifi driver
by Christian Menard 27 Nov '14

27 Nov '14

Hi, what is the current status on the port of the iwlwifi driver? I found that there is a new staging branch https://github.com/cnuke/genode/tree/wifi_staging. Does it mean that the driver is ready for testing? I would like to test it on our hardware. If it is ready, could you give me short instructions on how to configure the driver? Thanks Christian

5 7

UEFI support
by Christian Menard 26 Nov '14

26 Nov '14

Hi, is there any support for boot on UEFI planned? How ard would it be to add UEFI support? I'm specifically interested in the NOVA platform. Cheers Christian

2 1

USB Mouse not working on RaspberryPI
by Reinier Millo Sánchez 24 Nov '14

24 Nov '14

Hi I'm trying to test the Genode examples on RaspberryPI, but the USB Mouse is not working. I'm using the revision (ac6c4682f3df6e5069f5c0aed02a7e60eea834f8), testing the examples of revision (f4e735fa1626712a8b4e856b980fa11e64b78c8a) its works fine. This is the serial output Genode 14.08 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 248 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" [init -> fb_drv] --- fb_drv started --- [init -> platform_drv] --- Raspberry Pi platform driver --- [init -> launchpad] Could not open file "ld.lib.so" [init -> usb_drv] Services::Services(): No <storage> config node found - not starting the USB Storage (Block) service [init -> usb_drv] Services::Services(): No <nic> config node found - not starting the USB Nic (Network) service [init -> usb_drv] Enabled UHCI (USB 1.0/1.1) support [init -> usb_drv] Enabled EHCI (USB 2.0) support [init -> usb_drv] Enabled XHCI (USB 3.0) support [init -> usb_drv] dev_info: DWC OTG Controller [init -> usb_drv] dev_info: new USB bus registered, assigned bus number 1 [init -> usb_drv] dev_info: irq 17, io mem 0x00000000 [init -> usb_drv] dev_info: USB hub found [init -> usb_drv] dev_info: 1 port detected [init -> nitpicker] create session with args: label="status_bar", ram_quota=28672 [init -> nitpicker] create session with args: label="launchpad", ram_quota=28672 [init -> nitpicker] create session with args: label="pointer", ram_quota=28672 [init -> status_bar] could not parse focus report [init -> launchpad] --- entering main loop --- Best regards -- Lic. Reinier Millo SÃ¡nchez Centro de Estudios de InformÃ¡tica Universidad Central "Marta Abreu" de Las Villas "antes de discutir ... respira; antes de hablar ... escucha; antes de escribir ... piensa; antes de herir ... siente; antes de rendirte ... intenta; antes de morir ... vive"

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users November 2014