l4-hackers September 2012

l4-hackers@os.inf.tu-dresden.de

8 participants
9 discussions

Re: Fiasco.oc & trustzone
by Nikolay Golikov 24 Sep '12

24 Sep '12

2012/9/20 Nikolay Golikov <decaprox(a)gmail.com>: > 2012/9/20 Adam Lackorzynski <adam(a)os.inf.tu-dresden.de>: >> On Thu Sep 20, 2012 at 15:25:54 +0400, Nikolay Golikov wrote: >>> 2012/9/20 Adam Lackorzynski <adam(a)os.inf.tu-dresden.de>: >>> > On Wed Sep 19, 2012 at 17:41:01 +0400, Nikolay Golikov wrote: >>> >> Now I have another problem: I map aipstz-1 registers with >>> >> l4io_request_iomem(base, AISPTZ_SIZE, … [View More]

2 1

problem booting L4Linux
by Death Jester 24 Sep '12

24 Sep '12

Hello Everybody, does anybody know what the following message means: ------------------------------------------------------------- Welcome to Fiasco.OC (arm)! L4/Fiasco.OC arm microkernel (C) 1998-2012 TU Dresden Rev: r40 compiled with gcc 4.4.5 for Marvell Kirkwood [] Build: #1 Thu Sep 20 09:59:27 UTC 2012 Calibrating timer loop... done. SIGMA0: Hello! KIP @ 2000 allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [0:0;fff] [0:59000;… [View More]

2 1

Fiasco.oc & trustzone
by Nikolay Golikov 20 Sep '12

20 Sep '12

Hello. I trying to use trustzone on i.mx53 with fiasco.oc Vm. I want run fiasco.oc in secure world, and run another fiasco.oc in normal world. But I can't find any example about use Vm kernel objects in fiasco.oc. May be someone did something like this?

2 7

Board-specific devices in L4Linux
by Dmitry Shubin 20 Sep '12

20 Sep '12

Hi. I would like to bring up the issue that has been highlighted in [1] and [2] quite some time ago. Has any progress been made since then? Adam, even if you ended up not making those changes, don't you mind sharing your thoughts/ideas on the matter? [1] http://os.inf.tu-dresden.de/pipermail/l4-hackers/2011/004831.html [2] http://os.inf.tu-dresden.de/pipermail/l4-hackers/2011/005074.html

2 1

omap4.dev config file for PandaBoard
by sebastian.eckl＠mytum.de 19 Sep '12

19 Sep '12

Hi, I own a PandaBoard with OMAP 4430 processor and have unavailingly tried to build L4Android for it. As basis I take the latest l4re_snapshot 2012081219. L4Re and Fiasco kernel itself are running, the provided Hello World example shows no problems. I already realized that I'll need a correct .dev config file specific to my platform, when creating the .uimage file for U-Boot. Unfortunately, an omap4.dev or panda.dev configuration file does not exist at the moment. So, I'd like to ask, if … [View More]

1 0

a question about L4_MAP_ITEM_GRANT
by Chen Tian 13 Sep '12

13 Sep '12

Hello, I have a simple question. If a parent maps a page into a child's space with this flag, can the parent regain this page and remove this mapping later? I did a simple test. It seems that with this flag in l4_task_map, the child owns the mapped page permanently. What I'd like to do is when a child finishes its job and returns such a granted page to its parent, the parent can reuse this page for some other child. Thanks.

2 1

Startup help for L4Linux
by Andrej S 12 Sep '12

12 Sep '12

Hi Adam, I have build some packages on my self on-top of bare fiasco, but however I didn't get l4linux to run. I got snapshot, I configure it, like readmy says me, with 'make setup' with all default settings and paths. Then I build it with 'make'. What should be my next steps to run l4linux? 2012/7/2 Adam Lackorzynski <adam(a)os.inf.tu-dresden.de>: > > On Sun Jul 01, 2012 at 08:57:41 -0500, Andrej S wrote: >> thanks for answer. >> I explored sources given with … [View More]

2 1

Mapping physical mem region
by Nikolay Golikov 12 Sep '12

12 Sep '12

Hi, l4-hackers! How I can map some physical memory region to task address space? I tried to use l4sigma0_map_mem, but it return me "No fpage received" error. I tried different region szes from 256M to 4K. PS I try to do it on i.mx53 TZ-VMM | Hello from tz-vmm! TZ-VMM | Nonsecure Ram mapping failed (No fpage received)! TZ-VMM | Addr: 0x80000000 Size: 0x1000 (4K) SIGMA0: Memory usage: a total of 4096 byte are in the memory pool allocated 10 of 203 objects this are 200 of 4060 byte SIGMA0:… [View More]

2 1

Fiasco.OC (rev. 40) Pandaboard support
by Stefan Kalkowski 07 Sep '12

07 Sep '12

Hi L4-hackers, recently I've tried to adapt Genode's Fiasco.OC-platform support to use the latest Fiasco.OC/L4Re subversion revision. When trying it on x86 I didn't run into any trouble. It worked "out of the box". But when it came to ARM, I got problems to boot Fiasco.OC on the Pandaboard in general (also when using plain Fiasco.OC/L4Re). I've debugged the problem down to Cpu::init_errata_workarounds(). The problem is that pandaboard's boot code initializes TrustZone, and triggers a … [View More]

2 2

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

l4-hackers September 2012