users

users@lists.genode.org

1 participants
2310 discussions

Two ways on running Android on top of Genode
by Magnus G. Andersson 15 Jun '11

15 Jun '11

Hi everybody As I can see it there are two ways you can run Android on top of Genode. 1. Port it, like L4Android, make it a para-virtualized system, or 2. Run Android natively on Genode Well, option number two is more of running Android apps not the whole Android OS if I have understood it correct? But my question about this is, which one do you think is best, with regards to security, updates and performance? By running Android as para-virtualized, shouldn't an attack be constrained inside the Android OS, because the underlying software (Genode) isn't visible and can't be reached? Updates on the system might be hard in both cases, or what do you think? The reason for this question is that I'm currently doing my master thesis with the aim of implementing Android on a system allowing other programs or OSes to be run in parallel with Android and I found that Genode looks like a great candidate for doing this Regards Magnus

2 1

Data space creation and physical memory allocation strategy.
by Chen Tian - SISA 13 Jun '11

13 Jun '11

Hi, When a data space is created, physical memory is reserved and cannot be used by other processes until the data space is destructed. I wonder if it would be a possible situation where physical memory may get wasted. For example, an application may first allocate a huge chunk of memory (through malloc, which will eventually lead to the creation of one or more data spaces), but only touch a small portion of it throughout the entire execution. Another example would be to have a large binary where a significant portion of the binary are not actually executed. Thus, reserving physical memory for these instruction when a program is loaded may not be good, especially in a resource-constrained environment. Does anybody know whether Linux has a similar mechanism (i.e. reserve a chunk of physical memory for a virtual memory region before the first access to this region)? If not, what are the pros and cons of these two strategies? Thank you. Best, Chen

4 6

L4Android on Genode
by Magnus Andersson 10 Jun '11

10 Jun '11

Hi just read through the release note for Genode 11.05 and noticed the support for L4Linux by emulating L4re. By emulating the L4re shouldn't the L4Android (http://l4android.org/) port of Android work as well? Also, does the emulation on L4re only work when running Genode on top if Fiasco.OC? Regards Magnus

3 2

Re: Prerequisite mechanism that Genode expects from a new kernel
by Althaf 09 Jun '11

09 Jun '11

> the Base API can be regarded as a "bottom layer specification" (its > implementation is typically less than 10KLOC) of the whole system but > there is no fixed base-internal interface. This gives each platform > maximum flexibility about how the API is implemented. Given the vast > differences of the mechanisms used, this flexibility is needed. E.g., by > comparing the ways processes are created and address spaces are managed > on Linux and L4, you will see that the respective base code has almost > nothing in common. On Linux, 'rm_session()->attach()' is implemented > locally by the calling process using mmap. In contrast, on L4, the same > API function is an RPC to core, which, in turn, manipulates the address > space on demand (using L4's map/unmap) when a page fault occurs. > Yes, i get the notion, actully at the moment i'm trying to understand base-linux. I must admit the source became much more clear after your explained the actual idea of why 'no solid bottom specification'. Another fact, i read a lot of code from various projects, genode code the most readable with well structured cpp and build setup. > topic "Microkernelizing Linux" described on our "Challenges" Wiki page? > http://genode.org/community/wiki/Challenges Yes infact. > Let me suggest two pointers that we stumbled upon when we brain-stormed > this idea. First, we were pointed to Linux' "resource containers", which > promise to allow the assignment of fine-grained resource constraints to > individual processes. This looks like an interesting mechanism to > support Genode's resource-trading concept. Secondly, we were made aware > of the Capsicum project, which brings capability-based security to Linux. > > http://www.cl.cam.ac.uk/research/security/capsicum/ > Linux containers should be LXC project from IBM.?

2 3

Problem in Genode building system?
by Chen Tian - SISA 08 Jun '11

08 Jun '11

Hi, Here is the situation I observed: First, I compile application A, which failed because I introduced some incorrect C statements in the source code. Then, I compile application B, which succeeded. Finally, I compile A again (without clean), the building system surprisingly generated A's binary! According to the verbose output, there is no compiling phase but only linking phase this time. If I run this fake binary, it's B's content. Any idea what is going on? Chen

5 7

Current genode release
by Daniel Waddington 06 Jun '11

06 Jun '11

Hi Stefan, We can't compile the latest SVN pull of Genode due to some issues with missing base-foc/contrib/kernel/fiasco. Can you please tell me what the dir structure should be and what it should contain - and check everything is their for the build. Thanks Daniel

6 6

Prerequisite mechanism that Genode expects from a new kernel
by Althaf K Backer 02 Jun '11

02 Jun '11

Greeting to Genode Community, i have been following this list for past 1 year, haven't posted any thing yet.I was more of trying to learn genode community :-).Well, now let me come the the point,I'm trying to understand Genode from bottom to top, from the subject i hope you have understood what i meant. Answers to my question does lie in /base-host directory and checking out already implemented base-xxx.However, before i dive into them if you could explain the underlying mechanism that genode expect from a new/fresh dedicated kernel meant to use genode it would help understand the /base-{host,linux,et al} better. Like, threads, shared memory, sockets, paging, MMU support etc.It would be excellent , if we have an article in [1] explaining porting to hypothetical kernel. [1] http://genode.org/documentation/articles -- /althaf k backer/

3 3

Thread creation
by Jaeyeon Kang 30 May '11

30 May '11

Hi, While I am trying to create many threads by using Genode::Thread, I've found that only up to 31 threads could be created. I've got the following message when more than 32 threads is created: C++ runtime: Genode::Cpu_session::Thread_creation_failed. Do you have any idea on this problem? Thanks, Jaeyeon Kang

2 1

Announcement: Genode OS Framework version 11.05 released
by Norman Feske 26 May '11

26 May '11

The version 11.05 of the Genode OS Framework has just been published and brings along many new things to explore. Our work on this release was motivated by two main goals, advancing the degree of support for the platforms introduced with the previous release and reconsidering one of the most fundamental base APIs of the framework, namely the inter-process communication API. The traditional IPC and client-server APIs of Genode served us well over the last five years and have never been significantly changed. However, during this time period, we gathered plenty of experience about how those APIs are used in practice and where their limitations lie. Some aspects such as the lack of type safety had been repeatedly criticised whereas other supposedly great features remained largely unused. Now, the right time has come to apply our gathered experience for re-approaching the problem. The result is a brand new RPC API that facilitates type safety and ease of use while sticking to the use of no other tool than the C++ compiler. Because this is the most far- reaching API change in Genode's history so far, the release- notes document (see below) covers our line of thoughts and the migration path of existing software to the new API in great detail. Fiasco.OC as the latest addition to Genode's base platforms has received a lot of attention. We have managed to advance this platform to the same level as other fully-featured platforms, including support for dynamically linked binaries and the signalling API. Furthermore, we are making two of Fiasco.OC's most valued features available to Genode, which are its support for the ARM and x86-64 architectures and the ability to run the paravirtualized L4Linux kernel as user-level process. Also our custom kernel implementation for MicroBlaze-based SoCs has undergone a major upgrade, enabling the implementation of user- level device drivers. To make this platform easy to explore, the release is accompanied with a reference SoC that is ready to use on the Xilinx Spartan3A Starter Kit. With regard to the framework's functionality, the new version features the experimental integration of the GNU debugger with Genode, introduces a number of new device drivers for the ARM RealView PBX platform, and adds new scripts to automatically exercise popular Genode features such as Qt4 and lwIP on different base platforms. The release notes summary is as follows: * New API for type-safe inter-process communication * Extended Fiasco.OC platform support * Shared libraries * Signalling framework * ARM RealView PBX-A9 support * x86 64-bit support * L4Linux (IA32 and ARM) * New experimental GDB support * Device-I/O support for MicroBlaze platform * ARM RealView PBX device drivers for input, display, network, and sdcard * New ready-to-use scripts for easy test-driving of various Genode features such as Qt4, lwIP, Noux, L4Linux, GDB For a detailed discussion of these topics, please refer to the full release-notes document: http://genode.org/documentation/release-notes/11.05/ Best regards -- 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

1 0

hello_tutorial
by unknown＠example.com 25 May '11

25 May '11

Hi, I would like to get working example from "hello_tutorial". Building demo or l4linux leads to making .iso file and next running it from QEMU. But, in case of hello sample (according to "Creating your first Genode Application" manual) we should "... go to build/bin, run ./core, and get excited". I have tried to play with demo and l4linux configs but it doesn't help. Have I missing something or this manual is out of date? Thanks, Yuri Kozyaev

2 1

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users