Send l4-hackers mailing list submissions to
l4-hackers@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@os.inf.tu-dresden.de
You can reach the person managing the list at
l4-hackers-owner@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@os.inf.tu-dresden.de>
To: l4-hackers@os.inf.tu-dresden.de
Subject: Re: L4Re GPIO
Message-ID: <20141204225301.GA4644@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@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@os.inf.tu-dresden.de>
To: l4-hackers@os.inf.tu-dresden.de
Subject: Re: JDB percent CPU usage
Message-ID: <20141204225732.GB4644@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@os.inf.tu-dresden.de
Lackorzynski http://os.inf.tu-dresden.de/~adam/
------------------------------
Subject: Digest Footer
_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
------------------------------
End of l4-hackers Digest, Vol 140, Issue 5
******************************************