l4-hackers

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

2 participants
2880 discussions

L4Linux Compilation trouble with missing packages in L4
by Martin Gruber 13 Jun '16

13 Jun '16

Dear L4 community, i started diving into L4 stuff recently and it looks really interesting. Currently I am trying to get L4Linux working on top of Fiasco.OC. After configuring the L4 Kernel, I am getting following error message at build: ---------------------------------------------------------------------------- make O=../build/ make[1]: Entering directory '/home/gruber/l4re/l4linux/build' Package shmc was not found in the pkg-config search path. Perhaps you should add the directory containing `shmc.pc' to the PKG_CONFIG_PATH environment variable No package 'shmc' found Package rtc was not found in the pkg-config search path. Perhaps you should add the directory containing `rtc.pc' to the PKG_CONFIG_PATH environment variable No package 'rtc' found Getting required compilation flags failed. L4OBJ: /home/gruber/l4re/src/l4/l4build L4_REQUIRED_MODS: libc_be_minimal_log_io libc_minimal libc_minimal_l4re libsupc++_minimal log l4re_c-util libio libvcpu shmc rtc arch/l4/Makefile:391: *** Aborting.. Stop. make[1]: Leaving directory '/home/gruber/l4re/l4linux/build' Makefile:146: recipe for target 'sub-make' failed make: *** [sub-make] Error 2 ---------------------------------------------------------------------------- After checking the mailing list archive i found this question: http://os.inf.tu-dresden.de/pipermail/l4-hackers/2015/007635.html http://os.inf.tu-dresden.de/pipermail/l4-hackers/2015/007635.html I checked the l4/builddir/pc for missing libs and did not find them. Compilation of L4 worked fine, L4 also works with the small HelloWorld sample in QEMU. I checked the L4 config but was not able to find appropriate options. Does anyone have an tip for me what I am doing wrong? Thank you very much for your help! Kind Regards, Martin

2 1

Re: l4-hackers Digest, Vol 157, Issue 10
by Иван Филиппов 28 May '16

28 May '16

adam - maasdam ;-) 2016-05-28 13:00 GMT+03:00, l4-hackers-request(a)os.inf.tu-dresden.de <l4-hackers-request(a)os.inf.tu-dresden.de>: > Send l4-hackers mailing list submissions to > l4-hackers(a)os.inf.tu-dresden.de > > To subscribe or unsubscribe via the World Wide Web, visit > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > or, via email, send a message with subject or body 'help' to > l4-hackers-request(a)os.inf.tu-dresden.de > > You can reach the person managing the list at > l4-hackers-owner(a)os.inf.tu-dresden.de > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of l4-hackers digest..." > > > Today's Topics: > > 1. L4Re Release (Adam Lackorzynski) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Fri, 27 May 2016 13:13:04 +0200 > From: Adam Lackorzynski <adam(a)l4re.org> > To: l4-hackers(a)os.inf.tu-dresden.de > Subject: L4Re Release > Message-ID: <20160527111304.GB12441(a)os.inf.tu-dresden.de> > Content-Type: text/plain; charset=iso-8859-1 > > Hi, > > I'm happy to announce a new L4Re release. > > https://l4re.org/ > > This release adds support for the Imagination Technologies' > MIPS architecture, including support for MIPS' > virtualization architecture VZ to run virtual machines such > as Linux. L4Re is currently available for MIPS32, > MIPS64 is about to follow. The MIPS port is supported by > Imagination Technologies. > > > Further noteworthy changes of this release include: > - L4Linux has been updated to L4Linux-4.6 > - Conversion of debugging interface to capability-based > interface. Programs need to have the 'jdb' capability to > use JDB functionality. > - The virtual machines monitor, now called uvmm, supports > the MIPS and ARM architectures. > - A virtio-based peer-to-peer network component is available > in virtio-net. > - Documentation improvements > - Library updates > - Added ARM platforms: > - NXP Layerscape LS1021A > - i.MX28 > - MIPS platforms: > - Malta > - Sead3 > - Ci20 > - Baikal-T > - Bug fixes and small feature enhancements in the kernel and user-level > components: > - Added atomic IRQ re-attach call > - The vCPU data structures have been revised > > > Adam > > > > ------------------------------ > > Subject: Digest Footer > > _______________________________________________ > l4-hackers mailing list > l4-hackers(a)os.inf.tu-dresden.de > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > > > ------------------------------ > > End of l4-hackers Digest, Vol 157, Issue 10 > ******************************************* > -- Иван Филиппов

1 0

L4Re Release
by Adam Lackorzynski 27 May '16

27 May '16

Hi, I'm happy to announce a new L4Re release. https://l4re.org/ This release adds support for the Imagination Technologies' MIPS architecture, including support for MIPS' virtualization architecture VZ to run virtual machines such as Linux. L4Re is currently available for MIPS32, MIPS64 is about to follow. The MIPS port is supported by Imagination Technologies. Further noteworthy changes of this release include: - L4Linux has been updated to L4Linux-4.6 - Conversion of debugging interface to capability-based interface. Programs need to have the 'jdb' capability to use JDB functionality. - The virtual machines monitor, now called uvmm, supports the MIPS and ARM architectures. - A virtio-based peer-to-peer network component is available in virtio-net. - Documentation improvements - Library updates - Added ARM platforms: - NXP Layerscape LS1021A - i.MX28 - MIPS platforms: - Malta - Sead3 - Ci20 - Baikal-T - Bug fixes and small feature enhancements in the kernel and user-level components: - Added atomic IRQ re-attach call - The vCPU data structures have been revised Adam

1 0

Flexpage: shared Mem
by ba_f 23 May '16

23 May '16

Hello, writing a L4Linux Driver I'm expiring the C-Interface and low level(?) flexpages. So far, I can push a Dataspace Capability via flexpage, and the receiving server is able to read its content. But, whatever the server writes in that mem-region doesn't appear on the clients side. /* client.c */ l4_fpage_t fpage = l4_obj_fpage( dataspace, 0, L4_CAP_FPAGE_RW ); l4_utcb_mr()->mr[0] = size; l4_utcb_br()->br[0] = fpage.raw; /* server.c */ l4_utcb_br()->br[0] = dataspace | L4_RCV_ITEM_SINGLE_CAP; l4_ipc_wait(l4_utcb(), 0, L4_IPC_NEVER); // allocate, and attach Dataspace ... // read & write Dataspace ... l4_utcb_mr()->mr[0] = returnValue; l4_ipc_reply_and_wait(l4_utcb(), l4_msgtag(0, 1, 0, 0), 0, L4_IPC_NEVER); As I am creating the fpage with L4_CAP_FPAGE_RW my guess was I can write to that mem-region and the client can read my changes. Anyway, maybe I need some more understandings about capabilities & flexpages. (Are there any precise slides or papers about this topic?) So, the client creates a dataspace capability and allocates some memory. But, what happens when the flexpage is pushed to the server? The capability is copied and both pointing to the same allocated memory, or is the Cap and(!) the memory it is pointing to copied to server? Thanks, ba_f

2 5

Question about Fiasco.OC support for SPARC
by deng.chao1＠zte.com.cn 12 May '16

12 May '16

Hi everyone： I want to run Fiasco.OS on SPARC-leon3 platform. It seems that Fiasco.OS already has an unimplemented support for SPARC-leon3 according to the latest snapshot fiasco-2015123115 of Fiasco. Does Fiasco.OS support SPARC now? If it does, how can I get the source? If it doesn't, what are the unimplemented parts according to snapshot fiasco-2015123115? And another question, is there any good machine emulator for SPARC-leon3？ I have tried latest version of QEMU, but It doesn't work well on SPARC-leon3. Thanks Dengchao

2 3

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

Can the latest L4Linux support for the ARM big.LITTLE architecture ?
by li94575 21 Mar '16

21 Mar '16

hi all, As we know, Linux has begun to support ARM big.LITTLE architecture from the 3.10 edition. Have this feature also been achieved in L4linux ? thank you!

2 1

Jump to page:

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