users

users@lists.genode.org

6 participants
2306 discussions

More small questions
by Jookia 05 Sep '15

05 Sep '15

Hey again, Sorry for the single word titles. I don't have Genode installed at the moment, but I'm curious about some minor things happening in the Genode space. >From what I've seen it doesn't really have a proper command line shell that can administer the system interactively. Is this the case, how would one handle doing tasks like managing daemons, file systems, launching applications in a system tree? For instance in the future, if I wanted to use a web browser over Tor I'd somehow have to launch a Tor network service and then have a web browser use that network service. How would I accomplish that? In future I'd imagine having a system configuration file specifying a tree like this for my machine showing services, applications, file systems that are available to services, GUI launchers, etc to build up a compartmentalized system. How hard would it get Fiasco.OC to run a rich GNU/Linux system through trustzone? I've heard it's possible, but I'm not sure how it'd work in Genode. I'd really like to have something like to run slow virtual L4Linux systems for 'secure' applications and an untrusted rich system elsewhere. Though perhaps this is a bad idea, and if it's not doable base-hw will have to do. Cheers, Jookia.

1 0

Qt in file manager?
by Nobody III 05 Sep '15

05 Sep '15

I'm hoping to find time to write a file manager for Genode. Do you think I'm safe to use Qt? I'm not planning on showing previews at first, and if I decide to add previews, they will be rendered in a separate process, so the only untrusted data I see are the filenames. In this case, I think it's safe to say that Qt won't be able to be compromised by rendering plain text. What do you think?

1 0

Testing the SD Card Driver for Raspberry Pi Model B
by Waldo Paz Rodriguez 04 Sep '15

04 Sep '15

Hello Genode comunity, I 'm testing the SD Card driver for Raspberry Pi model B, essentially I execute the sd_card.run scenario. The test fail when the reading process is called. This is the serial output: Genode 15.05-150-g4bc5872 <local changes> int main(): --- create local services --- int main(): --- start init --- int main(): transferred 249 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open ROM session for module "ld.lib.so" [init -> platform_drv] --- Raspberry Pi platform driver --- [init -> sd_card_drv] --- SD card driver --- [init -> platform_drv] Input message: [init -> platform_drv] 00000018 00000000 00020001 00000008 00000004 00000000 00000000 [init -> platform_drv] Output message: [init -> platform_drv] 00000018 80000001 00020001 00000008 80000008 00000000 00000001 [init -> sd_card_drv] -> index=0x00000000, arg=0x00000000, rsp_type=0 [init -> sd_card_drv] -> index=0x00000008, arg=0x000001aa, rsp_type=2 [init -> sd_card_drv] -> index=0x00000037, arg=0x00000000, rsp_type=2 [init -> sd_card_drv] -> index=0x00000029, arg=0x40018000, rsp_type=2 [init -> sd_card_drv] -> index=0x00000037, arg=0x00000000, rsp_type=2 [init -> sd_card_drv] -> index=0x00000029, arg=0x40018000, rsp_type=2 [init -> sd_card_drv] -> index=0x00000002, arg=0x00000000, rsp_type=1 [init -> sd_card_drv] CID: 0x1b534d30 0x30303030 0x100702ac 0x1200cc00 [init -> sd_card_drv] -> index=0x00000003, arg=0x00000000, rsp_type=2 [init -> sd_card_drv] RCA: 0x59b4 [init -> sd_card_drv] -> index=0x00000009, arg=0x59b40000, rsp_type=1 [init -> sd_card_drv] -> index=0x00000007, arg=0x59b40000, rsp_type=2 [init -> sd_card_drv] -> index=0x00000037, arg=0x59b40000, rsp_type=2 [init -> sd_card_drv] -> index=0x00000006, arg=0x00000002, rsp_type=2 [init -> sd_card_drv] SD card detected [init -> sd_card_drv] capacity: 7523 MiB [init -> test-blk-cli] block device with block size 512 sector count 15407104 (testing 131072 sectors) [init -> sd_card_drv] -> index=0x00000000, arg=0x00000000, rsp_type=0 [init -> sd_card_drv] -> index=0x00000008, arg=0x000001aa, rsp_type=2 [init -> sd_card_drv] -> index=0x00000037, arg=0x00000000, rsp_type=2 [init -> sd_card_drv] -> index=0x00000029, arg=0x40018000, rsp_type=2 [init -> sd_card_drv] -> index=0x00000037, arg=0x00000000, rsp_type=2 [init -> sd_card_drv] -> index=0x00000029, arg=0x40018000, rsp_type=2 [init -> sd_card_drv] -> index=0x00000002, arg=0x00000000, rsp_type=1 [init -> sd_card_drv] CID: 0x1b534d30 0x30303030 0x100702ac 0x1200cc00 [init -> sd_card_drv] -> index=0x00000003, arg=0x00000000, rsp_type=2 [init -> sd_card_drv] RCA: 0x59b4 [init -> sd_card_drv] -> index=0x00000009, arg=0x59b40000, rsp_type=1 [init -> sd_card_drv] -> index=0x00000007, arg=0x59b40000, rsp_type=2 [init -> sd_card_drv] -> index=0x00000037, arg=0x59b40000, rsp_type=2 [init -> sd_card_drv] -> index=0x00000006, arg=0x00000002, rsp_type=2 [init -> sd_card_drv] SD card detected [init -> sd_card_drv] capacity: 7523 MiB [init -> test-blk-cli] reading block 0 - 131071, 246 per request [init -> sd_card_drv] -> index=0x00000012, arg=0x00000000, rsp_type=2 [init -> sd_card_drv] command timed out [init -> sd_card_drv] Read_multiple_block failed, Status: 0x01ff0207 [init -> test-blk-cli] Test failed! [init -> test-blk-cli] couldn't read block 0 - 246 [init] virtual void Genode::Child_policy::exit(int): child "test-blk-cli" exited with exit value -2 Regards waldo

2 3

seL4: does X server require Linux; hardware for VMs
by John Lee 04 Sep '15

04 Sep '15

Hi I'd like to try running Genode on seL4. I wasn't expecting this to get into a release this soon so I'm very pleased to see it. Two questions, one re software, one re hardware: Software: For applications like firefox I read that it's currently necessary to run an X server. Does that X instance (and firefox) need to run on a Linux VM? Hardware: I read on the seL4 FAQ that to "run Linux on top of SeL4", I need: 1. Intel VT-x with EPT (standard by now I guess?) 2. an HPET [1] that supports MSI delivery [2] Re 2.: is all this integrated in Haswell processors? If yes, does Haswell support this? If no, does anybody know how to verify a motherboard supports it? [1] https://en.wikipedia.org/wiki/High_Precision_Event_Timer [2] https://en.wikipedia.org/wiki/Message_Signaled_Interrupts John

3 3

Gmane mirror?
by John Lee 04 Sep '15

04 Sep '15

Does anybody (in particular the list administrators of course) object if I request that gmane.org carries this mailing list? Thanks John

2 2

Build Target linux-arm: Wrong Compiler?
by Krefft, Daniel 03 Sep '15

03 Sep '15

Hello, we want to build Genode on top of Linux for an ARM-based platform (beagle bone black). Therefore, we choose the 'linux_arm' as build target. With Genode's ARM-Toolchain and x86-Toolchain in place, the compilation works without any problems. But, the resulting program is build for the x86_64 architecture. So, we have the following two questions: 1. Is it possible to build the linux_arm target for ARM (as suspected)? 2. Where can we change the compiler option pointing to e.g. arm-none-eabi? Best regards, Daniel -- ***************************************************************** * Daniel Krefft M.Sc. * * T: +49-89-289-18791 * * * Technische Universitaet Muenchen * Fakultaet fuer Informatik - F13 (Prof. Baumgarten) * Boltzmannstr. 3 * D-85748 Garching bei Muenchen * Germany *****************************************************************

3 2

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

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users