- l4-hackers - example.com Site

accessing msrs
by Ryan Brown 16 Jan '13

16 Jan '13

How does fiasco.oc handle accessing intel model specific registers? Is there any way to access these from user space or does this have to happen in the kernel? Specifically I'd like to access the paravirtualized clock when running under kvm.

2 1

Kernel unit tests
by Bryce Cronkite-Ratcliff 09 Jan '13

09 Jan '13

Hi Hackers, I've made modifications to several parts of the Fiasco.OC kernel and am interested in any existing tests that particularly stress kernel modules (eg scheduler, mem). I've written a handful of simple ones, but I was wondering whether there were particularly promising folders to check out somewhere in the repo. Thanks! Bryce

2 1

No known ld emulation found
by Torsten Rüger 25 Dec '12

25 Dec '12

Hi, I got the latest fiasco sources, tried to compile on a macbook pro (intel core 2 duo) but i get the above message. I did try to set it to amd64 with intel duo option. This is not my final target, i just wanted to play a bit (possibly on an emulator). Do i need a cross compiler or something , because i only have gcc 4.2.1. Something simple i'm missing ? Torsten hopea:build raisantorsten$ make test -e source || ln -sf /Users/raisantorsten/Desktop/fiasco-2012111623/src/kernel/fiasco/src source Cleaning up build directory Creating .Modules.deps make srcdir=/Users/raisantorsten/Desktop/fiasco-2012111623/src/kernel/fiasco/src objbase=/Users/raisantorsten/Desktop/fiasco-2012111623/src/kernel/build -f /Users/raisantorsten/Desktop/fiasco-2012111623/src/kernel/fiasco/src/Makefile.sub1 rm -f \ touch .Clean-auto -n Checking compiler config... CHANGED. Recompiling. No known ld emulation found make[1]: *** [.Host-config] Error 1 make: *** [create-sources] Error 2

3 3

Raspberry pi ?
by Torsten Rüger 25 Dec '12

25 Dec '12

Hi, sorry I'm not really a os "hacker" and I haven't even got the code yet, but was wondering if someone could help me with my issue: Is there any activity of L4 on raspberry pi (a pocket size computer) ? Or is there elsewhere I can ask. Specifically the plan would be to build a ruby-machine on it. Single user but multi-process. If would only need to be able to access usb,ethernet and gpios. And run and start several ruby processes. I know ruby vm well enough to cut that down to size. But I have no idea of how difficult it would be to remove linux and replace it with those 3 device drivers. Or even where to get those, how to integrate them. So i was hoping somebody here could say how crazy this is, or if I can stamp down some trodden path ? Thanks Torsten

3 2

Page tables apparently don't get completely freed on 64-bit Fiasco.OC
by Christian Prochaska 13 Dec '12

13 Dec '12

When running the test case from https://github.com/genodelabs/genode/issues/559 on 64-bit Fiasco.OC, the kernel runs out of memory after the sequential construction and destruction of tasks. I've added some debug output to the kernel which tracks the kernel memory allocations and deallocations. The attached log files cover the creation and destruction of one task on 64-bit and 32-bit Fiasco.OC. In the 64-bit case the allocations reported in lines (05/06), (07/08), (12/13), (14/15), (20/21) and (24/25) don't have matching calls of 'free()'. These allocations belong to the 'Ptab::Walk::sync()' and 'Ptab::Walk::walk()' functions. It looks like only a part of the page table gets destroyed during 'Mem_space::dir_shutdown()'. In the 32-bit case the amout of memory available after the destruction of the task is the same as before the construction, but what I found odd about the log output is that the allocations reported in lines (10/11) and (14/15) don't have matching calls of 'free()', whereas the allocations reported in lines (09) and (12/13) each have two calls of 'free()' (in lines (22/25) and (28/32)), which makes the amount of memory available balanced again. Christian

2 1

L4linux on virtual box
by FU_LONG 13 Dec '12

13 Dec '12

Hi, I have built L4linux(l4linux-mag-x86.iso) and made it run on qemu successfully. But when I try to run it on virtual box, it stops, please see the following picture: I have put the iso file in Attachment, could you please have a try and give me some advise? ------------------ Best Regard, Long Fu 从QQ邮箱发来的超大附件 l4linux-mag-x86.iso (42.18M, 2013年01月06日 17:05 到期)进入下载页面：http://mail.qq.com/cgi-bin/ftnExs_download?t=exs_ftn_download&k=7…

2 1

Nova+Nul one Execution Context suspend a second Execution Context
by Mehdi AICHOUCH 12 Dec '12

12 Dec '12

Hello Alexander, I wrote a simple example to test the NOVA+NUL. In my example, I created two Execution Contexts. When the the first Execution Context starts, it obtains a portal capability to the second Execution Context, and run a while(true) loop as follow : ... while(1) { Logging::printf("#tsc=%llu\n", now); nova_call(pt); } ... The second Execution Context run also a while(true) loop as follow: ... while(1) { count++; Logging::printf("WorkerThread is working... count= %u\n", count); } ... The first Execution Context call the second Execution Context. When the second Execution Context receive the call in its portal function, it calls the msleep( ) function on a TimerHelper instance that it has already created: unsigned portal_func(Utcb &utcb, Utcb::Frame &input, bool &free_cap, cap_sel pid) { Logging::printf("Thread will sleep... count=%u\n", count); timer->msleep(1000); return ENONE; } The problem is that, it is the first Execution Context who is blocked and not the second Execution Context. Could anyone please give me an example of how can I achieve the inverse case, where the first EC continue running and suspends the second EC. this is my code to obtain the portal: cap_sel pseudonym = alloc_cap(); res = ParentProtocol::get_pseudonym(*utcb, "s0/ec2", 0, pseudonym); cap_sel pt = alloc_cap(); res = ParentProtocol::get_portal(*utcb, pseudonym, pt, true, "s0/worker_thread"); Thank you in advance. Mehdi

2 1

Re: startstop test case of the NOVA-NUL microhypervisor
by Alexander Boettcher 10 Dec '12

10 Dec '12

Hi, try to add "name::/s0/timer" to the hello config. Cheers, Alexander Böttcher. Mehdi AICHOUCH <foxmehdi(a)gmail.com> schrieb: >_______________________________________________ >l4-hackers mailing list >l4-hackers(a)os.inf.tu-dresden.de >http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

2 1

startstop test case of the NOVA-NUL microhypervisor
by Mehdi AICHOUCH 07 Dec '12

07 Dec '12

Hello everyone, I am trying to test the NOVA+NUL microhypervisor. I played with the test application "nul/michal/apps/tests/startstop". So, I modified this test to try a new a new test case, by modifying the "hello" program that is started by the "startstop" program. I added to the Hello program the following code : ... TimerHelper * timer; timer = new TimerHelper(this); while(1) { Logging::printf("Hello ... \n", now); timer->msleep(1000); } ... This simple code will print a message and suspend the Hello program for 1 second. The problem is that when I tested this program alone, it worked perfectly but when this same program is started by the "startstop" program using start_config(), it does not suspend on the msleep(1000). Is my test correct or allowed by the NOVA-NUL microhypervisor? If it is the case, could anyone please help to debug this issue. Many thanks in advance. Mehdi PS: this is my configuration script. #!/usr/bin/env novaboot # -*-sh-*- HYPERVISOR_PARAMS=serial QEMU_FLAGS=-cpu phenom -smp 1 -serial stdio bin/apps/sigma0.nul tracebuffer_verbose S0_DEFAULT hostserial hostvga hostkeyb:0,0x60,1,12,2 \ script_start:1 script_waitchild service_config bin/apps/startstop.nul bin/apps/startstop.nulconfig <<EOF sigma0::cpu:1 sigma0::mem:16 name::/s0/log name::/s0/config name::/s0/timer name::/s0/fs/rom name::/s0/admission || rom://bin/apps/startstop.nul rom://test.nulconfig EOF bin/apps/hello.nul test.nulconfig <<EOF sigma0::cpu:1 sigma0::mem:16 name::/s0/log name::/s0/admission || rom://bin/apps/hello.nul EOF

1 0

how to use initramfs with l4linux
by Ryan Brown 06 Dec '12

06 Dec '12

How do I use an initramfs with l4linux? I tried using "l4x_rd=rom/initrd.cpio.gz" but it doesn't work. I see linux trying to use it: INITRD: 15000000 - 15114e00 ... Unpacking initramfs... INITRD: Freeing memory. ... But then I get Failed to execute /init Kernel panic - not syncing: No init found. Try passing init= option to kernel. See Linux Documentation/init.txt for guidance. I'm able to use the same initramfs file to boot normal linux kernel. I tried various combinations of cpio formats and compression but it doesn't seem to help. The only thing that works is compiling the initramfs into the kernel which I want to avoid.

1 0

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

Problem with "luaopen_Io"
by Death Jester 21 Nov '12

21 Nov '12

Hello Everybody, 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_scanner.o ... 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 reference to `luaopen_Io' make[5]: *** [io] Error 1 make[5]: Leaving directory `/home/jester/Repositories/test/build/l4re/pkg/io/server/src/OBJ-arm_armv7a-l4f' make[4]: *** [/home/jester/Repositories/test/build/l4re/pkg/io/server/src/OBJ-arm_armv7a-l4f] Error 2 make[4]: Leaving directory `/home/jester/Repositories/test/src/l4re/l4/pkg/io/server/src' make[3]: *** [src] Error 2 make[3]: Leaving directory `/home/jester/Repositories/test/src/l4re/l4/pkg/io/server' make[2]: *** [server] Error 2 make[2]: Leaving directory `/home/jester/Repositories/test/src/l4re/l4/pkg/io' make[1]: *** [io] Error 2 make[1]: Leaving directory `/home/jester/Repositories/test/src/l4re/l4/pkg' make: *** [pkg] Error 2 Creating build directory "/home/jester/Repositories/test/build/fiasco"... Already exists, aborting. make: *** [builddir] Error 1 make -C /home/jester/Repositories/test/src/l4re/kernel/fiasco/src/../tool/kconfig O=/home/jester/Repositories/test/build/fiasco Kconfig=Kconfig KCONFIG_AUTOHEADER=globalconfig.h KCONFIG_TRISTATE=config/tristate.conf KCONFIG_CONFIG=globalconfig.out KCONFIG_AUTOCONFIG=config/auto.conf KERNELVERSION=SVN MENUCONFIG_COLOR=blackbg INCLUDE_PPC32= INCLUDE_SPARC= fiasco_srcdir=/home/jester/Repositories/test/src/l4re/kernel/fiasco/src/.. menuconfig silentoldconfig make[1]: Entering directory `/home/jester/Repositories/test/src/l4re/kernel/fiasco/tool/kconfig' scripts/kconfig/mconf Kconfig *** End of the configuration. *** Execute 'make' to start the build or try 'make help'. make[2]: *** [menuconfig] Interrupt make[1]: *** [sub-make] Interrupt make: *** [config] Interrupt 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). Thanks in advance. Cheers, Jester

2 1

l4linux kernel as input server
by Wajidali Whowe 21 Nov '12

21 Nov '12

Hi all, I was testing l4linux server as input server and was planning to run it without io package. For this purpose I wanted to rebuild the l4linux kernel with input server option and "without use pci virtual bus" option. My purpose was to see whether the kernel could reach the real IO ports and the result was off-course as expected a kernel panic... My question is how the io package is allowed to reach the IO ports but not the l4linux kernel? Please kindly see the kernel output and the corresponding lua script below: The lua script: require("L4"); local lxname = "vmlinuz.android"; local l = L4.default_loader; local hid = l:new_channel(); local linux_caps = { log = L4.Env.log:m("rws"); -- vbus = io_caps.linux_bus, --rtc = rtc_caps.rtc, ev = hid:svr(), rom = L4.Env.rom, }; l:start( { caps = linux_caps, }, "rom/vmlinuz.android mem=256M l4-input-srv.enable=1 console=ttyLv0 ramdisk=rom/openwrt-x86-alix2-rootfs.tar.gz root=1:0 ramdisk_size=32768 l4x_rd=rom/openwrt-x86-alix2-rootfs.tar.gz init=/etc/preinit"); Kernel output: NET: Registered protocol family 16 vmlinuz.| Invalid IO-Port access at pc = 007718f1 port=0xcfb vmlinuz.| Die message: Trap: 14 Trap: 14: 0000 [#1] Modules linked in: Pid: 1, comm: swapper Not tainted 3.6.0-l4-svn27 #3 EIP: 0000:[<007718f1>] EFLAGS: 00000246 CPU: 0 EIP is at pci_direct_probe+0x53/0x1d8 EAX: 00417001 EBX: 00000003 ECX: 00110000 EDX: 00000cfb ESI: 00000001 EDI: 0077174c EBP: 10437f78 ESP: 10437f5c DS: 0000 ES: 0000 FS: 0023 GS: 0000 SS: 0023 Process swapper (pid: 1, ti=10436000 task=10435bc0 task.ti=10436000) Stack: 10437f64 00000000 0070ff6b 00000000 00441a4c 00000003 00000000 10437f88 00771756 10454ed8 00000003 10437fc0 0040005a 10437fb0 00030003 007362d4 006e8588 00000000 10bffd86 10bffd81 10bffd92 00000001 00000003 00000049 Call Trace: [<00441a4c>] ? suspend_set_ops+0x3c/0x50 [<00771756>] pci_arch_init+0xa/0x50 [<0040005a>] do_one_initcall+0x2a/0x170 [<0075e698>] kernel_init+0xd1/0x166 [<0075e119>] ? do_early_param+0x74/0x74 [<0075e5c7>] ? start_kernel+0x298/0x298 [<00407dd4>] kernel_thread_start+0x24/0x30 Code: 00 00 00 00 c7 04 24 6b ff 70 00 e8 3a 39 cb ff 85 c0 0f 84 8b 00 00 00 e8 3d 1e c9 ff 89 c6 e8 c6 21 c9 ff ba fb 0c 00 00 b0 01 <ee> b2 f8 ed 89 45 f4 b8 00 00 00 80 ef ed 31 db 3d 00 00 00 80 EIP: [<007718f1>] pci_direct_probe+0x53/0x1d8 SS:ESP 0023:10437f5c ---[ end trace 4eaa2a86a8e2da22 ]--- Kernel panic - not syncing: Attempted to kill init! exitcode=0x0000000b panic: going to sleep forever, bye vmlinuz.| panic: going to sleep forever, bye Best regards,

2 1

Full Virtulization for Trustzone
by meng-qy 21 Nov '12

21 Nov '12

Hi, all: Now,we have transplanted fiasco to imx 51 bbg board. When we use l4_vm_run to init a NS world(refer to the example of vm-tz), the system stop in the step of "VM run". More specially, we stop with the function of "tz_switch_to_ns" according to debug info. Following is our log info: RAM:------------------------ [0:90000000;90000fff] [0:90061000;9008ffff] [0:90097000;90097fff] [0:9009f000;9013ffff] [4:90140000;90172fff] [0:90173000;90177fff] [4:90178000;9018efff] [0:9018f000;9100ffff] [4:91010000;91010fff] [0:91011000;910fffff] [4:91100000;91134fff] [0:91135000;aeffffff] IOMEM:---------------------- [0:0;8fffffff] [0:b0000000;ffffffff] MOE: Hello world MOE: found 506952 KByte free memory MOE: found RAM from 90000000 to af000000 MOE: allocated 496 KByte for the page array @0x9009f000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:501000] BOOTFS: [91100000-91119428] [C:503000] l4re BOOTFS: [9111a000-91133544] [C:504000] vm-tz BOOTFS: [91134000-911341e4] [C:505000] test.bin MOE: cmdline: moe --init=rom/vm-tz MOE: Starting: rom/vm-tz MOE: loading 'rom/vm-tz' Vmm started Vm run Our configuration is: Ram_base = 0x60009000, // The reserved address in imx51, l4sigma0_map_iomem() seems ok. Ram_size = 0x4000000, // 128 MB Start_addr = Ram_base + 0x1000000, // +1MB test.bin is bare uart test-app which tested ok in imx51 bbg, we set entry "0x60009000" corresponds with Start_addr. Maybe we make some mistakes or some wrong understanding, can someone give some guidance and suggestion? Thanks a lot! Looking forward your reply. 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

Full virtualization with Trustzone
by meng-qy 19 Nov '12

19 Nov '12

Hi,all: Now,we have transplanted fiaso to imx51 bbg board, when we use l4_vm_run to init NS world (according to example of vm-tz), we found the system stop in the step of "VM run". More specifically, we stop with the processing: "return l4_ipc(vm, u, L4_SYSF_CALL, *label, l4_msgtag(L4_PROTO_TASK, 3, 0, 0), label, L4_IPC_NEVER);" The log info can be described as following: [0:90000000;90000fff] [0:90061000;9008ffff] [0:90097000;90097fff] [0:9009f000;9013ffff] [4:90140000;90172fff] [0:90173000;90177fff] [4:90178000;9018efff] [0:9018f000;9100ffff] [4:91010000;91010fff] [0:91011000;910fffff] [4:91100000;91134fff] [0:91135000;aeffffff] IOMEM:---------------------- [0:0;8fffffff] [0:b0000000;ffffffff] MOE: Hello world MOE: found 506952 KByte free memory MOE: found RAM from 90000000 to af000000 MOE: allocated 496 KByte for the page array @0x9009f000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:501000] BOOTFS: [91100000-91119428] [C:503000] l4re BOOTFS: [9111a000-91133608] [C:504000] vm-tz BOOTFS: [91134000-911341e4] [C:505000] test.bin MOE: cmdline: moe --init=rom/vm-tz MOE: Starting: rom/vm-tz MOE: loading 'rom/vm-tz' Vmm started VM run Our configuration is: Ram_base = 0x60009000, // The reserved address in imx51,l4sigma0_map_iomem() looks OK. Ram_size = 0x4000000, // 128 MB Start_addr = Ram_base + 0x1000000, // +1MB The test.bin is bare uart test-app we test ok in imx51 board, we change the entry as 0x61009000, correspond with Start_addr. Maybe we make some mistakes, who can give some guidance and suggestions? Looking forward to your reply. 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. ---------------------------------------------------------------------------------------------------

1 0

Touchscreen
by Wajidali Whowe 15 Nov '12

15 Nov '12

Dear all, do you have any experience on configuring the touchscreen for L4? I have an x86 computer with a touchscreen and do not know where to start. Does anyone have a small tip for me to start? Best Regards

5 20