- l4-hackers - example.com Site

page fault on virtual bus
by ba_f 30 May '14

30 May '14

Hello Hackers, i try to access some peripheral on my platform. But i get page faults when writing to the peripheral at 0x41220000: MOE: Hello world MOE: found 505476 KByte free memory MOE: found RAM from 6f000 to 1f000000 MOE: allocated 495 KByte for the page array @0x9f000 MOE: virtual user address space [0-bfffffff] MOE: rom name space cap -> [C:501000] BOOTFS: [116d000-116d117] [C:503000] periTest.cfg BOOTFS: [116e000-116e1aa] [C:504000] periTest.io BOOTFS: [116f000-1188494] [C:505000] l4re BOOTFS: [1189000-129673c] [C:506000] io BOOTFS: [1100000-1152c0c] [C:507000] ned BOOTFS: [1153000-116c5e4] [C:508000] periTest MOE: cmdline: moe rom/periTest.cfg MOE: Starting: rom/ned rom/periTest.cfg MOE: loading 'rom/ned' Ned says: Hi World! Ned: loading file: 'rom/periTest.cfg' periTest| L4Re[rm]: unhandled write page fault @41220000 pc=1000294 periTest| L4Re: unhandled exception: pc=0x1000294 Here is my CFG. My io-file looks like the one here https://os.inf.tu-dresden.de/L4Re/doc/io.html ## cfg require("L4"); local loader = L4.default_loader; local io_buses = { FOODEVICE = loader:new_channel(); }; loader:start({ caps ={ FOODEVICE = io_buses.FOODEVICE:svr(), }, }, "rom/periTest rom/periTest.io" ); ## end CFG Thanks for any help.

4 3

Re: kinvoke fonction
by Matthias Lange 28 May '14

28 May '14

On Tue, May 27, 2014 at 03:45:18PM +0000, Bouchra Elouri wrote: > Hi Matthias, > can you explain to me what this fonction do :Scheduler::kinvoke(L4_obj_ref > ref, L4_fpage::Rights rights, Syscall_frame *f, Utcb const *iutcb, Utcb > *outcb) > > L4_obj_ref ref : ?? explication L4_obj_ref is a reference to a kernel object. See src/abi/l4_types.cpp for details. > L4_fpage::Rights rights : ?? These are the access rights for the kernel object. See src/abi/l4_fpage.cpp. > Syscall_frame *f : ?? A Syscall_frame encapsulates the system call data. See src/kern/entry_frame.cpp. > Utcb const *iutcb, Utcb *outcb: ?? The UTCB is used to pass and return data between kernel and user (in case of a system call) or between IPC partners. If you have other questions in the future please use the l4-hackers mailing list! Matthias. -- Matthias Lange, matthias.lange(a)kernkonzept.com, +49 - 351 - 41 88 86 14 Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. Geschäftsführer: Dr.-Ing. Michael Hohmuth

1 0

[Question] How do I do to secure LCD on L4 Linux ?
by Yeongchan 28 May '14

28 May '14

Hi, l4hackers I'm try to securing LCD on L4 Linux using Freescale i.MX6Q SABRESD board. I succeeded in securing Ethernet on L4 Linux. But I don't yet secure LCD on L4 Linux. LCD(HSD100PXN1) is connected by LVDS. I've modified as below.. 1.' .io' I've added LDB control register address to '.io' file. 2. 'mach_setup.c' (l4linux/arch/l4/kernel/arch-arm/mach_setup.c) I've added code for LVDS. Qusetion 1. Did I do wrong modification ? Qusetion 2. Must I do something outside of that ? How do I do to secure LCD on L4 Linux ? If you give a bit hints me, I would appreciate it .

2 1

Re: Doing simple I/O in clntsrv example
by Marcus Hähnel 26 May '14

26 May '14

On 2014-05-22 16:02, Valentin Hauner wrote: > On 05/22/2014 03:41 PM, Marcus Hähnel wrote: >> Sorry. Forgot to reply to the previous mail. Is this for a 64-bit or >> 32-bit system? > No problem. > It's a 32-bit system, I'm compiling into ./bin/x86_586. You need a terminal to do input. fbterminal is one that provides what you need. It does not work from the serial line out of the box as far as I know. Please have a look at the x86-fb.* example in l4/conf/examples and start the client using the same method. This will allow it to receive keyboard input. Instead of the ex_spectrum... example use fbterminal to start with mag using (for example) the following lines: local c = { fb = mag_caps.svc:create(L4.Proto.Goos, "g=800x600"), term = l:new_channel():svr() }; l:start({ caps = c }, "rom/fbterminal"); And then start the clntsrv-client in the terminal using (again, for example): l:startv({ caps = { calc_server = calc_server}, log = c.term:m("ro") }, "rom/ex_clntsrv-client"); Best regards, - Marcus Haehnel

1 0

Where is kernel entry code
by Yuxin Ren 26 May '14

26 May '14

Hi, Where is the code around kernel entry, including both l4Re and kernel? What is the register format of system call in Fiasco? Thanks a lot. Best

3 3

Missing library question
by Sören Jonsson 26 May '14

26 May '14

Hello, After an upgrade from VMWare Workstation 7 to 10 and removing my previous debian virtual machine. I am now building L4 and L4Re again. The build of L4 went smoothly, but when I try to build L4Re I get the following error message: === Building package "bootstrap" === ===> Linking bootstrap32.elf /usr/bin/ld skipping incompatible /usr/lib/gcc/x86_64-linux-gnu/4.7/libgcc.a when searching for -lgcc /usr/bin/ld: cannot find -lgcc collect2: error: ld returned 1 exit status make [5]: *** [bootstrap32.elf] Error 1 make [4]: *** [/home/osj/l4re/pkg/bootstrap/server/src/OBJ-amd64_amdfam10] Error 2 make [3]: *** [src] Error 2 make [2]: *** [server] Error 2 make [1]: *** [bootstrap] Error 2 make: *** [pkg] Error 2 I have configured L4 and L4Re to build for an AMD K10 processor using the AMD64 architecture. The build OS is: Debian Linux 7.3.0 Compiler: gcc 4.7.2-5 Best regards, Sören Jonsson Sweden

2 1

About DMA mem and IO Server
by Taeung 23 May '14

23 May '14

Thanks Martin :-) Referencing website link which you give me , I'm trying to secure Ethernet on L4Linux. I've got eth0 and configure ip address, netmask , etc. But if I do 'ping 8.8.8.8' for test, error occur such as 'Error connecting: Network is unreachable'. I suspect that the problem is about DMA mem. As below , there is 'WARNING: phys mmio resource allocation failed' log message.. What is the problem ? May this problem be the reason why network is unreachable ? ======================== ..(omitted).. IO | Io service IO | Verboseness level: 4 IO | unused physical memory space: IO | [00000001000000-0000000fffffff] IO | [00000050000000-000000ffffffff] IO | Loading: config 'rom/imx6q.io' *IO | WARNING: phys mmio resource allocation failed** **IO | <0x1bf18>IOMEM [00000010426000-000000104a5fff 80000] non-pref (32bit) (align=7ffff flags=c002)** **IO | WARNING: phys mmio resource allocation failed** **IO | <0x1bf18>IOMEM [00000010426000-000000104a5fff 80000] non-pref (32bit) (align=7ffff flags=c002)* IO | P6Device: l4linux "" IO | P6Device: (noname) "L40009" IO | P6Device: imx6q-fec.dev0 "imx6q-fec.0" IO | <0x14678> IOMEM [00000002188000-0000000218bfff 4000] non-pref (32bit) (align=3fff flags=4002) IO | <0x1be28> IRQ [00000000000096-00000000000096 1] none (32bit) (align=0 flags=4001) IO | P6Device: dmamem "dmamem" IO | <0x1bf18> IOMEM [00000010426000-000000104a5fff 80000] non-pref (32bit) (align=7ffff flags=c002) ..(omitted).. ======================== I'd appreciate whoever give me hints. - Taeung - On 05/10/2014 06:39 PM, Martin Schröder wrote: > Hi Taeung, > this DMAMEM block is mandatory for devices writing/reading directly > into/from RAM. > > Maybe you'll have a look into another board patchset: > http://fooprotected.wordpress.com/2012/04/12/l4linux-patch-for-mv643xx-ethe… > > > and also here: > https://github.com/Ksys-labs/L4Reap/blob/master/files/gumstix-fb-l4l.io > > > > Best regards, > Martin > > > Am 09.05.2014 19:34, TaeWoong Song schrieb: >> Thanks for your advice ,Martin !! >> >> I understand what you mean. >> So, I'm modify source code according to imx6's single Ethernet. >> >> Up to now, FEC Ethernet Driver has been initialized and eth0 has been >> secured in L4Linux. >> But I didn't succeed it yet. >> >> Do I have to need to get DMAMEM ? >> Or, is it fine that I omit DMAMEM ? >> >> However, your patch has been being very helpful to me. >> I'll continue securing Ethernet in L4 Linux. >> >> - Taeung - >> >> On May 9, 2014, at 10:12 PM, Martin Schröder <mschroeder(a)web.de> wrote: >> >>> Just a short addidion: >>> I just had a short look into the freescale spec: The i.MX6 you are >>> using has only a single Ethernet, my i.MX28 has dual Ethernet. So >>> you can skip everything I wrote abot the second PHY connected to the >>> MDIO bus of the first FEC. And you can also remove all lines related >>> to the Dummy-PHY (your Question 5) and turn CONFIG_FIXED_PHY off. >>> >>> Best regards, >>> Martin >>> >>> >>> Gesendet: Mittwoch, 07. Mai 2014 um 16:57 Uhr >>> Von: "Martin Schröder" <mschroeder(a)web.de> >>> An: Taeung <treeze.taeung(a)gmail.com> >>> Betreff: Re: May I ask you questions about your path? >>> Am 07.05.2014 16:08, schrieb Taeung:> Hi, Martin :-) >>>> >>>> Sorry, I take up your time. >>> >>> no problem :-) >>> >>>> May I ask you questions about your path? >>>> >>>> Question 1. In 'imx28.io' file , what mean 'DMAMEM' and 'new-res >>>> Mmio_ram()' ? >>>> >>>> I know that 'Mmio()' need arguments which are start and end address. >>>> But, I don't know 'Mmio_ram()'. >>> >>> I already answered your question on the list :-) >>> >>> you'll find also another reference in the list-archive: >>> >>> <20111117204103.GC13416(a)os.inf.tu-dresden.de> >>> Am 17.11.2011 21:41, schrieb Adam Lackorzynski:> On Thu Nov 17, 2011 >>> at 12:49:31 +0400, Sartakov A. Vasily wrote: >>>>> So.. >>>>> usb host via ehci uses dma and i have problem in >>>>> pool_alloc_page(mm/dmapool.c): >>>>> dma_alloc_coherent (arhc/l4/mm/) returns 0, cos l4x_dma_mem_alloc >>>>> returns 0 too. >>>> >>>> I guess you need to put some 'dmamem' onto your vbus: >>>> >>>> DMAMEM => new Device() >>>> { >>>> .hid = "dmamem"; >>>> new-res Mmio_ram(<size-in-bytes>, 0); >>>> } >>>> >>>> >>>> >>>> Adam >>>> >>> >>>> Question 2. What is namespace 'shmns' ? >>>> >>>> local shmns = loader:create_namespace({shmns = "shmns"}); (line 69) >>>> shmns = shmns:mode("rw"), (line 89) >>>> >>> >>> I am using the l4shmnet network driver to connect two l4linux >>> instances by a virtual network. This driver is based on shared >>> memory, which I assign to both instaces. You'll see the other >>> reference in the linux kernel command lines where this >>> l4shmnet.add=shmns.add=shmns,maxpart=0x12/0x14 is added. >>> >>> >>>> Question 3. In fec_main.c , '#define clk_get_rate(x) 151000000' (line >>>> 312, 349) >>>> How do you know '151000000' ? >>>> Do you found in imx28 data sheet or other document ? >>> >>> I calculated it backwards. In fec_main.c you'll find "Seet MII speed >>> to 2.5 Mhz (= clk_get_rate() / 2 * phy speed)". So I grabbed the >>> divisor (read out the memory in U-Boot) and multiplied it >>> accordingly to get those 2.5 Mhz. But you could also insert some >>> kdebug("%d\n",clk_get_rate()), compile for a native linux and insert >>> this value instead :-) >>> >>>> Question 4. At line 323, why every variables is NULL ? >>> I have no L4-support for the clocing distribution (not within the >>> address space of the fec chip). So clocking the fec is done in U-Boot >>> >>>> Question 5. At line 260, what mean '.link' and '.speed', .duplex ? >>> I set up a virtual "dummy" phy on the second FEC device if this is >>> in another L4 than the first FEC. So this phy should always report >>> "link up", "100 MBit/s" and "full duplex" to the ethernet driver. >>> >>> >>> Martin >>> >> >

3 3

Doing simple I/O in clntsrv example
by Valentin Hauner 22 May '14

22 May '14

Hi! I'm having some trouble with doing simple I/O actions in the clntsrv example (/src/l4/pkg/examples/clntsrv). I want the client to enter minuend and subtrahend himself, so I've added the following code to client.cc: > printf("Please enter minuend and subtrahend: \n"); > l4_uint32_t val1, val2; > std::cin >> val1 >> val2; iostream is included at the beginning of the file. However, the linker has some serious problems: > ==> Linking ex_clntsrv-client > client.o: In function `main': > /home/hnr/l4re-core-2014022818/src/l4/pkg/examples/clntsrv/client.cc:60: undefined reference to `std::cin' > /home/hnr/l4re-core-2014022818/src/l4/pkg/examples/clntsrv/client.cc:60: undefined reference to `std::istream::operator>>(int&)' > /home/hnr/l4re-core-2014022818/src/l4/pkg/examples/clntsrv/client.cc:60: undefined reference to `std::istream::operator>>(int&)' > client.o: In function `__static_initialization_and_destruction_0': > /home/hnr/l4reb/include/contrib/libstdc++-v3/iostream:72: undefined reference to `std::ios_base::Init::Init()' > /home/hnr/l4reb/include/contrib/libstdc++-v3/iostream:72: undefined reference to `std::ios_base::Init::~Init()' > make[1]: *** [ex_clntsrv-client] Error 1 > make: *** [/home/hnr/l4reb/pkg/examples/clntsrv/OBJ-x86_586-l4f] Error 2 I did not change the Makefile, so g++ is used for compiling (and not gcc). I've added > CXX_FLAGS = -lstdc++ but that doesn't help. I'm using update-alternatives to have different versions of g++ installed simultaneously. Currently, the link points to g++-4.7. But using g++-4.4 does not solve the problem either. Thanks in advance for support!

2 6

interfaces of scheduler Fiasco
by Bouchra Elouri 21 May '14

21 May '14

hello I'm currently reading the code of schudeler fiasco.oc to have an idea about the internal and external interfaces of the scheduler. Can you tell me what exactly are the codes that I have read so I can know the scheduler interfaces (ie with which it communicates) thank you

2 1

Porting Fiasco+L4re to DaVinci DA850 - Linux time wrong
by Peter Howard 21 May '14

21 May '14

I've now got L4Linux running on top of Fiasco+L4re on the DA850. However there appears to be something wrong with the time. Time seems to be passing at a rate of 10-1 (i.e. 1 elapsed second == 10 reported seconds) in Linux. If I change the default Hz rating the L4Linux config (from 100Hz) in either direction L4Linux either hangs or slows down dramatically. If I change the period in the timer driver (in the Fiasco bsp directory) things hang earlier. For the Fiasco BSP I'm using: * timer_tick-single-vector for timer_tick_IMPL, * clock_generic for clock_IMPL, * a da850 timer driver for timer_IMPL. Can someone enlighten me as to how it should work? Thanks -- Peter Howard <pjh(a)northern-ridge.com.au>

2 3