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, L4IO_MEM_NONCACHED, &_vbase); >>> >> (base = 0x53F00000, AISPTZ_SIZE = 0x4000) >>> >> It return 0. >>> >> >>> >> But when I try to write to mapped registers my program stopping: >>> >> *((volatile l4_umword_t *)(_vbase + reg)) = val >>> >> (reg = 0x0, val = 0x77777777) >>> > >>> > Could you check whether it page-faults permanently? (Enable page-fault >>> > logging in jdb: P*, let it go, then check trace-buffer via shift-T.) >>> > Also try using l4_mem_write as it could be that writing from userspace >>> > does not work. >>> >>> Yes, It's page-faults permanently. In tracebuffer I see: >>> >>> pf: 0044 pfa=00003000 ip=01000294 (Wp) spc=0xf12e4690 79598 >>> pf: 0044 pfa=00003000 ip=01000294 (Wp) spc=0xf12e4690 79597 >>> pf: 0044 pfa=00003000 ip=01000294 (Wp) spc=0xf12e4690 79596 >>> >>> why it happening? >> >> Device may only be written/read from secure privileged mode, this is one >> of them (I think). Please try writing/reading via l4_mem_write and >> l4_mem_read. >> >> >> >> Adam >> -- >> Adam adam(a)os.inf.tu-dresden.de >> Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > I tried use l4_mem_write for write 0x77777777, it looks ok. But, when > I tried l4_mem_read for read from same register it returns 0x0. > But similar code injected to bootstrap startup function works fine. I tried use l4_mem_write for write 0x77777777, it looks ok. But, when I tried l4_mem_read for read from same register it returns 0x0. But similar code injected to bootstrap startup function works fine.

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;8ffff] [0:97000;97fff] [0:9f000;13ffff] [4:140000;174fff] [0:175000;177fff] [4:178000;18efff] [0:18f000;100efff] [4:100f000;100ffff] [0:1010000;10fffff] [4:1100000;1528fff] [0:1529000;effffff] IOMEM:---------------------- [0:10000000;ffffffff] MOE: Hello world MOE: found 240780 KByte free memory MOE: found RAM from 59000 to f000000 MOE: allocated 239 KByte for the page array @0x9f000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:501000] BOOTFS: [14b4000-14cd448] [C:503000] l4re BOOTFS: [14ce000-1528bc8] [C:504000] ned BOOTFS: [1100000-1100189] [C:505000] l4lx.cfg BOOTFS: [1101000-11eb1ac] [C:506000] io BOOTFS: [11ec000-11ec0bd] [C:507000] arm-rv.io BOOTFS: [11ed000-14ae474] [C:508000] vmlinuz.arm BOOTFS: [14af000-14b3a86] [C:509000] ramdisk-arm.rd MOE: cmdline: moe rom/l4lx.cfg MOE: Starting: rom/ned rom/l4lx.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/l4lx.cfg' Ned: ERROR: cannot read rom/l4lx.cfg: Invalid argument ------------------------------------------------------------------ My 'l4lx.cfg' file is the default file from the l4/conf/examples folder. I haven't changed anything. And my 'modules.list' looks like this: -------------------------- modaddr 0x01100000 entry L4Linux_ARM kernel fiasco -serial_esc roottask moe rom/l4lx.cfg module l4re module ned module l4lx.cfg module io module arm-rv.io module vmlinuz.arm module ramdisk-arm.rd --------------------------- I'm using the latest L4re, Fiasco and L4Linux checked out from the SVN today and I'm running a Kirkwood based device. Any help is appreciated! Cheers, Jester

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 someone already adapted a .dev file to the PandaBoard and can provide me with some information or even may share his configuration with me or the public. Thank you very much in advance for your help. Sebastian

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 snapshot little bit and now I'm able to >> compile and run fiasco-ux. >> >> But not all is perfect: >> 1. I copied fiasco-ux with irq0, moe, ned and sigma0 together, but >> if I try to run hello-example it quits with >> FATAL exception in MOE: >> Exception: No such object found: rom/l4re: backtrace ... > > Go to the l4-obj directory where L4Re was built to and issue: > make ux E=hello > > You'll probably need to setup the path to the Fiasco UX build in > l4/conf/Makeconf.boot > >> 2. I have no idea, which package and why should I give to fiasco-ux to >> run l4linux. > > make ux E=L4Linux-mag-x86 > > or similar. The key here is the l4/conf/modules.list file which contains > which files are taken for which boot entry etc. > > > > Adam > -- > Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > _______________________________________________ > l4-hackers mailing list > l4-hackers(a)os.inf.tu-dresden.de > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

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: Dump of all resource maps RAM:------------------------ [4:70000000;70000fff] [4:70061000;7008ffff] [4:70097000;70097fff] [4:7009f000;8effffff] IOMEM:---------------------- [0:0;53efffff] [10:53f00000;53f03fff] [0:53f04000;63f9bfff] [10:63f9c000;63f9ffff] [0:63fa0000;6fffffff] [0:90000000;ffffffff]

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 configuration-disable signal beforehand. That leads to 'undefined instruction' exceptions, whenever one tries to write into the p15/c15-c0-1 debug register (like it's done in init_errata_workarounds). The attached patch implements Cpu::init_errata_workarounds() empty for the pandaboard. Moreover, it restricts the appliance of ERRATA 743622 to CPU revisions: r2p0-r2p2. With the attached patch Fiasco.OC runs fine on the Pandaboard too. Best regards Stefan -- Stefan Kalkowski 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

2 2

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