- l4-hackers - example.com Site

error of building fiasco.OC
by FU_LONG 04 Dec '12

04 Dec '12

2 1

apic
by Ryan Brown 03 Dec '12

03 Dec '12

Is it possible to configure x86 fiasco to avoid using the apic? If so, would this have a bad effect on performance? Thanks, Ryan Brown

2 1

Re: FOSDEM 2013 - Microkernels / Component-based OSes devroom
by Stefan Kalkowski 03 Dec '12

03 Dec '12

Hi folks, sorry for bothering you again with this. I just want to remind you, there are only 12 days left until the deadline for the microkernel devroom proposals. On 10/29/2012 01:01 PM, Stefan Kalkowski wrote: > FOSDEM 2013 - Microkernels / Component-based OSes devroom > *CALL FOR PARTICIPATION* > http://fosdem.org/2013 > > The developers of several free and open-source component- and/or > microkernel-based operating systems will meet at FOSDEM 2013 in > Brussels, Belgium and will share a developer room. > > The devroom is currently looking for content in the form of talks > related to the area of component- and/or microkernel-based operating > systems. Possible topics include, but are not limited to: > > * OS introduction to developers of other OS > * Subsystems and architecture > * Hardware and device drivers > * Tools and languages > * Release engineering and testing > * Experience and learning from mistakes > * Technical challenges > * Community and life with an OS-project > * Academia and education > > Please send your talk proposal(s) no later than by 2012-12-15 to: > > microkernel-devroom at lists.fosdem.org > > Make sure to include the following in your proposal: > > * title of your talk (will be printed in the FOSDEM booklet) > * your full name (will be printed in the FOSDEM booklet) > * a short abstract > * duration of your talk (please, no longer than 45 minutes) > > The final devroom schedule (along with accepted talks) will be announced > on the above mailing list on 2012-12-22. Moreover, the speakers will be > notified via e-mail. The schedule will be also published on the FOSDEM > web and in the FOSDEM booklet after 2013-01-10. > > If you do not want to give a talk yourself, you may still send > suggestions for what else you would like to see, or do in the devroom. > Please send your suggestions to the above mailing list. > > The devroom is scheduled for Saturday of February 2. The seating > capacity of the room is 74 seats. Any changes will be announced in the > above mailing list. > -- Stefan Kalkowski Genode Labs http://www.genode-labs.com/ · http://genode.org/

1 0

App on L4Re
by OSDepend 30 Nov '12

30 Nov '12

Hi, all! I'm newbie on L4 microkernel, and have been confused by some questions of the L4 constructions! Are there any avaliable Applications or Projects directly on the L4Re but not depending On L4Linux? Like gcc or other app? If existed, can we can directly bulild some application or tools after boot L4 microkernel? Every feedbacks or documention links are appreciated! :> Best, Chen 2012-11-23 zhengc

7 14

Qusestion about building L4Re
by FU_LONG 30 Nov '12

30 Nov '12

3 2

Start Linux inside a Vancouver VM using a virtual disk.
by Mehdi AICHOUCH 27 Nov '12

27 Nov '12

Hello, I was trying to run Linux inside a Vancouver virtual machine and using a virtual disk. But, I got an error when Linux kernel try to mount the root file system. I tested the Linux kernel and the virtual disk image using Qemu and it worked well. I was also able to start the same Linux kernel on Vancouver but by providing an initrd ramfs file. Please see below the trace of the linux boot: (5) # [ 23.652175] VFS: Cannot open root device "(null)" or unknown-block(0,0) (5) # [ 23.652175] Please append a correct "root=" boot option; here are the availa (5) # | ble partitions: (5) # [ 23.652175] Kernel panic - not syncing: VFS: Unable to mount root fs on unkn (5) # | own-block(0,0) (5) # [ 23.652175] Pid: 1, comm: swapper/0 Tainted: G W 3.2.16-rt27 #3 (5) # [ 23.652175] Call Trace: (5) # [ 23.652175] [<c05f5299>] panic+0x66/0x173 (5) # [ 23.652175] [<c0849ca1>] mount_block_root+0x1d3/0x26c (5) # [ 23.652175] [<c02311bc>] ? sys_mknod+0x2c/0x30 (5) # [ 23.656100] [<c0849d93>] mount_root+0x59/0x5f (5) # [ 23.656100] [<c0849ee7>] prepare_namespace+0x14e/0x192 (5) # [ 23.656100] [<c0221665>] ? sys_access+0x25/0x30 (5) # [ 23.656100] [<c0849344>] kernel_init+0x13f/0x14e (5) # [ 23.656100] [<c0849205>] ? parse_early_options+0x25/0x25 (5) # [ 23.656100] [<c05fe6c2>] kernel_thread_helper+0x6/0x10 and this is the script I used to run Vancouver and Linux : #!/usr/bin/env novaboot # -*-sh-*- HYPERVISOR_PARAMS=serial WVDESC=Kernel compile inside VM (on virtual disk, EPT + VPID) WVTEST_TIMEOUT=1200 QEMU_FLAGS=-cpu phenom -m 2048M bin/apps/sigma0.nul tracebuffer_verbose S0_DEFAULT hostserial hostvga hostkeyb:0,0x60,1,12 script_start:1,1 \ service_config vdisk_empty:736870912 service_disk bin/apps/vancouver.nul bin/boot/munich imgs/bzImage imgs/mdisk.img vancuver.nulconfig <<EOF sigma0::mem:512 sigma0::dma name::/s0/log name::/s0/timer name::/s0/fs/rom name::/s0/admission name::/s0/disk disk::0 || rom://bin/apps/vancouver.nul PC_PS2 ahci:0xe0800000,14,0x30 drive:0,0,0 || rom://bin/boot/munich || rom://imgs/bzImage clocksource=tsc console=ttyS0 || rom://imgs/mdisk.img EOF Could someone tell me how to correct this error. Or give me some hints to another solution to build a disk image. I need a disk image in order to add some executable that I already compiled on my host machine and to run these executable on the Linux guest OS once it will start on Vancouver VM. Thank you very much in advance for your help. Mehdi

2 2

Our experience with Fiasco.OC + Genode on the Pandaboard
by Norman Feske 26 Nov '12

26 Nov '12

Dear L4 hackers, for those of you who enjoy reading experience reports, we have put together an article that describes our work with enabling the Genode OS Framework on the Pandaboard using the Fiasco.OC kernel: http://genode.org/documentation/articles/pandaboard With the new developed driver support for SD-card, USB, networking, and HDMI in place, we have become able to run a wide variety of Genode system scenarios including the GNU userland, Qt4, GDB, and L4Linux on this nice platform. In addition to creating and porting device drivers, we conducted extensive performance optimizations in order to reach an I/O performance that is roughly on par with native Linux. The article describes those steps in detail. Best regards Norman -- Dr.-Ing. Norman Feske 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

Question about L4Linux
by OSDepend 26 Nov '12

26 Nov '12

Hi, I want to know why we build L4Linux here on L4? Is there any benefit comparing to pure Linux? Best, Chen 2012-11-23 郑晨

3 3

Full Virtualization with Trustzone
by meng-qy 25 Nov '12

25 Nov '12

Hi, Adam: Thank you for your reply! > Memory on imx51 is starting at 0x90000000. At 0x60000000 there are > pheripherals, i.e. there's no usable memory where something can be copied > to (or executed). I think we make a wrong understanding about " l4sigma0_map_iomem() " . >If you want to execute something it needs to be in the > region 0x90000000-0xafffffff. A simple trick is to reduce the memory for > secure side (e.g. via imx51.conf) and use the rest for NS. Now, we use 0x90000000-0x9fffffff to run secure side, and revise the vm configuration as following: Ram_base = 0xa1000000, Ram_size = 0x4000000, // 128 MB Start_addr = Ram_base + 0x100000, // +1MB The l4_vm_state is set as: state->pc = Start_addr; state->cpsr = 0x13; //svc state->r[0] = 0; state->r[1] = 0x84D; imx51 //arch num The NS bare app's entry is set as 0xa1100000, but we still stop at "VM run", we use some tracing methods and find the system stop at: // set pending events ldmia r0!, {r1} and r1, r1, #0x1c0 mcr p15, 0, r1, c12, c1, 1 // ivt.S line:954, looks like some ISR pending control. BTW, should we write a virtual-interrupt layer to map the NS call with Secure side? I think maybe NS bare app can not visit the pheripherals address directly. Steven Meng --------------------------------------------------------------------------------------------------- Confidentiality Notice: The information contained in this e-mail and any accompanying attachment(s) is intended only for the use of the intended recipient and may be confidential and/or privileged of Neusoft Corporation, its subsidiaries and/or its affiliates. If any reader of this communication is not the intended recipient, unauthorized use, forwarding, printing, storing, disclosure or copying is strictly prohibited, and may be unlawful.If you have received this communication in error,please immediately notify the sender by return e-mail, and delete the original message and all copies from your system. Thank you. ---------------------------------------------------------------------------------------------------

2 1

Re: l4-hackers Digest, Vol 115, Issue 18
by Death Jester 23 Nov '12

23 Nov '12

> Hi, > > On Wed Nov 21, 2012 at 18:45:25 +0100, Death Jester wrote: >> I have a problem with the latest version of L4Re. It just can't build it >> for ARM. I get the folllowing error message while building: >> ... Compiling cfg_scan.o >> ... Compiling cfg_parser.tab.o >> ==> Linking io >> main.o: In function `run': >> /home/jester/Repositories/test/src/l4re/l4/pkg/io/server/src/main.cc:385: undefined >> >> There seems to be an issue with the function luaopen_Io but I don't know >> what to do to fix this. Can anybody help me? >> I have already tried different toolchains. The Linaro toolchain 2012.10 >> and also different versions from Code Sourcery (2010.09 and 2012.09). > There could be some unfortunate thing in the Makefile. Is > lua_glue.swg.cc maybe empty? If yes, restore it and try again. > > > Adam Hi Adam, thank you for your answer, that fixed the problem for me. I just removed the file and did a "svn update src/l4re/l4/pkg/io/server/src/lua_glue.swg.cc" to pull it again from the server. Afterwards I was able to build L4re again. Cheers, Jester

1 0