l4-hackers April 2016

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

6 participants
8 discussions

Porting Fiasco + L4Re to Raspberry Pi 2
by Antoine DEBUT 26 Nov '17

26 Nov '17

Hello l4-hackers, I am currently working on porting the Fiasco.OC micro kernel onto the Raspberry pi 2. Therefore, I am struggling with memory mapping, and I encounter the following error when launching the default 'hello' entry: L4 Bootstrapper Build: #2 Tue Feb 23 11:57:19 CET 2016, 4.8.3 20140303 (prerelease) Scanning up to 1024 MB RAM, starting at offset 32MB Memory size is 1024MB (00000000 - 3fffffff) RAM: 0000000000000000 - 000000003fffffff: 1048576kB Total RAM: 1024MB Scanning fiasco Scanning sigma0 Scanning moe Moving up to 5 modules behind 1100000 moving module 02 { 10db000-110c4d7 } -> { 11cc000-11fd4d7 } [201944] moving module 01 { 10c9000-10da373 } -> { 11ba000-11cb373 } [70516] moving module 00 { 1043000-10c889f } -> { 1134000-11b989f } [546976] moving module 04 { 1029000-10425af } -> { 111a000-11335af } [103856] moving module 03 { 100f000-102849b } -> { 1100000-111949b } [103580] Loading fiasco Loading sigma0 Loading moe find kernel info page... found kernel info page at 0x2000 Regions of list 'regions' [ 1000, 1aff] { b00} Kern fiasco [ 2000, 92fff] { 91000} Kern fiasco [ 93000, 930eb] { ec} Root mbi_rt [ c0000, c9c33] { 9c34} Sigma0 sigma0 [ d0000, d6177] { 6178} Sigma0 sigma0 [ 140000, 16905b] { 2905c} Root moe [ 170000, 17b58b] { b58c} Root moe [ 1000000, 100e4ff] { e500} Boot bootstrap [ 1100000, 1133fff] { 34000} Root Module API Version: (87) experimental Sigma0 config ip:000c0100 sp:00000000 Roottask config ip:00140250 sp:00000000 Starting kernel fiasco at 000012b8 Non-HYP kernel detected but running in HYP mode, switching back. Hello from Startup::stage2 Assertion failed at /home/adebut/Documents/snapshotTest/l4re-snapshot-2015123115/src/kernel/fiasco/src/kern/buddy_alloc.cpp:101: (unsigned long)block >= _base Press any key to reboot. I am currently working on the latest snapshot (2015123115), with U-Boot as a bootloader, and testing on a real board (Raspberry Pi 2 model B V1.1). The entry built is the standard 'hello', and I use the ramdisk-arm.rd given in the snapshot. I did add a custom Bsp for the board, mainly based on the first Raspberry Pi except for the Base Address, that is 0x3F000000 instead of the first Pi's 0x20000000. I highly think that it is an address configuration problem, because it first happened when I did expand the RAM size to 1024MB. With further investigation, I found out that it was the kernel memory allocation that causes this error, and suspect an incorrect MMU mapping. This suspicion comes from the fact that the assertion takes the address _base (0xf0400000) and the currently allocated block (0xee100000). I did not modify any parameter in the kern/arm/mem_layout-arm.cpp file on the Fiasco directory, which provides the default ARM addressing. Maybe that's where my error comes from ? How can I correctly configure my memory mapping, besides what I already configure in the Bsp (given in attachment) ? Also, it is the first time that I am assigned for porting a system, do you have some hints, like important steps to follow ? I am pretty sure it is a newbie error, but I cannot figure it out for now :( Thanks in advance for your time, -- Antoine Debut EPITA 2016 - GISTRE

3 7

Graphical desktop, l4con, mag
by teclis High Elf 02 Jun '17

02 Jun '17

Guten Tag, I've got the Hello app runing with fiasco and l4re in qemu, how do I get the graphical UI and console running that I see on the screen shots page? Do I need to use l4con and mag? I don't see an entry with l4con in modules.list. danke * <http://german.about.com/library/media/Audio/gutentag.wav>*

6 15

Benchmarks in l4
by Maxim Baryshnikov 01 Jun '17

01 Jun '17

Hello everybody, Does the L4re contain some kind of simple performance benchmarks which are already prepared to use? I've tried to launch some demos from the ferret package but not succeed... Thank you in advance for any suggestions. Sincerely, Maxim Baryshnikov.

4 11

libfs/ FUSE on L4Re
by Stark, Josef 31 May '17

31 May '17

Hello, yesterday I came across a very interesting paper titled "Porting FUSE to L4Re", accessible here: http://os.inf.tu-dresden.de/papers_ps/pester-beleg.pdf For porting FUSE, the author uses a library called "libfs" which provides filesystem request forwarding and processing, if I understood correctly. It reads as if libfs is already included in L4Re. However, I couldn't find neither FUSE nor libfs in the current L4Re snapshot. Are they by any chance publicly available somewhere else, or are both not to be published? Cheers, Josef

4 7

Task Priority Setting
by Nourhan Mohamed 02 May '16

02 May '16

Dear L4Hackers, I have been trying to run 2 simple L4 tasks and give one of them highest scheduling priority and the other one the least. I have tried using the priority attribute in the start script as well as: scheduler = L4.Env.user_factory:create(L4.Proto.Scheduler, 0x18, 0x8) with different ranges for each of them but I don't notice any change in their runtimes. Am I missing something here? Thanks in advance, Nourhan

3 4

Question about ARM LPAE
by li94575 07 Apr '16

07 Apr '16

hello, I want to use the ARM LPAE in Fiasco.OC, may I need to modify the start code of l4re? The board supports two DDR3 channels, and each channel supports two chip-selects. I need to use the memory device on CS0 populated for each channel. One memory rang is from 0x00000000 to 0x3fffffff, the anther is from 0x100000000 to 0x13fffffff. How can sigma0 see both of them? thank you!

2 8

Bootstrap in real mode on x86_64: Possible?
by Maxim Baryshnikov 05 Apr '16

05 Apr '16

Hello everyone, I am trying to find some ways to port/launch Fiasco.OS into "The Jailhouse hypervisor <https://github.com/siemens/jailhouse.git>" environment using x86_64 architecture. This hypervisor does not provide any bootloader at all. It simply loads raw binary on the specified address and launches it in real mode from this address. In 'l4/pkg/bootstrap/server/src/README' I found two options described. I think it might be suitable for me. 3) bootstrap can boot from real-mode, esp. with pxelinux, i.e. it can be booted via PXE. For that it also needs include all images. This should also work with syslinux (e.g. from CDs/DVDs). (Note, grub can also read is9660 filesystems.) 4) bootstrap starts from protected mode but isn't started by a multiboot compliant loader. Also needs to include all modules. So, I started my tries from the 3th option. Following the bootstrap code, I find out that there is some piece of code for real mode bootstrapping and the defining of "REALMODE_LOADING" directive switches it on. I have tried to compile it with REALMODE_LOADING = 1 (and also with IMAGE_MODE = 1, and RML = 1), which I added in 'bootstrap/server/src/Makeconf.local' folder. Also, I commented the row with error command in Makefile.rules: |ifneq ($(REALMODE_LOADING)$(RML),00) REALMODE_LOADING := 1 #$(error Info: Default reloc needs to be 0x00100000) # And if you have done so you probably need to relink sigma0 and/or moe endif||| I admit that I did not actually understand the purpose of this block here.. I would really appreciate if someone explains it to me. Unfortunately, when I continue to make it without command mentioned above I've faced with the following compilation error: | [bootstrap] ... Compiling platform/x86_pc.o|| ||/home/coon848/projekt-git-clones/l4re-snap/src/l4/pkg/bootstrap/server/src/platform/x86_pc.cc: In member function ‘const char* {anonymous}::Platform_x86_1::cmdline() const’:|| ||/home/coon848/projekt-git-clones/l4re-snap/src/l4/pkg/bootstrap/server/src/platform/x86_pc.cc:73:26: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]|| || return (char const *)p;|| || ^|| ||/home/coon848/projekt-git-clones/l4re-snap/src/l4/pkg/bootstrap/server/src/platform/x86_pc.cc: In member function ‘virtual Boot_modules::Module {anonymous}::Platform_x86_multiboot::module(unsigned int, bool) const’:|| ||/home/coon848/projekt-git-clones/l4re-snap/src/l4/pkg/bootstrap/server/src/platform/x86_pc.cc:176:64: error: ‘mbi’ was not declared in this scope|| || l4util_mb_mod_t *mb_mod = (l4util_mb_mod_t*)(unsigned long)mbi->mods_addr;|| ||^|| ||/home/coon848/projekt-git-clones/l4re-snap/src/l4/pkg/bootstrap/server/src/platform/x86_pc.cc: In member function ‘virtual unsigned int {anonymous}::Platform_x86_multiboot::num_modules() const’:|| ||/home/coon848/projekt-git-clones/l4re-snap/src/l4/pkg/bootstrap/server/src/platform/x86_pc.cc:184:41: error: ‘mbi’ was not declared in this scope|| || unsigned num_modules() const { return mbi->mods_count; }|| || ^|| ||/home/coon848/projekt-git-clones/l4re-snap/src/l4/pkg/bootstrap/server/src/platform/x86_pc.cc: In member function ‘virtual void {anonymous}::Platform_x86_multiboot::reserve()’:|| ||/home/coon848/projekt-git-clones/l4re-snap/src/l4/pkg/bootstrap/server/src/platform/x86_pc.cc:190:43: error: ‘mbi’ was not declared in this scope|| || regions->add(Region::n((unsigned long)mbi,|| || ^|| ||/home/coon848/projekt-git-clones/l4re-snap/src/l4/pkg/bootstrap/server/src/platform/x86_pc.cc: In member function ‘virtual void {anonymous}::Platform_x86_multiboot::move_module(unsigned int, void*, bool)’:|| ||/home/coon848/projekt-git-clones/l4re-snap/src/l4/pkg/bootstrap/server/src/platform/x86_pc.cc:232:61: error: ‘mbi’ was not declared in this scope|| || l4util_mb_mod_t *mod = (l4util_mb_mod_t*)(unsigned long)mbi->mods_addr + index;|| ||^|| ||/home/coon848/projekt-git-clones/l4re-snap/src/l4/pkg/bootstrap/server/src/platform/x86_pc.cc: In member function ‘virtual l4util_mb_info_t* {anonymous}::Platform_x86_multiboot::construct_mbi(long unsigned int)’:|| ||/home/coon848/projekt-git-clones/l4re-snap/src/l4/pkg/bootstrap/server/src/platform/x86_pc.cc:249:9: error: ‘mbi’ was not declared in this scope|| || if (mbi->flags & L4UTIL_MB_CMDLINE)|| || ^|| ||/home/coon848/projekt-git-clones/l4re-snap/src/l4/pkg/bootstrap/server/src/platform/x86_pc.cc:253:9: error: ‘mbi’ was not declared in this scope|| || if (mbi->flags & L4UTIL_MB_VIDEO_INFO)|| || ^|| ||/home/coon848/projekt-git-clones/l4re-snap/src/l4/pkg/bootstrap/server/src/platform/x86_pc.cc:263:45: error: ‘mbi’ was not declared in this scope|| || total_size += sizeof(l4util_mb_mod_t) * mbi->mods_count;|| || ^|| ||/home/coon848/projekt-git-clones/l4re-snap/src/l4/pkg/bootstrap/server/src/platform/x86_pc.cc:345:3: warning: control reaches end of non-void function [-Wreturn-type]|| || }|| || ^|| ||/home/coon848/projekt-git-clones/l4re-snap/src/l4/pkg/bootstrap/server/src/platform/x86_pc.cc: In member function ‘virtual unsigned int {anonymous}::Platform_x86_multiboot::num_modules() const’:|| ||/home/coon848/projekt-git-clones/l4re-snap/src/l4/pkg/bootstrap/server/src/platform/x86_pc.cc:184:58: warning: control reaches end of non-void function [-Wreturn-type]|| || unsigned num_modules() const { return mbi->mods_count; }|| ||^|| ||/||home/coon848/projekt-git-clones/l4re-snap/src/l4/mk/binary.inc:825: recipe for target 'platform/x86_pc.o' failed| It says that problem is in 'platform/x86_pc.cc'. So, my question is, does the real mode option switch on like that or I did something wrong? How should it be done? And if it is possible to bootstrap without multiboot complaint loader in protected mode, how should it be compiled? Thank you in advance. Sincerely, Maxim Baryshnikov.

2 1

Microkernel Meetup
by Bjoern Doebel 03 Apr '16

03 Apr '16

Hi all, it is time for another meeting of current and former microkernel enthusiasts in Dresden. I prepared a Dudle to find a suitable time: http://dudle.inf.tu-dresden.de/mks-0316/ and will let you know about a location once we settled on a date. Looking forward to your replies! Bjoern

1 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 April 2016