l4-hackers March 2012

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

20 participants
20 discussions

how to start wget example?
by Timur 22 Mar '12

22 Mar '12

Hello! I use attached ankh.lua(defualt), ankh.vbus and wget.lua(default), and receive error http://paste.org.ru/?w335oj Thanks!

4 6

Fiasco.OC development status
by Robert Campbell 21 Mar '12

21 Mar '12

Hey guys, Is Fiasco.OC being actively developed(i.e new and on going research, new features) or is it just being maintained (small adjustments, bug fixes etc...)?

2 1

APIC trigger mode
by Sebastian Sumpf 20 Mar '12

20 Mar '12

Hi there, I have a question regarding the APIC-interrupt mode settings on x86. I see that one has to set the mode externally in Fiasco.OC using the 'l4_icu_set_mode' call. Also I had a look at Nova which seems to program these modes from within the kernel, using edge/high for IRQ 0-15 and level-low for IRQ 16-23. Would that be a valid assumption to program the modes for Fiasco.OC x86 also, or is there an other way to find out the interrupt-trigger modes of IRQs (other than the ones found in ACPI-MADT)? Why is it necessary to set these modes outside the kernel? Thanks a lot, Sebastian

3 3

help l4linux dma usage
by jangwoo 20 Mar '12

20 Mar '12

Hi all. I’m jangwoo. I have some question about l4linux DMA usage. Currently if use dma_alloc_coherent api, it works well. You kwow that “dma_alloc_coherent” get virt addr and phys addr concurrently. But most case of dma usage is to change virt addr into phys addr. Mostly virt addr comes from generic layer of linux kernel. Os it is hard to modify. So, I tried to call virt_to_phys(internal mapping l4x_virt_to_phys), but this function wasn’t direct mapping. I feel like delaying to sync between virt addr and phys addr.(when I check with Trace32) Anyway as “virt_to_phys” have these issues, DMA operation hit miss. Currently l4linux don’t support most dma function. how can I work DMA although it is expedient method? Please. p.s : Not support dma list dma_mmap, ___dma_single_cpu_to_dev, ___dma_page_cpu_to_dev, ___dma_page_dev_to_cpu, dma_map_sg, dma_sync_sg_for_cpu etc thanks all.

1 0

Ankh with l4Linux
by Shashi Sharma 15 Mar '12

15 Mar '12

Hi, I want to enable l4linux to use the Ankh server. But I dont know how to start l4linux so that it can bind to Ankh server. I enabled the l4ankh driver in l4linux. And Following is how I start the Ankh server and l4linux --Ankh----------- -- start ankh loader:startv( {caps = {ankh_service = ankh_clnt:svr(); -- session server vbus = ankh_vbus, -- the virtual bus shm = ankh_shm:m("rws")}, -- shm namespace read/writable log = {"ankh", "g"}, l4re_dbg = L4.Dbg.Warn }, "rom/ankh" ); --L4linux------------------- loader:start( { caps = { log = L4.Env.log:m("rws"), vbus = vbus_l4linux; rtc = rtc_caps.rtc; shm = ankh_shm:m("rws"); ankh = ankh_clnt:create(0,"debug,phys_mac,shm=shm,bufsize=16384"); }, l4re_dbg = L4.Dbg.Warn, log = { "l4linux", "yellow" }, }, "rom/vmlinuz mem=128M earlyprintk=yes showpfexc=1 console=ttyLv0 tcp,nolock ip=192.168.0.200:192.168.0.115:192.168.0.1:255.255.255.0::eth0: l4x_rd=rom/drops-rd.rd root=1:0 ramdisk_size=20000 init=/bin/sh"); Thanks, Shashi

3 7

NFS boot
by Sartakov A. Vasily 15 Mar '12

15 Mar '12

Hello. I try to use NFS in l4linux and have problem. This happens on ARM and on X86: WARN: Page-fault above task size: pfa=bfdfeb40 pc=4007d760 l4linux | 0: 00009228 4017e2d8 0d696914 00008f38 4: 00000000 40095910 bfdff000 bfdfeb40 l4linux | 8: 40094fb0 00000000 40094fb0 0001702c 12: 00000070 bf977ea8 40083e58 4007d760 l4linux | CPSR: 20000010 Err: 00410007 Kernel panic - not syncing: Attempted to kill init! [<0012ebf8>] (unwind_backtrace+0x0/0xf4) from [<00482c70>] (panic+0x58/0x180) [<00482c70>] (panic+0x58/0x180) from [<00150ee0>] (do_exit+0x5b4/0x670) [<00150ee0>] (do_exit+0x5b4/0x670) from [<00150fd8>] (do_group_exit+0x3c/0xb0) [<00150fd8>] (do_group_exit+0x3c/0xb0) from [<0015bf88>] (get_signal_to_deliver+0x190/0x388) [<0015bf88>] (get_signal_to_deliver+0x190/0x388) from [<00128bb8>] (do_signal+0x88/0x5ac) [<00128bb8>] (do_signal+0x88/0x5ac) from [<0012c31c>] (l4x_user_dispatcher+0x1500/0x2574) [<0012c31c>] (l4x_user_dispatcher+0x1500/0x2574) from [<001276c0>] (kernel_execve+0x5c/0xc0) [<001276c0>] (kernel_execve+0x5c/0xc0) from [<00122558>] (init_post+0x98/0xcc) [<00122558>] (init_post+0x98/0xcc) from [<001001f0>] (kernel_init+0xe4/0x114) [<001001f0>] (kernel_init+0xe4/0x114) from [<00126c18>] (kernel_thread_exit+0x0/0x8) panic: going to sleep forever, bye l4linux | panic: going to sleep forever, bye If i boot from other source, I can successful mount NFS root, do one time ls and with next command i will get panic. -- Sartakov A. Vasily

2 1

Re: PowerPC support
by Adam Lackorzynski 05 Mar '12

05 Mar '12

Hi Oliver, On Wed Feb 29, 2012 at 10:11:06 +0100, Oliver Horst wrote: > I've read your reply to last year question about the PowerPC support of > FIASCO [1]. > Is there any progress to be noted on this topic? Unfortunately none. > Further, I'd like to know which actual processor board you targeted the > PowerPC > port to and with that which PowerPC ISA version do you intend to support? One is a 603e one, the other Qemu. At the current stage it probably does not play a big role. Adam -- Adam adam(a)os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/

2 2

Serial console with qemu/realview-eb
by Mehdi AICHOUCH 05 Mar '12

05 Mar '12

Hi Adam, By adding the option [kernel fiasco -serial_esc] to conf/module.list, the input of the L4Linux console is working great. Thank very much. Mehdi

1 0

page mapping in l4linux
by jangwoo 01 Mar '12

01 Mar '12

Hi all. I have question about mapping memory page in l4linux. I think “dma_map_page” function seem malfunction in below code. struct page *new_page; u32 linux_phys_addr; new_page = alloc_page(GFP_HIGHUSER | __GFP_ZERO | __GFP_NORETRY | __GFP_NOWARN | __GFP_COLD); linux_phys_addr = dma_map_page(NULL, new_page, 0, PAGE_SIZE, DMA_BIDIRECTIONAL); ////// PAGE_SIZE is 4KB _______________________________________________________________ new_page | linux_phys_addr | correct linux_phys_addr | ----------------|----------------------------|------------------------------ | 0xe54b20 0x325d9000 0x48b54b20 0xe54b40 0x325da000 0x48b54b40 0xe54b60 0x325db000 0x48b54b60 as H/W ram-base is 0x40000000, 0x30000000 base address can’t be mapped. Does anybody know a way to work dma_map_page? Best.

2 1

Serial console with qemu/realview-eb
by Mehdi AICHOUCH 01 Mar '12

01 Mar '12

Hi all, I have the same problem with the serial console in QEMU, I tested the same configuration as you. This my test command. [qemu-system-arm -M realview-eb -cpu arm926 -kernel bootstrap_L4Linux_ARM.elf -m 256 -nographic] All output are OK, but no input. I also tried to use the I/O C standard gets(char *) function, in the "hello" example, but I get an error compilation: "undefined reference to gets". Is there any solution or hint since the first post of the problem and after the answer of Julian. thank you in advance. Mehdi

2 1

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 March 2012