l4-hackers July 2015

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

11 participants
13 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 both not to be published? Cheers, Josef

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 physical frames. For instance, one memory region starting from 128MB to 256MB for the first L4Linux, and second memory region from 256MB to 512MB for the second L4Linux. Each memory region is allocated exclusively to one L4Linux instance. I would like to know if it is possible to load all the code + data of a L4Linux instance into its reserved memory partition, so no page fault will be encountered during runtime. Is it possible to tell me if these above operations could be realized in Fiasco O.C and L4re? If the answer is yes, is it possible to tell me what are the objects that should be used or adapted in order to implement these? What are the issues that I should pay attention to? Many thanks in advance for your answer. Best regards, Mahdi

2 37

issues in creating an elf binary
by AVK 31 Jul '15

31 Jul '15

Hello, I am trying to create an elf binary for the hello package (to start with) and when i run the `make elfimage` command, it fails with the following error make[3]: *** No rule to make target `mod.make.inc', needed by `bootstrap.ld'. Stop. While i am trying to look into the issue, maybe there is a quick fix for this, or someone has come across this issue already. Or maybe there is a better/easier way to create an elfimage. Regards, Avinash Kundaliya avinash(a)avinash.com.np http://avinash.com.np

2 3

porting linux driver in Fiasco.OC
by Shabnam Engineer 30 Jul '15

30 Jul '15

hi I have a question about porting linux drivers in Fiasco.OC.Can I port linux drivers into Fiasco.OC ? if so , which drivers?all of drivers?thank you for considering my question.regards,shabnam

4 3

Fiasco.OC device driver
by Shabnam Engineer 22 Jul '15

22 Jul '15

Hi ,is fiasco.oc like other L4 family about supporting driver of devices ? does Fiasco run device drivers as normal user-mode application? thanks for your considering my question regards,shabnam

2 1

issues in building l4re
by AVK 20 Jul '15

20 Jul '15

Hello community, I have been trying to build l4re and have the following issue. I am building l4re snapshot with some other modules not included in the package. The issue is when i am building moe, and it has not been changed and is the one that is included in the package. I am building it on a virtualbox running xubuntu 15.04 (in case it helps to find the issue or could be the problem). I am not sure how to move ahead with this problem and am curious if anyone has ideas or pointers to look for/at. /obj/l4/x86/include/l4/re/error_helper:64:26: error: ‘L4_UNLIKELY’ was not declared in this scope if (L4_UNLIKELY(err < 0)) ^ /home/avk/Thesis/l4re-snapshot-2014092821/obj/l4/x86/include/l4/re/error_helper: In function ‘long int L4Re::chksys(const l4_msgtag_t&, const char*, l4_utcb_t*, long int)’: /home/avk/Thesis/l4re-snapshot-2014092821/obj/l4/x86/include/l4/re/error_helper:86:32: error: ‘L4_UNLIKELY’ was not declared in this scope if (L4_UNLIKELY(t.has_error())) ^ /home/avk/Thesis/l4re-snapshot-2014092821/src/l4/mk/binary.inc:818: recipe for target 'main.o' failed The build output can be seen here : http://pastebin.com/Xuu0eKAY -- --- Avinash Kundaliya avinash(a)avinash.com.np http://avinash.com.np

2 3

Adding more functionality on top of L4Linux
by Thotheolh Tay 19 Jul '15

19 Jul '15

Hi, Are there any guides which I can add the following features onto L4Linux ? - GCC, Make, CCID, PCSC If the features do not exist in L4Linux, how do I build my own L4Linux image with these features and what do I need to modify to ensure they work properly on L4Linux ? -- +---------------------------------------------------------+ | PGP Secure Email Key ID:6FBFC19D | +---------------------------------------------------------+

2 3

Some questions about L4 operating system
by Qing Wei 16 Jul '15

16 Jul '15

Hi, I am a beginner to L4, and very interested in it. I think it is great in terms of its minimality and security. However, I have some questions about it, (1) How is its performance compared to other monolithic kernel, say, Linux. Could it make use of multicore, multiprocessor to enjoy the performance scalability? (2) How is its ecosystem, fox example, how to support new hardware, does it need write the driver from scratch or could it make use of Linux driver? And how to write application on it, or, could it run Linux application without modification? (3) How is its virtualization support, could it run Linux vm, and does it need any modification to the guest os? Cheers, Qing Wei

3 3

Problem in final step
by Vlad Sof 16 Jul '15

16 Jul '15

Hi guys, So, I'm having a problem with the final step in booting and running the Fiasco.OC.I've gone through the building steps on L4Re -- The L4 Runtime Environment | | | | | | | | | L4Re -- The L4 Runtime EnvironmentThe L4 Runtime Environment: informations and more | | | | View on os.inf.tu-dresden.de | Preview by Yahoo | | | | | and The Fiasco microkernel - Building and Using | | | | | | | | | | | The Fiasco microkernel - Building and UsingThe Fiasco microkernel: prerequisites, compilation, booting | | | | View on os.inf.tu-dresden.de | Preview by Yahoo | | | | | When I try "make grub2iso E=hello MODULE_SEARCH_PATH=~/projects/src/kernel/fiasco/mybuild" I get the following error: make[1]: Entering Directory `/home/johng/projects/src/l4'Processing entry 'hello'Could not find 'bootstrap' with path '/home/johng/projects/src/kernel/fiasco/mybuild:/home/johng/projects/src/l4/mybuild/bin/x86_586:/home/johng/projects/src/l4/mybuild/bin/x86_586/l4f:/home/johng/projects/src/l4/mybuild/lib/x86_586:/home/johng/projects/src/l4/mybuild/lib/x86_586/l4f'make[1]: *** [grub2iso] Error 1make[1]: Leaving directory `/home/johng/projects/src/l4'make: *** [grub2iso] Error 2 A brief explanation: I'm running Ubuntu 14.04.1 as a virtualmachine guest on a Mac OSX host.I've configured l4re with : Target Architecture: x86-32 architecture CPU variant: 586 type CPUPlatform Selection: PC On the fiasco kernel configuration I just saved it without changing any of the settings. I've been trying to get this work for the past week and I don't know where I'm going wrong. I've followed all the steps up to this point, but for some reason this last step just wont work. Please help !

2 1

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 July 2015