l4-hackers September 2015

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

5 participants
7 discussions

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

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 … [View More]

4 7

Question about memory management in L4 Fiasco O.C + L4re
by Mahdi Aichouch 04 Jan '16

04 Jan '16

Hello, I have some questions concerning memory management in Fiasco O.C + L4re. I would like to test two L4Linux instances, and for each L4Linux instance I want to reserve one static fixed physical memory partition. For instance, one 128MB for the first L4Linux and one 128MB for the second. Knowing that Fiasco O.C. uses "on demand paging" to allocate pages for user tasks, is it possible that each partition of L4Linux could be allocated a static physical memory region composed of contiguous … [View More]

2 37

Re: make uimage error
by Shabnam Engineer 05 Oct '15

05 Oct '15

Hi Adam,I built l4linux successfully and again I got this error : ******************************************************************************---> my command : make uimage E="L4Linux ARM" MODULE_SEARCH_PATH=/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/kernel/fiasco/mybuild/ O=/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/ ---> the message : make[1]: Entering directory `/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/… [View More]l4' Could not find 'vmlinuz.arm' with path '/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/kernel/fiasco/mybuild/:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/bin/arm_armv7a:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/bin/arm_armv7a/l4f:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/lib/arm_armv7a:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/lib/arm_armv7a/l4f' Processing of /home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/conf/modules.list failed! make[3]: *** No rule to make target `mod.make.inc', needed by `bootstrap.ld'. Stop. make[2]: *** [/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/pkg/bootstrap/server/src/OBJ-arm_armv7a] Error 2 make[1]: *** [uimage] Error 2 make[1]: Leaving directory `/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4' make: *** [uimage] Error 2 ******************************************************************************thank you for your considering my question.Regards, Shabnam On Monday, September 14, 2015 2:44 AM, Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> wrote: hi, On Sat Sep 12, 2015 at 19:45:44 +0000, Shabnam Engineer wrote: > Hi Adam ,Thanks a lot for helping me.Your solution is ok but now I get this error : > ************************************************************************* > Could not find 'l4lx.cfg' with path '/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/kernel/fiasco/mybuild/:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/bin/arm_armv7a:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/bin/arm_armv7a/l4f:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/lib/arm_armv7a:/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/lib/arm_armv7a/l4f' > > Processing of /home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/conf/modules.list failed! > > make[2]: *** No rule to make target `mod.make.inc', needed by `bootstrap.ld'. Stop. > make[1]: *** [/home/shabnam/Desktop/snapshot/l4re-snapshot-2014092821/src/l4/builddir/pkg/bootstrap/server/src/OBJ-arm_armv7a] Error 2 > make: *** [uimage] Error 2**************************************************************and the l4lx.cfg file is in src/l4/conf/examples path and when I copied it to the one of the pathes that said in the above, I then got this error for another file like "vmlinuz.arm" that this file does not exist in any folder. > thank you for considering my questio.Regards, Shabnam vmlinuz.arm is the binary of L4Linux. Did you build L4Linux? By the way, the paths can be configured in src/l4/conf/Makeconf.boot Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/ [View Less]

2 3

Error when building L4RE
by Mahdi Aichouch 29 Sep '15

29 Sep '15

Hello, I tried to build L4 Fiasco O.C + L4RE on Ubuntu 14.04 LTS x86_64 host, but I get the following error: Checking for needed programs and tools make ... ok gcc ... ok g++ ... ok ld ... ok gawk ... ok perl ... ok pkg-config ... ok Checking for needed cross programs and tools arm-linux-gcc ... ok arm-linux-cpp ... ok arm-linux-nm ... ok arm-linux-g++ ... ok arm-linux-ld ... ok Checking optional … [View More]programs and tools doxygen ... NOT DETECTED but optional Some optional command is missing on your system, don't worry. doxygen Creating build directories... make[1]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco' Creating build directory "../../../obj/fiasco/arm-mp-rv-a9-vexpress"... done. make[1]: Leaving directory `/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco' make[1]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/obj/fiasco/arm-mp-rv-a9-vexpress' make -C /home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco/src/../tool/kconfig O=/home/mahdi/OS/l4re-core-2014092821/obj/fiasco/arm-mp-rv-a9-vexpress Kconfig=Kconfig KCONFIG_AUTOHEADER=globalconfig.h KCONFIG_TRISTATE=include/config/tristate.conf KCONFIG_CONFIG=globalconfig.out KCONFIG_AUTOCONFIG=include/config/auto.conf KERNELVERSION=SVN MENUCONFIG_COLOR=blackbg INCLUDE_PPC32= INCLUDE_SPARC= fiasco_srcdir=/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco/src/.. olddefconfig make[2]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco/tool/kconfig' make[1]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/obj/fiasco/arm-mp-rv-a9-vexpress' HOSTCC scripts/basic/fixdep HOSTCC scripts/kconfig/conf.o SHIPPED scripts/kconfig/zconf.tab.c SHIPPED scripts/kconfig/zconf.lex.c SHIPPED scripts/kconfig/zconf.hash.c HOSTCC scripts/kconfig/zconf.tab.o HOSTLD scripts/kconfig/conf scripts/kconfig/conf --olddefconfig Kconfig # # configuration written to globalconfig.out # make[2]: Leaving directory `/home/mahdi/OS/l4re-core-2014092821/src/kernel/fiasco/tool/kconfig' make[1]: Leaving directory `/home/mahdi/OS/l4re-core-2014092821/obj/fiasco/arm-mp-rv-a9-vexpress' make[1]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/src/l4' All build tools checked ok. Creating build directory "../../obj/l4/arm-ca"... make[2]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/src/l4' make[1]: Entering directory `/home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca' HOSTCC scripts/basic/fixdep HOSTCC scripts/kconfig/conf.o SHIPPED scripts/kconfig/zconf.tab.c SHIPPED scripts/kconfig/zconf.lex.c SHIPPED scripts/kconfig/zconf.hash.c HOSTCC scripts/kconfig/zconf.tab.o HOSTLD scripts/kconfig/conf scripts/kconfig/conf --oldconfig /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/Kconfig.generated # # configuration written to .kconfig # scripts/kconfig/conf --silentoldconfig /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/Kconfig.generated All build tools checked ok. gcc -fPIC -Wall -pedantic -g -m64 -c /home/mahdi/OS/l4re-core-2014092821/src/l4/tool/gendep/deptrack.c -o /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/deptrack.64.o gcc -fPIC -Wall -pedantic -g -m64 -c /home/mahdi/OS/l4re-core-2014092821/src/l4/tool/gendep/syscall.c -o /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/syscall.64.o mkdir -p /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/64 gcc -m64 -shared -Wl,--no-as-needed -Wl,-soname,/home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/64/libgendep.so -ldl -o /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/64/libgendep.so /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/deptrack.64.o /home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/tool/gendep/syscall.64.o ERROR: ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded (wrong ELF class: ELFCLASS64): ignored. ERROR: ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded (wrong ELF class: ELFCLASS64): ignored. ERROR: ld.so: object 'libgendep.so' from LD_PRELOAD cannot be preloaded (wrong ELF class: ELFCLASS64): ignored. make[6]: *** [Makeconf.bid.local-internal-names] Error 1 make[5]: *** [Makeconf.bid.local-helper] Error 2 make[4]: *** [DROPSCONF_CONFIG_MK_POST_HOOK] Error 1 make[3]: *** [/home/mahdi/OS/l4re-core-2014092821/obj/l4/arm-ca/.config.all] Error 2 make[2]: *** [oldconfig] Error 2 make[2]: Leaving directory `/home/mahdi/OS/l4re-core-2014092821/src/l4' make[1]: *** [all] Error 2 make[1]: Leaving directory `/home/mahdi/OS/l4re-core-2014092821/src/l4' make: *** [setup] Error 1 Does someone have an idea of how to resolve this. Thank you very much in advance. Best regards, Mahdi [View Less]

2 1

l4linux building error
by Shabnam Engineer 21 Sep '15

21 Sep '15

Hi l4-hackersIn bulding l4linux , I got an error :************************************************************the command : make O=/tmp/buildpath L4ARCH=arm CROSS_COMPILE=arm-linux- the error : make[1]: Entering directory `/tmp/buildpath' … [View More]

2 1

make uimage error
by Shabnam Engineer 14 Sep '15

14 Sep '15

Hi L4hackersI successfully build both Fiasco.OC and l4re but when I want to make image file I get this error : ****************************************************************** ---> my command : ~/Desktop/snapshot/l4re-snapshot-2014092821/src/l4$ make uimage E=hello MODULE_SEARCH_PATH=./../kernel/fiasco/mybuild/ O=./builddir/ ----> the message : =========== Updating RAM_BASE for platform rpi_b to 0x0 ========= ... Regenerating RAM_BASE settings &… [View More]

3 7

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 2015