l4-hackers December 2014

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

17 participants
20 discussions

Re: L4Re GPIO
by Erry Pradana Darajati 22 Dec '14

22 Dec '14

Thank you for the help in my last email. I want to continue the question from my last email. 1. I want to QEMU to accept input from keyboard to emulate and study how to use an configure of IO. I study this as a part of my main goal to access GPIOs of Pandaboard. Well, in my last email i stated that i already include x86-legacy.devs module in modules.list, and define REQUIRES_LIBS=libc_be_file_stdin, and using "default-kernel fiasco -serial_esc" defined. But, it still not respond to any of my keyboard input. So, what did i miss? 2. I have modified omap3 driver that included in the package to be used with omap4460 registers, but i have a few difficulties. There are few missing registers (like Clr_irq_enable1 register that not present in OMAP4460) and i am still cannot comprehend the scm_offset table. Because when i crossreferencing the source with the OMAP3 TRM the i cannot understand the value. My question is. Is it be able to use only some of the defined register to do simple IO task, and enable or disable register ? Below, i paste the link source : http://pastebin.com/fPSmZQBu Thank you for any suggestion and answer 2014-12-05 18:00 GMT+07:00 <l4-hackers-request(a)os.inf.tu-dresden.de>: > > Send l4-hackers mailing list submissions to > l4-hackers(a)os.inf.tu-dresden.de > > To subscribe or unsubscribe via the World Wide Web, visit > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > or, via email, send a message with subject or body 'help' to > l4-hackers-request(a)os.inf.tu-dresden.de > > You can reach the person managing the list at > l4-hackers-owner(a)os.inf.tu-dresden.de > > When replying, please edit your Subject line so it is more specific > than "Re: Contents of l4-hackers digest..." > > > Today's Topics: > > 1. Re: L4Re GPIO (Adam Lackorzynski) > 2. Re: JDB percent CPU usage (Adam Lackorzynski) > > > ---------------------------------------------------------------------- > > Message: 1 > Date: Thu, 4 Dec 2014 23:53:01 +0100 > From: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> > To: l4-hackers(a)os.inf.tu-dresden.de > Subject: Re: L4Re GPIO > Message-ID: <20141204225301.GA4644(a)os.inf.tu-dresden.de> > Content-Type: text/plain; charset=iso-8859-1 > > Hi, > > On Thu Dec 04, 2014 at 14:57:14 +0700, Erry Pradana Darajati wrote: > > I have some follow up question from my last email. > > > > 1. About GPIO. So IOs defined on LUA script. So in OMAP4460, is gonna be > > like this, isn't it ? > > Principally yes. > > > I have a question in line of this code. > > > > GPIO = Hw.Device(function() > > GPIO1 = Hw.Gpio_omap46x_chip(function( > > ) > > hid = "gpio-omap46x-GPIO1"; > > compatible = {"ti,omap4-gpio"}; > > regs = Res.mmio(0x4A310000, 0x4A310194); // This one is range of > > Address GPIO1 used > > Yes. > > > irq = Res.irq(29); //This one is IRQ of GPIO1 ? What is the meaning > > of irq(29) ? > > This is the IRQ number for the GPIO chip. The driver in IO will then > generate IRQs for the specific pins by reading hardware registers of the > GPIO chip. > > > scm_table = 0; // I still don't understand about this line > > This selects the specific GPIO block. It is a driver-internal selection. > > > end); > > end); > > > > And where can i read the reference about another parameters of this ? > (Like > > there pins parameter in raspi b. And there are mems instead of regs) > > The specific ones are driver specific so you should check the driver in > io (pkg/io/server/src/drivers/gpio/*). > > I guess a driver for the 4460 won't be so different from the omap3 one > so maybe it can be modified. > > > 2. I try the L4Re with x86 build run in QEMU. And want it to accept my > > keyboard input. So i need to include x86-legacy.devs module in > modules.list > > and define REQUIRES_LIBS=libc_be_file_stdin isn't it ? > > But after i've done it, it still doesn't accept keyboard input. what did > i > > miss ? > > For what purpose do you want it to accept input? Maybe just a missing > -serial_esc option on Fiasco's command line? > > > > > Adam > -- > Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > > > ------------------------------ > > Message: 2 > Date: Thu, 4 Dec 2014 23:57:32 +0100 > From: Adam Lackorzynski <adam(a)os.inf.tu-dresden.de> > To: l4-hackers(a)os.inf.tu-dresden.de > Subject: Re: JDB percent CPU usage > Message-ID: <20141204225732.GB4644(a)os.inf.tu-dresden.de> > Content-Type: text/plain; charset=iso-8859-1 > > Hi jason, > > On Wed Dec 03, 2014 at 20:11:03 -0500, teclis High Elf wrote: > > Is there a way to get percent CPU usage (or any other resource usage ) > from > > JDB? So if I suspect that one task has run amok and is monopolizing the > CPU > > I can search for it using JDB. > > CPU usage is not directly possible with jdb as jdb only has a current > view with the system being stopped. What usually works quite ok is to > check for 'ready' threads (with 'lp' jdb command) a couple > of times and see if one or some are ready besides the kernel idle > threads all the time. > > > > Adam > -- > Adam adam(a)os.inf.tu-dresden.de > Lackorzynski http://os.inf.tu-dresden.de/~adam/ > > > > ------------------------------ > > Subject: Digest Footer > > _______________________________________________ > l4-hackers mailing list > l4-hackers(a)os.inf.tu-dresden.de > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > > > ------------------------------ > > End of l4-hackers Digest, Vol 140, Issue 5 > ****************************************** > -- *Regards,* *Erry Pradana Darajati | Student of Computer Engineering* *Politeknik Elektronika Negeri Surabaya / EEPIS, Indonesia*

3 2

JDB and sigma0
by teclis High Elf 21 Dec '14

21 Dec '14

Is there a way to use JDB to query sigma0 to see which task owns an address? Say for example I have a virtualization system built using Fiasco L4Re and all I have is the instruction pointer for where a potential problem, possibly a memory leak. Is there a way to use JDB to find out which task the L4Re system thinks owns that address?

2 1

iostream and string in L4Re
by Erry Pradana Darajati 21 Dec '14

21 Dec '14

Hello, L4-hackers. i have a short question. Is iostream and string functions present in L4Re. Since i cannot use it. I have already included the line below in my makefile : *REQUIRES_LIBS += libc_be_file_stdin libstdc++ cxx_libc_io cxx_io* And also, how to make hello-cfg be able to accept keyboard input. I have already include libc_be_file_stdin and include line below in my hello.cfg but it still not working : *L4.default_loader:start({ caps = { log = L4.Env.log,},l4re_dbg = L4.Dbg.Warn,log = { "l4linux", "yellow" },}, "rom/hello");* Thank you for the answers -- *Regards,* *Erry Pradana Darajati | Student of Computer Engineering* *Politeknik Elektronika Negeri Surabaya / EEPIS, Indonesia*

2 1

Problem with running hello world application in l4re
by Gayathri Nagarajan 21 Dec '14

21 Dec '14

I am running ubunthu in 32-bit Oracle VM, but using 64-bit host windows 8. When I use *1. l4re-build$ make grub2iso E=hello MODULE_SEARCH_PATH=/src/kernel/fiasco/mybuild * I get.... make[1]: Entering directory `/home/ubunthu/src/l4' Processing entry 'hello' Could not find 'fiasco' with path ':/home/ubunthu/src/l4/path/to/builddir/bin/x86_586:/home/ubunthu/src/l4/path/to/builddir/bin/x86_586/l4f:/home/ubunthu/src/l4/path/to/builddir/lib/x86_586:/home/ubunthu/src/l4/path/to/builddir/lib/x86_586/l4f' make[1]: *** [grub2iso] Error 1 make[1]: Leaving directory `/home/ubunthu/src/l4' make: *** [grub2iso] Error 2 *2. l4re-build$ make qemu E=hello MODULE_SEARCH_PATH=/src/kernel/fiasco/mybuild* I get.... make[1]: Entering directory `/home/ubunthu/src/l4' Could not find 'fiasco' with path '/path/to/fiasco-build:/home/ubunthu/src/l4/path/to/builddir/bin/x86_586:/home/ubunthu/src/l4/path/to/builddir/bin/x86_586/l4f:/home/ubunthu/src/l4/path/to/builddir/lib/x86_586:/home/ubunthu/src/l4/path/to/builddir/lib/x86_586/l4f' make[1]: *** [qemu] Error 1 make[1]: Leaving directory `/home/ubunthu/src/l4' make: *** [qemu] Error 2 Gayathri

2 1

DARPA funds building stuff on seL4
by Gernot Heiser 18 Dec '14

18 Dec '14

DARPA has just issued a SBIR call titled "Secure Software Components Leveraging the seL4 Microkernel”, see https://www.dodsbir.net/sitis/display_topic.asp?Bookmark=45918 The SBIR program funds “small” enterprises (that’s <500 employees in US speak) that are majority US-owned. The program clearly aims at developing an ecosystem around seL4. In the past US company that won SBIR projects sub-contracted some of the work to NICTA, so there seems to be no problem in involving foreign entities as subcontractors. Gernot

1 0

Re: Need help profiling with Valgrind
by Björn Döbel 12 Dec '14

12 Dec '14

Dear Reinier, Am 05.11.2014 um 23:22 schrieb Reinier Millo Sánchez: > Hello Aaron > I'm working in a project to develop an embedded operating system for > real time purposes using Fiasco.OC as microkernel. I have reviewed you > article "Capability Wrangling Made Easy: Debugging on a Microkernel with > Valgrind". I'm interested to do son profiling tests with Fiasco.OC and > Linux Kernel, using Valgrind. Do you have ported Valgrind to the > Fiasco.OC microkernel interface? Is the port available? please let us use the l4-hackers mailing list for further discussion. Indeed we ported Valgrind to Fiasco.OC and L4Re. Its source code is available in the L4Re SVN in l4/pkg/valgrind. As you might have noticed, our paper was in 2010 and if I remember correctly, the Valgrind version in the repository was last updated around 2011. It might still work, but you may also encounter problems. Feel free to try this out and let us know about any questions you have. Apart from that there may be other ways of achieving your profiling needs on top of Fiasco.OC. What exactly would you want to do? Kind regards, Bjoern

4 30

JDB percent CPU usage
by teclis High Elf 04 Dec '14

04 Dec '14

Is there a way to get percent CPU usage (or any other resource usage ) from JDB? So if I suspect that one task has run amok and is monopolizing the CPU I can search for it using JDB. danke sehr

2 1

L4Re GPIO
by Erry Pradana Darajati 04 Dec '14

04 Dec '14

Hi, L4 Hackers Thanks for the answer on my last email. I have some follow up question from my last email. 1. About GPIO. So IOs defined on LUA script. So in OMAP4460, is gonna be like this, isn't it ? I have a question in line of this code. GPIO = Hw.Device(function() GPIO1 = Hw.Gpio_omap46x_chip(function( ) hid = "gpio-omap46x-GPIO1"; compatible = {"ti,omap4-gpio"}; regs = Res.mmio(0x4A310000, 0x4A310194); // This one is range of Address GPIO1 used irq = Res.irq(29); //This one is IRQ of GPIO1 ? What is the meaning of irq(29) ? scm_table = 0; // I still don't understand about this line end); end); And where can i read the reference about another parameters of this ? (Like there pins parameter in raspi b. And there are mems instead of regs) 2. I try the L4Re with x86 build run in QEMU. And want it to accept my keyboard input. So i need to include x86-legacy.devs module in modules.list and define REQUIRES_LIBS=libc_be_file_stdin isn't it ? But after i've done it, it still doesn't accept keyboard input. what did i miss ? I appreciate any answer and reference. And thanks for the answer -- *Regards,* *Erry Pradana Darajati | Student of Computer Engineering* *Politeknik Elektronika Negeri Surabaya / EEPIS, Indonesia*

2 1

Fail to run compiled ARM on Odroid Q2
by Zachary 03 Dec '14

03 Dec '14

Hi, I want to use fastboot to run the Hello demo of Fiasco on Odroid-Q2 board[1]. However, I failed. Firstly, I use make fastboot_rawimage E=hello MODULE_SEARCH_PATH=... The UART output is: Starting download of 935936 bytes downloading of 935936 bytes finished Kernel size: 000e4000 Ramdisk size: 00000000 Booting raw image.. Boot with zImage Wrong Ramdisk Image Format [err] boot_get_ramdisk Starting kernel ... Hello from Startup::stage2 Per_cpu_data_alloc: (orig: 0xf0060ad0-0xf0061550) Number of IRQs available at this GIC: 160 FPU0: Arch: VFPv3(3), Part: VFPv3(30), r: 4, v: 9, i: 41, t: hard, p: dbl/sngl KERNEL: Warning: No page-fault handler for 0xee202108, error 0x94000848, pc f004 It is said the format is wrong, so I change to make fastboot_uimage E=hello MODULE_SEARCH_PATH=... The UART output: downloading of 937984 bytes finished Kernel size: 000e4040 Ramdisk size: 00000000 Booting kernel.. ## Booting kernel from Legacy Image at 40008000 ... Image Name: L4 Image #4 Image Type: ARM Linux Kernel Image (uncompressed) Data Size: 933888 Bytes = 912 KiB Load Address: 41000000 Entry Point: 41000000 Verifying Checksum ... OK Loading Kernel Image ... OK OK And nothing happen. So what`s the problem? Thanks, Best Regards, Zachary [1] http://www.hardkernel.com/main/products/prdt_info.php?g_code=G135278861948&…

2 3

Re: [ASK] Basic L4Re
by Matthias Lange 01 Dec '14

01 Dec '14

Hi, I'm posting this on l4-hackers also, as it might be of interest for other people as well. On 11/27/2014 04:27 PM, Erry Pradana Darajati wrote: > Greeting Mr. Matthias, > Thank you for the help in my last email. I have already solve some of my > problem thanks to your help. > But i still have some problem and question : > > 1. About the IO server you mentioned before. I still cannot fully > comprehend about the OMAP3 driver you said earlier. As i study in > OMAP4460 TRM, i have know the memory that directly accessed to make GPIO > of OMAP4460 (Pandaboard) works. And i already make it works with a > hardcoding (code without L4Re API) by assign directly the memory address > of GPIO. Can you help me to short explain or gave me a reference about > IO server and how to use it to access the memory address of GPIO ? I am not exactly sure what you mean. Instances of the GPIO driver are created through Lua configuration files. You can see an example in io/config/plat-rpi_b/hw_devices.io. There you can also specify the memory base address of the GPIO chip. An example for Omap3 looks like this: GPIO = Hw.Device(function() GPIO1 = Hw.Gpio_omap35x_chip(function() hid = "gpio-omap35x-GPIO1"; compatible = {"ti,omap3-gpio"}; regs = Res.mmio(0x48310000, 0x48310fff); irq = Res.irq(29); scm_table = 0; end); end); > 2. I still studied the basic of L4Re, and try to run an hello-cfg entry > in modules.list. But when i run using make qemu, it gave an error like > this. > "make[1]: Entering directory `/media/chiqiVstorage/l4resnap/src/l4' > Could not find 'hello.cfg' with path > '/home/erry/l4resnap/src/kernel/fiasco/build86/:/media/chiqiVstorage/l4resnap/src/l4/build86/bin/x86_core2:/media/chiqiVstorage/l4resnap/src/l4/build86/bin/x86_core2/l4f:/media/chiqiVstorage/l4resnap/src/l4/build86/lib/x86_core2:/media/chiqiVstorage/l4resnap/src/l4/build86/lib/x86_core2/l4f' > make[1]: *** [qemu] Error 1 > make[1]: Leaving directory `/media/chiqiVstorage/l4resnap/src/l4' > make: *** [qemu] Error 2" > > where did i go wrong ? You need to add /media/chiqiVstorage/l4resnap/src/l4/conf/examples to your MODULE_SEARCH_PATH. Best, Matthias. > Sorry for the basic question. Any answer and response is really helping > me understand this research and project better, and i really appreciate > that. > > 2014-10-13 15:23 GMT+07:00 Matthias Lange > <matthias.lange(a)kernkonzept.com <mailto:matthias.lange@kernkonzept.com>>: > > Hi, > > On Sat, Oct 11, 2014 at 01:21:11AM +0700, Erry Pradana Darajati wrote: > > Hello L4 Hackers > > > > I am working on a project with L4Re in Pandaboard for my College Final > > Project. And right now i am in a stuck. > > > > So far, i have already know how to boot, print and read from the serial > > port (UART3) of pandaboard. But i can't understand the fundamental / basic > > of L4Re itself. > > A good starting point is the L4Re documentation [0]. This should get you > started. > > > Like how to make a new program outside the main program of "hello" (i am > > using hello code all of this time to experimenting). And also how to access > > the memory of the host computer using L4Re code. > > Just create a new directory within you pkg directory. From there you > can call > '../../mk/tmpl/inst' which installs the default directory hierarchy and > Makefiles. > > > Because the main goal of the project i am working on is be able to access > > the GPIO of Pandaboard. > > The io server already provides infrastructure and the API for GPIO > drivers. > Please have a look at the existing BCM2835 and OMAP3 drivers. > > > And also, is there is any way to recompile L4Re without recompiling all of > > the module it use. Because in my computer it took a time to recompile even > > the change is only a line of code > > You have multiple possibilities. Change into your pkg's directory > and call > 'make -jX O=/path/to/obj/dir' or from your build directory you can > call 'make > -jX S=YOUR_PKG_NAME'. Note that the latter will not check and > rebuild the pkg's > dependencies. > > Matthias. > > [0] http://os.inf.tu-dresden.de/L4Re/doc/ > > > -- > Matthias Lange, matthias.lange(a)kernkonzept.com > <mailto:matthias.lange@kernkonzept.com>, +49 - 351 - 41 88 86 14 > > Kernkonzept GmbH. Sitz: Dresden. Amtsgericht Dresden, HRB 31129. > Geschäftsführer: Dr.-Ing. Michael Hohmuth > > > > > -- > /Regards,/ > /Erry Pradana Darajati | *Student of Computer Engineering*/ > /*Politeknik Elektronika Negeri Surabaya / EEPIS, Indonesia*/

1 0

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 December 2014