users

users@lists.genode.org

1 participants
2310 discussions

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

Error about "somebody tries to fake us!"
by li94575 22 Oct '14

22 Oct '14

Hi all, Recently,when I ported some linux drivers to genode, occasionally, there will be such an error "somebody tries to fake us!". To find the cause of the error,I analysed the communication between client and server. First, client creats the connection to the server, then the server will creat a server object with an valid id, also an Ipc_gate object(binding to the entry_point thread) is created and the id is set as the gate-label. Last, the server returns the cap of the ipc_gate. I grab the session capability the client obtained after the connection, and get the id（local name）of the session capability. Once I call the interface function the server provided, the id will be encapsulated into Message Register(mr[0]). When the server receives the requesting message, it will compare the id(the server recevied) and label of the gate. I tried to illustrate it by making a simple diagram.Is this correct? Now I know the value of the id on client side is 0x14dc,the label of the gate is 0x14dc, but the id on server side is 0x4. My doubt is:where the object id could be tampered? Thanks in advanced.

2 4

L4Android
by Nobody III 22 Oct '14

22 Oct '14

When I run "make prepare" for L4Linux, it stalls while trying to clone into the L4Android repository. The repository seems to be moved or gone. Where is the current repository?

2 3

Binary Distribution
by Nobody III 22 Oct '14

22 Oct '14

I'm very interested in running Genode on my computer. I understand that it's not yet fully usable, but it has a fair amount of functionality and seems almost ready to run like a normal operating system. It seems to have decent hardware support, ext2 support, sound support, networking support, decent graphical capablilities, noux, a demo program launcher, and even L4Linux. Is there anything it needs besides a run script (or something of the like) to run it as a semi-complete operating system on my PC?

1 0

Current Genode Status
by Nobody III 21 Oct '14

21 Oct '14

Is it currently possible to compile programs to run on Genode inside Genode (by using noux gcc, perhaps)? Also, is there a run script that includes everything you've already compiled, or at least one that includes noux and arora?

2 2

netpref with genode
by Mhamad Hmad 20 Oct '14

20 Oct '14

Hi all, sorry for the previous email . it has been sent by mistake. I am trying to run the netperf_lwip but i am not able i did the next form the port dir i prepare the netperf from the build.conf i enabled the ports repository then from the build.lx (the build dir for linux) i try to run the test , i prepared the libc and lwip fron the libports dir and enabled them also in the build.conf . when i run the test it is asked me to compile the netperf client version 2.6.0 on the host system ?? any one can help . best.

2 4

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users