- l4-hackers - example.com Site

fiasco r52 on beagleboard xm
by Sin-ta Hsiea 11 May '13

11 May '13

Hi, I've tried running r47 fiasco kernel on beagleboard xm platform, it was fine, but after upgrading sources to r52, it broke. Output message hang after this line. Hello from Startup::stage2 After debugged using JTAG, I found that after page table modified, MMU still can't translate that address. So I add this line to source: --- src/kern/arm/paging-arm.cpp (revision 52) +++ src/kern/arm/paging-arm.cpp (working copy) @@ -348,6 +348,7 @@ void Pte_ptr::write_back_if(bool, Mword asid = Mem_unit::Asid_invalid) { + Mem_unit::clean_dcache(pte); if (asid != Mem_unit::Asid_invalid) Mem_unit::tlb_flush(asid); } Then output message hang after this line: Calibrating timer loop... done. It seems that MMU doesn't notice page table was switched to sigma0's pagetable. I also tried pandaboard, it just works fine. Does anybody have idea how to fix this? Best regard, SIn-ta Hsiea

2 2

Fiasco.OC with ARM TrustZone
by Chao-Jui Chang 11 May '13

11 May '13

Hi hackers, Is trustzone working on exynos 4412 platform? I have selected the follow item in Fiasco config menu: * Platform Timer (Multi-core timer) * Use ExtGic * Execution Model (TrustZone normal side) But it stop at early stage. Same result for Execution Model (Standard mode). but no message for Execution Model (TrustZone secure side). If the trustzone is disabled in u-boot, the 'Standard mode' works fine. ----- booting log ----- OK U-Boot 2010.12-00000-g8d816e8-dirty (May 06 2013 - 19:38:10) for Exynox4412 CPU: S5PC220 [Samsung SOC on SMP Platform Base on ARM CortexA9] APLL = 1000MHz, MPLL = 880MHz DRAM: 1023 MiB PMIC VERSION : 0x00, CHIP REV : 3 TrustZone Enabled BSP BL1 version: 20121128 Checking Boot Mode ... SDMMC MMC Device 0: 30959 MB MMC Device 1 not found ModeKey Check... run normal_boot Net: No ethernet found. Hit any key to stop autoboot: 0 Exynos4412 # run fiasco Partition2: Start Address(0x2000), Size(0x1a000) reading bootstrap.raw 835584 bytes read Boot with zImage Starting kernel ... Hello from Startup::stage2 Per_cpu_data_alloc: (orig: 0xf0044588-0xf0044f60) Number of IRQs available at this GIC: 160 ------ end of booting log ----- Best regards, Chao-Jui

2 1

How to start new program in interactive way
by Chao-Jui Chang 02 May '13

02 May '13

Hi hacker, Is there any other way to start a new l4 program or l4linux? Currently, I can only start program by writing lua script. Can I start new program like in a shell environment? For example: $ ls -> run ls program $ df -> run df program If no shell like environment, is there any example by using L4Re API? Thanks, Chao-Jui

2 1

Re: How to start 2 or more VMs
by Chao-Jui Chang 29 Apr '13

29 Apr '13

Hi Ganis Zulfa, You need to setup one ethX for each l4linux. When you start 2 L4Linuxes, you will only see one ethX in current console, because you are connected to the second L4Linux not the first one. It is normal to see only one ethX. One way to setup the ip of first L4Linux is to write the init config in /etc/init.d/rcS. In this case, you need 2 ramdisk for each L4Linux. Here is my config for first L4Linux: # cat /etc/init.d/rcS > #! /bin/sh > mount -t proc proc /proc > mount -t devtmpfs devtmpfs /dev > mkdir /dev/pts > mount -t devpts devpts /dev/pts > ifconfig lo up > ifconfig eth0 192.168.50.1 > telnetd -l /bin/sh > exit 0 For second L4Linux, just change the ip to 192.168.50.2 After 2 L4Linuxes start, you will be in second L4Linux(192.168.50.2) then, you can telnet 192.168.50.1 to go to another L4Linux. Cheers, Chao-Jui 2013/4/16 Ganis Zulfa Santoso <ganiszulfa(a)gmail.com> > Hi Chao-Jui, have u figured out a way to do what Adam said? > > I followed the instructions from http://wiki.tudos.org/L4Linux/shmnet, > but I have problems: > > A. i ran two l4linux arms but i only found one ethX > > B. how do i set up the ip of another l4linux arm? > > thanks. > > > Best regards, > > > Ganis Zulfa Santoso > > > On Mon, Apr 8, 2013 at 7:03 AM, Adam Lackorzynski < > adam(a)os.inf.tu-dresden.de> wrote: > >> Hi, >> >> On Fri Apr 05, 2013 at 13:29:37 +0800, Chao-Jui Chang wrote: >> > Is it possible to multiplex multiple text-based console? >> > I want to try to start multiple VMs on ARM board which only provides >> serial >> > console. >> >> You can connect two L4Linuxes using a l4shmnet-based local network >> connection, so you can go from one to the other via e.g. telnet or ssh. >> >> >> Adam >> -- >> Adam adam(a)os.inf.tu-dresden.de >> Lackorzynski http://os.inf.tu-dresden.de/~adam/ >> >> _______________________________________________ >> l4-hackers mailing list >> l4-hackers(a)os.inf.tu-dresden.de >> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers >> > >

3 4

does the driver directly operate the device?
by gaober 27 Apr '13

27 Apr '13

hi! drivers in linux are in kernel mode.but in a microkernel-based system,drivers are like apps,do they operate the device directly?or the microkernel will do something to operate device.

2 1

l4linux and sysenter
by Ryan Brown 24 Apr '13

24 Apr '13

Thanks for the ptrace fix, that really helped with debugging. We were seeing programs crash at the first system call when using some versions of glibc, but not others. It seems the difference is that the working glibc's are compiled without vdso support. When glibc tries to use the vdso for system calls, it crashes at the sysenter instruction. If we start l4linux with vdso32=0, the program is able to run. Is sysenter expected to work under l4linux? It looks like it requires using msr's, so perhaps l4linux isn't able to setup sysenter? Should it be installing the int80 vdso function instead? While investigating the vdso stuff to I also became curious. How difficult would it be to set up an l4 specific vdso? I assume just using l4 ipc directly would be more efficient than using int80? Thanks, Ryan Brown

2 1

How to start 2 or more VMs
by Chao-Jui Chang 18 Apr '13

18 Apr '13

Hi hackers, Is there any document that describes how to start 2 or more VMs on Fiasco.OC ? Is it possible to switch consoles between VMs ? Could you point out the direction to me? Thanks, Chao-Jui

3 5

Question about L4/Fiasco
by Samir Boulhram 16 Apr '13

16 Apr '13

Hello, I'm trying to change the scheduler of the L4/Fiasco. I'm aim is to make an RM scheduler policy for schedule 3 VMs. My problem is that I don't have any idea of where I have to start my work. Can you help me please ? -- Kind regards, Samir B.

2 1

l4re compilation order
by gaober 16 Apr '13

16 Apr '13

hi! i have some doubt about the buliding of l4re.who decides the order of the l4re pkg complie?if i want to make pkg drivers earliear than pkg input,hao can i do? does the /pkg/XXX/Control mean anything? and in the obj directory, there are .pc files like libdrivers-input.pc etc.what do they work? Wilbert Gao

2 1

Ring 0 task
by Daniel Waddington - SISA 14 Apr '13

14 Apr '13

Hi, How do you create ring 0 tasks with Fiasco.OC? (I want them to execute rdmsr/wrmsr) Thanks Daniel

2 3