users October 2014

users@lists.genode.org

18 participants
33 discussions

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

Microkernel Stammtisch Dresden: Nov 6, Shamrock
by Julian Stecklina 29 Oct '14

29 Oct '14

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Hello fellow microkernel hackers, for everyone outside the Dresden, Germany area this mail is unfortunately off-topic. For everyone else there is going to be another Microkernel Stammtisch on Thursday, November 6th in the Shamrock Irish Pub[1]. If you intend to join, please leave a note using the link below, so I can reserve a table: https://dudle.inf.tu-dresden.de/ukvly-beer/ See you there, Julian [1] Kleine BrÃ¼dergasse 1, Dresden -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iEYEARECAAYFAlRQL34ACgkQ2EtjUdW3H9l5qwCdHVLdLwthN4i5n8p7pQrqmr46 JzgAn18ML6+KoyLQZGEwg3jQW9CzOmUv =wapd -----END PGP SIGNATURE-----

1 1

Ext4
by Nobody III 28 Oct '14

28 Oct '14

It seems that Genode lacks ext4 support. Is there any intention to port an ext4 driver to Genode? How hard would this task be?

1 0

Full Genode Install
by Nobody III 28 Oct '14

28 Oct '14

I want to install Genode with all the possible components as a mini operating system. It seems ready or almost ready for this, and making a full Genode system (noux, l4linux, arora, etc.) available to run from a cd or a hard drive would make the operating system framework attract a lot more interest. After this, it may be a good idea to create a Debian Genode port (Debian GNU/Genode). Basically, I am interested in Genode and would probably try to port some software to it if I could install it on my computer as a cohesive whole, and there are probably others like me.

2 4

Error when wompiling L4Linux
by Nobody III 28 Oct '14

28 Oct '14

When I try to compile L4Linux on genode, I get the following error: repos/ports-foc/src/server/balloon/main.cc:1:45: fatal error: balloon_session/balloon_session.h: No such file or directory It seems that L4Linux is targetting a file that used to exist but doesn't anymore. Can somebody who knows enough about genode fix this?

1 0

Is there any method to obtain real-world date and time in Genode?
by 王硕 28 Oct '14

28 Oct '14

Dear Norman and all Genodians, I want to obtain‍ real-world date and time in Genode (base-foc), so would you like to tell me how to achieve it. Rtc is too slow, and Rdtsc‍ can't obtain real time. ------------------ Shuo Wang, University of Chinese Academy of Sciences.

4 4

tz_vmm on imx6 Board
by chirag garg 28 Oct '14

28 Oct '14

Hi all, I am running tz_vmm script for imx6 processor, In which I tried to linux in the normal world and i got the following message : kernel initialized int main(): --- create local services --- Genode 14.08 int main(): --- create local services --- int main(): --- start init --- int main(): transferred 253 MB to init int main(): --- init created, waiting for exit condition --- [init] Could not open file "ld.lib.so" [init] parent provides [init] service "ROM" [init] service "RAM" [init] service "IRQ" [init] service "IO_MEM" [init] service "CAP" [init] service "PD" [init] service "RM" [init] service "CPU" [init] service "LOG" [init] service "SIGNAL" [init] service "VM" [init] child "tz_vmm" [init] RAM quota: 3932160 [init] ELF binary: tz_vmm [init] priority: 0 [init -> tz_vmm] *Could not open file "linux"* [init -> tz_vmm] C++ runtime: Genode::Rom_connection::Rom_connection_failed [init -> tz_vmm] void* abort(): abort called what could be the problem ?? why it is not able to open Linux? Thanks in advance. Regards Chirag Garg IIT Madras , Rise Lab

2 2

Genode and is relation to Wayland's evolving security model..
by Peter Lindener 27 Oct '14

27 Oct '14

Hello fellow Genodians.. I took note of this mention of LibWSM Wayland Security Module on the Phoronix web site <http://www.phoronix.com/scan.php?page=news_item&px=MTgwOTc>... it seems like there might be something for them to learn from Genode's work on nitpicker....in any case, I gather it it would be good is like minds might connect.. -Peter

2 1

TrustZone image problem
by chirag garg 27 Oct '14

27 Oct '14

Hi all, I am try to run tz_vmm script for imx6 board, I am able to compile the script for imx6 board and it is successfully creating the uImage of size 7.5 MB, But when I am trying to run this image on the board this is giving follwing error. ## Booting kernel from Legacy Image at 10800000 ... Image Name: Image Type: ARM Linux Kernel Image (gzip compressed) Data Size: 7858156 Bytes = 7.5 MB Load Address: 11000000 Entry Point: 11000000 Verifying Checksum ... OK Uncompressing Kernel Image ... Error: inflate() returned -5 GUNZIP: uncompress, out-of-mem or overwrite error - must RESET board to recover resetting ... I try to follow the post on the same problem occurring for imx53 board, I change Load address for the image, but still I am getting this error. Regards Chirag Garg IIT Madras , Rise Lab

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users October 2014