users

users@lists.genode.org

1 participants
2310 discussions

support HDMI controller on Odroid_x2
by Alexy Gallardo Segura 02 Sep '15

02 Sep '15

Hello Genode community Hello Martin I am currently working with odroid_x2. I'm trying to give support HDMI controller. I adapted the driver for exynos5 and works well but has a problem with screen resolutions. When the resolution setting is lower than the monitor supports the image is shown on one corner and the rest of image it looks deformed. Martin this also happened in the exynos5 ? and not be so if you have any idea what could be the problem. Best Regards Alexy.

1 0

Multiple PL2303 on PandaBoard
by Krefft, Daniel 27 Aug '15

27 Aug '15

Hi, as mentioned in your IRC channel, I need to connect several PL2303 USB2UART bridges on PandaBoard's USB ports. But, I get the following error (found in raw.cc): Device type already present (vendor: %x product: %x). Overwrite!? What changes are required to manage multiple devices with the same type. Best regards. Daniel

2 2

Reading file in RPI
by Mohammad Hamad 27 Aug '15

27 Aug '15

Hi, I am trying to write/read file using Genode and RPi. could you guide me how i can start? best,

1 0

Problem building NOVA kernel
by Thotheolh Tay 16 Aug '15

16 Aug '15

Hi, I am trying to build a NOVA + Virtualbox combination scenario and I am getting an error: *"make: *** No rule to make target `kernel'. Stop."* Below are the build log: *thotheolh@...344...:~/Desktop/genode-15.05$ ls* *build iso README Running In Terminal tool* *doc LICENSE repos Running In Terminal~ VERSION* *thotheolh@...344...:~/Desktop/genode-15.05$ cd build/* *thotheolh@...344...:~/Desktop/genode-15.05/build$ ls* *app bootstrap drivers include kernel l4linux Makefile server test* *bin core etc init l4 lib progress.log sigma0 var* *thotheolh@...344...:~/Desktop/genode-15.05/build$ cd ..* *thotheolh@...344...:~/Desktop/genode-15.05$ ls* *build iso README Running In Terminal tool* *doc LICENSE repos Running In Terminal~ VERSION* *thotheolh@...344...:~/Desktop/genode-15.05$ cd repos/* *thotheolh@...344...:~/Desktop/genode-15.05/repos$ ls* *base base-hw base-pistachio dde_linux hello_tutorial ports-foc* *base-codezero base-linux base-sel4 dde_rump libports README* *base-fiasco base-nova dde_bsd demo os* *base-foc base-okl4 dde_ipxe gems ports* *thotheolh@...344...:~/Desktop/genode-15.05/repos$ cd base-nova/* *thotheolh@...344...:~/Desktop/genode-15.05/repos/base-nova$ ls* *doc etc include lib Makefile mk patches ports README run src* *thotheolh@...344...:~/Desktop/genode-15.05/repos/base-nova$ make prepare* *make[1]: Entering directory `/home/thotheolh/Desktop/genode-15.05/repos/base-nova'* *nova download https://github.com/alex-ab/NOVA.git <https://github.com/alex-ab/NOVA.git>* *Cloning into 'src/kernel/nova'...* *remote: Counting objects: 4744, done.* *remote: Total 4744 (delta 0), reused 0 (delta 0), pack-reused 4744* *Receiving objects: 100% (4744/4744), 6.00 MiB | 188 KiB/s, done.* *Resolving deltas: 100% (3427/3427), done.* *nova update src/kernel/nova* *nova generate nova.hash* *make[1]: Leaving directory `/home/thotheolh/Desktop/genode-15.05/repos/base-nova'* *thotheolh@...344...:~/Desktop/genode-15.05/repos/base-nova$ make prepare PKG=virtualbox* *make[1]: Entering directory `/home/thotheolh/Desktop/genode-15.05/repos/base-nova'* *nova update src/kernel/nova* *make[1]: Leaving directory `/home/thotheolh/Desktop/genode-15.05/repos/base-nova'* *thotheolh@...344...:~/Desktop/genode-15.05/repos/base-nova$ make kernel* *make: *** No rule to make target `kernel'. Stop.* How should I build the kernel ? Thanks & Regards, Thotheolh. -- +---------------------------------------------------------+ | PGP Secure Email Key ID:6FBFC19D | +---------------------------------------------------------+

2 1

adding new libc_plugin
by Mohammad Hamad 12 Aug '15

12 Aug '15

Hi, I add simple APIs for management the security association database (SADB) to the lwip to support IPsec. how i can add this api to the existing libc_plugin , if not,are there any clear step to add new libc_sadb plugin for example . best.

2 2

Celebrating Genode's 7th Anniversary
by Norman Feske 11 Aug '15

11 Aug '15

Dear Genode community, it has been 7 years since we officially published the first version of the Genode OS Framework. Like every year, we want to celebrate our anniversary together with you! Every year of our company's history was special. But this year, Genode has finally reached the point where we started using it as our regular day-to-day OS. When we started our company, this was our dream. You can imagine our excitement about our dream having become true. Let us get together to celebrate our past achievements and the many prospects that lay in front of us! Following the tradition of the past years, we invite you to a barbecue and campfire at the river Elbe: Google Maps: http://goo.gl/maps/C0luj 25th of August, 6 pm near Drachenschänke in Dresden Please note the location that changed from last year! We will accommodate you with a beautiful scenery at the river, a choice of beverages, grilled vegetarian or non-vegetarian food, and the company of the local operating-systems community. If you are going to attend, we would greatly appreciate a short note from you to ease our preparations: info@...1... Best regards 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 1

missing pci_drv driver
by Guido Witmond 09 Aug '15

09 Aug '15

Hello Genodians, I'm about to test your new tg3 driver on my system. However, I cannot get genode to compile. I've got the latest genodelabs/genode repos checked out. This is the part that's breaking: diff --git a/repos/ports/run/lighttpd.run b/repos/ports/run/lighttpd.run index 60b9937..8148fe9 100644 --- a/repos/ports/run/lighttpd.run +++ b/repos/ports/run/lighttpd.run @@ -6,6 +6,7 @@ set build_components { core init + drivers/pci drivers/nic drivers/timer app/lighttpd @@ -41,7 +42,17 @@ append config { <provides><service name="Timer"/></provides> </start>} -append_platform_drv_config +#append_platform_drv_config +append_if [have_spec pci] config { + <start name="pci_drv"> + <resource name="RAM" quantum="4M"/> + <provides><service name="PCI"/></provides> + <config> + <policy label="nic_drv"> + <pci bus="0x10" device="0" function="0"/> + </policy> + </config> + </start>} append config { <start name="nic_drv"> In short: I need the pci driver to attach the nic_drv to the correct device, one of three available ethernet cards. It gives this error: make run/lighttpd ... Error: target 'drivers/pci' does not exist ... Where do I get the pci-driver from, it's missing in repos/os/src/drivers Cheers, Guido.

2 3

TrustZone: forcing instant switch from secure to normal world?
by David Goltzsche 04 Aug '15

04 Aug '15

Hi Genode team & list, in my master's thesis I built a framework, which enables cross-world-communication between the normal and secure world. This was based on your tz_vmm demo. If this sounds familiar: I already posted a few questions on this list related to my thesis ;) My framework relied on periodic world switches triggered by Genode's scheduler (The normal world is running within a Genode thread, so the scheduler prevents both worlds from starving). Of course, simply waiting for world switches leads to high latencies and a low throughput. To speed things up, we already improved the communication from normal to secure world: The normal world instantly hands over control to the secure world utilizing the smc instruction, when a message is available. We extended the hypercall handler in the Vmm class to notify the receiver via a semaphore. Unfortunately, forcing a world switch from secure to normal world does not seem to be that easy: Genode's monitor mode implementation cannot handle entries from the secure world. Hence, usage of the smc instruction is not possible. So, my approach would be using software interrupts which sould be routed to the normal world. I played around with the svc (supervisor call) instruction, but I don't know how to route this to the secure world. Any hints? Thanks in advance David -- M.Sc. David Goltzsche Institute of Operating Systems and Computer Networks Distributed Systems Group TU Braunschweig www: https://www.ibr.cs.tu-bs.de/users/goltzsch mail: goltzsche@...290...

3 7

tg3 driver works.
by Guido Witmond 04 Aug '15

04 Aug '15

Dear Genodians, Last weekend I compiled Foc_x86_64 and tested it with the onboard ethernet cards of my server box. It worked! It worked just as good as the Intel e1000 driver. (Meaning, after a short while, all throughput ceased. :-( But that is eiter Foc or Lightttpd) The good news: this makes Genode a viable platform for many server platform that use the Marvel chipset. Thanks! Cheers, Guido.

2 1

Data Communication btw Normal and Secure World in IMX53_QSB
by JaeminPark 03 Aug '15

03 Aug '15

I’m currently developing a simple trustzone device driver running in Normal World to communicate with Genode in Secure World. I’m using IMX53 QSB, Genode 15.02 as Secure OS, and customized Linux as OS for Normal World. In Normal World, my simple device driver calls smc instruction inside module_init(). The instruction is invoked with the command structure (named by “struct smc_cmd”). The physical address of "struct smc_cmd" is passing to Genode via _vm->state()->r1. There exists two physical addresses inside “struct smc_cmd": one for request buffer and the other for response buffer where the response buffer is allocated by kzalloc(). For the address conversion, I used virt_to_phys(). In Secure World (Genode), I’m modifying the tz_vmm source code for this experiment. I’m succeed in reading the request buffer from Normal World by directly accessing the physical address of the request buffer : PINF("req_buf = %s (0x%x)", (char*)((struct smc_cmd*)cmd_addr)->req_buf_phys, ((struct smc_cmd*)cmd_addr)->req_buf_phys); Ridiculously and Unfortunately, I’m in trouble to write some characters in response buffer (whose address is the physical address of Normal World). I used Genode::memcpy() to write the characters as follows where cmd_addr is the physical address of the command structure passed from Normal World : /* acquire data to be written into memory space of normal world */ Genode::memcpy(tmp, (const char*) "From Secure World", strlen("From Secure World")); tmp[17] = '\0'; /* write a data into resp_buf_phys */ Genode::memcpy((char*)((struct smc_cmd*)cmd_addr)->resp_buf_phys, (const char*) tmp, sizeof(tmp)); /* printout contents of memory for debug */ PINF("res_buf = %s (0x%x)", (char*)((struct smc_cmd*)cmd_addr)->resp_buf_phys, ((struct smc_cmd*)cmd_addr)->resp_buf_phys); It seems that the writing operation in Secure World is successful since the last PINF() shows me the “From Secure World” in console. However, when I read the address (converted from the physical address using phys_to_virt()) in my device driver, I can only see the empty string (initial status). My questions are : Do I need another approach to write the physical memory of Normal World in the side of Genode? Is there any simple example or any volunteer to share an example for this kind of operation? Is there any comment to implement this kind of example?

3 2

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users