Hi Norman,
> If you are venturesome, you may try out using 4M mappings
by
> removing the line
>
> page_size_mask &= 1 << 12;
>
> from the 'Platform::_setup_mem_alloc' function. ;-)
You will notice that
> the startup delay gets much reduced. But you will certainly
also notice
> corruptions in Pistachio's mapping database.
No, I need a reliable kernel :) But I will even now investigate
that, especially because we go for Genode on OKL4-Pistachio (on
qemu, l4ka-pistachio was easier to set up for a start...). The OKL4
kernel was derived from l4ka, so it might show similar
corruptions.
I'll get back to that as soon as I understand about it.
As you might have figured by receiving this mail, I have another
question up my sleeve :)
This question concerns the USB HID driver once more, which I
don't manage to get started. I'm working with an Intel Atom
target meanwhile, and your system starts up fine there with
nitpicker but without a running HID (I have keyboard and mouse as
well as the startup USB stick connected to a USB hub).
A co-worker who tested this case in qemu, had to provide some
device id explicitly in the qemu config file. In that context, the
driver worked fine with a running mouse.
The HID driver does not seem to find any hardware on the PCI (see
trace below).
When I run a system without nitpicker, there is - contrary to case
1 - some USB hardware found.
Do you have any idea what I might have forgotten to set up?
Thanx in advance
Sven
--
Sven Fülster
--
This is case 1 with nitpicker
L4Ka::Pistachio - built on Jun 15 2009 20:43:32 by
krebserregend@...22... u
sing gcc version 4.3.3
Genode::Platform::Platform(): > setup_basics
void Genode::Platform::_setup_basics(): Let's check if we are
complete...
void Genode::Platform::_setup_basics(): DONE.
mem 0: [0x00000000, 0x00000000) type=0x4 (Shared)
Non-Virtual
mem 1: [0x00000000, 0x0009f400) type=0x1 (Conventional)
Non-Virtual
mem 2: [0x0009f400, 0x000a0000) type=0x2f
(Architecture-dependent) Non-Virtual
mem 3: [0x000e0000, 0x00100000) type=0x2f
(Architecture-dependent) Non-Virtual
mem 4: [0x00100000, 0x1fa90000) type=0x1 (Conventional)
Non-Virtual
mem 5: [0x1fa90000, 0x1faa0000) type=0x2f
(Architecture-dependent) Non-Virtual
mem 6: [0x1faa0000, 0x1faae000) type=0x3f
(Architecture-dependent) Non-Virtual
mem 7: [0x1faae000, 0x1fae8000) type=0x4f
(Architecture-dependent) Non-Virtual
mem 8: [0x1fae8000, 0x1fb00000) type=0x2f
(Architecture-dependent) Non-Virtual
mem 9: [0x1fb00000, 0x1fc00000) type=0x2f
(Architecture-dependent) Non-Virtual
mem 10: [0xfee00000, 0xfee01000) type=0x2f
(Architecture-dependent) Non-Virtual
mem 11: [0xfff00000, 0x00000000) type=0x2f
(Architecture-dependent) Non-Virtual
mem 12: [0x0e000000, 0x0f000000) type=0x2 (Reserved by kernel)
Non-Virtual
mem 13: [0x000a0000, 0x000c0000) type=0x4 (Shared)
Non-Virtual
mem 14: [0x000c0000, 0x000f0000) type=0x4 (Shared)
Non-Virtual
mem 15: [0x00020000, 0x00028800) type=0x2e (Boot loader)
Non-Virtual
mem 16: [0x00300000, 0x0036c400) type=0x2e (Boot loader)
Non-Virtual
mem 17: [0x00a2c000, 0x00b42c00) type=0x3e (Boot loader)
Non-Virtual
mem 18: [0x00b43000, 0x00b43400) type=0x3e (Boot loader)
Non-Virtual
mem 19: [0x00b44000, 0x00c01c00) type=0x3e (Boot loader)
Non-Virtual
mem 20: [0x00c02000, 0x00ccfc00) type=0x3e (Boot loader)
Non-Virtual
mem 21: [0x00cd0000, 0x00de3c00) type=0x3e (Boot loader)
Non-Virtual
mem 22: [0x00de4000, 0x00eb2400) type=0x3e (Boot loader)
Non-Virtual
mem 23: [0x00eb3000, 0x01114000) type=0x3e (Boot loader)
Non-Virtual
mem 24: [0x01114000, 0x0126f400) type=0x3e (Boot loader)
Non-Virtual
mem 25: [0x01270000, 0x01356800) type=0x3e (Boot loader)
Non-Virtual
mem 26: [0x01357000, 0x016c5000) type=0x3e (Boot loader)
Non-Virtual
mem 27: [0x016c5000, 0x017cb000) type=0x3e (Boot loader)
Non-Virtual
mem 28: [0x017cb000, 0x0186f000) type=0x3e (Boot loader)
Non-Virtual
mem 29: [0x0186f000, 0x01c70800) type=0x3e (Boot loader)
Non-Virtual
mem 30: [0x01c71000, 0x020a0400) type=0x3e (Boot loader)
Non-Virtual
mem 31: [0x020a1000, 0x023ca800) type=0x3e (Boot loader)
Non-Virtual
mem 32: [0x023cb000, 0x02489800) type=0x3e (Boot loader)
Non-Virtual
mem 33: [0x00001000, 0x00002000) type=0x1e (Boot loader)
Non-Virtual
mem 34: [0x00002000, 0x00003000) type=0x1e (Boot loader)
Non-Virtual
mem 35: [0x00000000, 0xc0000000) type=0x1 (Conventional)
Virtual
mem 36: [0x00100000, 0x00143000) type=0x2 (Reserved by kernel)
Non-Virtual
void Genode::Platform::_setup_basics(): Requesting the BootInfo
page from Sigma0
.
void Genode::Platform::_setup_basics(): Multiboot size is 924
bytes.
static void Genode::Platform_pd::touch_utcb_space(): Core can
have 8 threads.
void Genode::Platform::_setup_basics(): KIP @ bff00000 (size
0x00000120)
void Genode::Platform::_setup_basics(): UTCB base @ bf000000
(size 00001000)
void Genode::Platform::_setup_basics(): _setup_basics done!
Genode::Platform::Platform(): > setup_preemption
Genode::Platform::Platform(): > setup_mem_alloc
Trying to allocate 4K pages from sigma0.
Got 471828K in 4K pieces.
Genode::Platform::Platform(): > setup_port_alloc
void Genode::Platform::_setup_io_port_alloc(): Do we need to do
something to all
ocate I/O ports?!
Genode::Platform::Platform(): > setup_irq_alloc
Genode::Platform::Platform(): > setup_rom
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 0 is
init. Start: 00a2c000 | Size: 00116ab0
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for init created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 1 is
config. Start: 00b43000 | Size: 0000024a
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for config created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 2 is
timer. Start: 00b44000 | Size: 000bd963
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for timer created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 3 is
pci_drv. Start: 00c02000 | Size: 000cd8d3
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for pci_drv created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 4 is
vesa_drv. Start: 00cd0000 | Size: 00113846
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for vesa_drv created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 5 is
ps2_drv. Start: 00de4000 | Size: 000ce093
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for ps2_drv created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 6 is
launchpad. Start: 00eb3000 | Size: 00260d49
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for launchpad created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 7 is
liquid_fb. Start: 01114000 | Size: 0015b056
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for liquid_fb created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 8 is
nitlog. Start: 01270000 | Size: 000e67e0
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for nitlog created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 9 is
scout. Start: 01357000 | Size: 0036df9a
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for scout created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 10 i
s nitpicker. Start: 016c5000 | Size: 00105cb7
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for nitpicker created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 11 i
s test-pci. Start: 017cb000 | Size: 000a3f31
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for test-pci created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 12 i
s test-dde_linux26_usb. Start: 0186f000 | Size: 00401476
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for test-dde_linux26_usb created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 13 i
s test-dde_linux26_usbhid. Start: 01c71000 | Size: 0042f3ea
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for test-dde_linux26_usbhid created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 14 i
s test-dde_linux26_usb_hid. Start: 020a1000 | Size:
0032952a
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for test-dde_linux26_usb_hid created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 15 i
s input_dummy. Start: 023cb000 | Size: 000be7c1
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for input_dummy created.
void Genode::Platform_pd::_setup_address_space(): Setting up
Core's address spac
e.
Genode::Platform::Platform(): Trying to start core pager.
thread 'core.pager0' has id 0x00808002 (task = 0x1,
thread = 0x2)
void Genode::Platform::_setup_core_pager(): Core pager has
L4_ThreadId 00808002.
Genode::Platform::Platform(): Done starting core pager. We
are:
THREAD (global) 32 (version 1)
thread 'activation' has id 0x0080c002 (task = 0x1, thread
= 0x3)
void _core_pager_loop(): Waiting for page fault.
int main(): --- create local services ---
thread 'pager' has id 0x00810002 (task = 0x1, thread =
0x4)
int main(): --- start init ---
int main(): Ok we have 459 MB transfered to init
thread 'init' has id 0x00814002 (task = 0x1, thread =
0x5)
thread 'signal-tx' has id 0x00818002 (task = 0x1, thread
= 0x6)
thread 'init' has id 0x01004002 (task = 0x2, thread =
0x1)
int main(): --- init created, waiting for exit condition
---
[init] our quota limit is 482072924
[init] our used quota is 155648
[init] starting timer with quota=1048576
[init] using unique child name "timer"
thread 'timer' has id 0x01008002 (task = 0x2, thread =
0x2)
thread 'signal-tx' has id 0x0081c002 (task = 0x1, thread
= 0x7)
thread 'timer' has id 0x01804002 (task = 0x3, thread =
0x1)
[init] starting pci_drv with quota=1048576
[init] using unique child name "pci_drv"
thread 'activation' has id 0x01808002 (task = 0x3, thread
= 0x2)
thread 'pci_drv' has id 0x0100c002 (task = 0x2, thread =
0x3)
[init] timer registered service Timer
thread 'signal-tx' has id 0x00820002 (task = 0x1, thread
= 0x8)
thread 'pci_drv' has id 0x02004002 (task = 0x4, thread =
0x1)
[init] starting test-dde_linux26_usbhid with quota=1048576
[init -> pci_drv] PCI driver started
thread 'activation' has id 0x02008002 (task = 0x4, thread
= 0x2)
[init] using unique child name
"test-dde_linux26_usbhid"
thread 'test-dde_linux26_usbhid' has id 0x01010002 (task
= 0x2, thread = 0x4)
[init] pci_drv registered service PCI
thread 'signal-tx' has id 0x00824002 (task = 0x1, thread
= 0x9)
thread 'test-dde_linux26_usbhid' has id 0x02804002 (task
= 0x5, thread = 0x1)
[init] starting vesa_drv with quota=1048576
thread 'activation' has id 0x0180c002 (task = 0x3, thread
= 0x3)
[init] using unique child name "vesa_drv"
thread 'vesa_drv' has id 0x01014002 (task = 0x2, thread =
0x5)
thread 'signal-tx' has id 0x00828002 (task = 0x1, thread
= 0xa)
thread 'vesa_drv' has id 0x03004002 (task = 0x6, thread =
0x1)
[init] starting nitpicker with quota=1048576
thread 'activation' has id 0x03008002 (task = 0x6, thread
= 0x2)
[init] using unique child name "nitpicker"
thread 'nitpicker' has id 0x01018002 (task = 0x2, thread
= 0x6)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): base = 0x00000000, size = 0x00001000
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x00000000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): base = 0x0009f000, size = 0x00061000
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x0009f000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f0000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f1000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f2000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f3000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f4000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f5000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f6000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f7000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f8000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f9000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000fa000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000fb000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000fc000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000fd000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000fe000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000ff000. (ignoring)
[init] vesa_drv registered service Framebuffer
thread 'signal-tx' has id 0x0082c002 (task = 0x1, thread
= 0xb)
thread 'nitpicker' has id 0x03804002 (task = 0x7, thread
= 0x1)
[init] starting launchpad with quota=33554432
thread 'activation' has id 0x01810002 (task = 0x3, thread
= 0x4)
[init] using unique child name "launchpad"
thread 'launchpad' has id 0x0101c002 (task = 0x2, thread
= 0x7)
[init -> vesa_drv] Found: VESA BIOS version 3.0
[init -> vesa_drv] OEM: Intel(r)Poulsbo Graphics Chip
Accelerated VGA BIOS
thread 'signal-tx' has id 0x00830002 (task = 0x1, thread
= 0xc)
thread 'launchpad' has id 0x04004002 (task = 0x8, thread
= 0x1)
[init] starting nitlog with quota=16777216
[init] using unique child name "nitlog"
thread 'nitlog' has id 0x01020002 (task = 0x2, thread =
0x8)
thread 'signal-tx' has id 0x00834002 (task = 0x1,
thread[init] launchpad: servic
e Nitpicker not yet available - sleeping
= 0xd)
thread 'nitlog' has id 0x04804002 (task = 0x9, thread =
0x1)
[init -> nitlog] --- nitlog ---
[init] nitlog: service Nitpicker not yet available -
sleeping
[init -> vesa_drv] int Framebuffer_drv::set_mode(long unsigned
int, long unsigne
d int, long unsigned int): FB phys at 0x1fc00000 size:
0003d0000
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): base = 0x1fc00000, size = 0x003d0000
[init] nitpicker: service Input not yet available -
sleeping
thread 'activation' has id 0x02808002 (task = 0x5, thread
= 0x2)
[init] test-dde_linux26_usbhid registered service Input
thread 'activation' has id 0x01814002 (task = 0x3, thread
= 0x5)
[init] nitpicker: service Input got available
thread 'activation' has id 0x03808002 (task = 0x7, thread
= 0x2)
thread 'timer' has id 0x0280c002 (task = 0x5, thread =
0x3)
[init -> nitpicker] framebuffer is 1024x768@...23...
thread '.softirqd' has id 0x02810002 (task = 0x5, thread
= 0x4)
[init -> test-dde_linux26_usbhid] Softirq daemon
starting
thread 'DDE main' has id 0x02814002 (task = 0x5, thread =
0x5)
[init -> test-dde_linux26_usbhid] void dde_thread_main(): ---
initcalls
[init -> test-dde_linux26_usbhid] Initializing DDE Linux 2.6
page cache
[init] nitpicker registered service Nitpicker
thread '.kthread1' has id 0x02818002 (task = 0x5, thread
= 0x6)
[init] launchpad: service Nitpicker got available
[init -> nitpicker] create session with args:
ram_quota=1654784, fb_mode=1, labe
l="launchpad"
[init] nitlog: service Nitpicker got available
thread '.kthread2' has id 0x0281c002 (task = 0x5, thread
= 0x7)
Genode::Io_port_session_component::Io_port_session_component(Genode::Range_alloc
ator[init -> nitpicker] create session with args:
ram_quota=1245184, fb_width=40
0, fb_heigh*, const char*): I/O port [cf8,cfc) not
available
t=1536, fb_mode=1, label="launchpad"
[init -> pci_drv] void* fwrite(): fwrite - not yet
implemented
[init -> pci_drv] void* fputs(const char*, void*): fputs:
"Genode::Parent::Servi
ce_denied"
thread 'activation' has id 0x01818002 (task = 0x3, thread
= 0x6)
[init -> nitpicker] create session with args:
ram_quota=307512, fb_width=482, fb
_height=302, fb_mode=1, label="nitlog"
[init -> pci_drv] void* fwrite(): fwrite - not yet
implemented
[init -> pci_drv] void* abort(): abort called
thread '<noname>' has id 0x04008002 (task = 0x8,
thread = 0x2)
thread 'activation' has id 0x0181c002 (task = 0x3, thread
= 0x7)
thread 'activation' has id 0x04808002 (task = 0x9, thread
= 0x2)
[init] nitlog registered service LOG
--
This is case 2 without nitpicker - I don't know why the
exception is raised at the end of output, but now, some USB
hardware is found in contrast to case 1
L4Ka::Pistachio - built on Jun 15 2009 20:43:32 by
krebserregend@...22... u
sing gcc version 4.3.3
Genode::Platform::Platform(): > setup_basics
void Genode::Platform::_setup_basics(): Let's check if we are
complete...
void Genode::Platform::_setup_basics(): DONE.
mem 0: [0x00000000, 0x00000000) type=0x4 (Shared)
Non-Virtual
mem 1: [0x00000000, 0x0009f400) type=0x1 (Conventional)
Non-Virtual
mem 2: [0x0009f400, 0x000a0000) type=0x2f
(Architecture-dependent) Non-Virtual
mem 3: [0x000e0000, 0x00100000) type=0x2f
(Architecture-dependent) Non-Virtual
mem 4: [0x00100000, 0x1fa90000) type=0x1 (Conventional)
Non-Virtual
mem 5: [0x1fa90000, 0x1faa0000) type=0x2f
(Architecture-dependent) Non-Virtual
mem 6: [0x1faa0000, 0x1faae000) type=0x3f
(Architecture-dependent) Non-Virtual
mem 7: [0x1faae000, 0x1fae8000) type=0x4f
(Architecture-dependent) Non-Virtual
mem 8: [0x1fae8000, 0x1fb00000) type=0x2f
(Architecture-dependent) Non-Virtual
mem 9: [0x1fb00000, 0x1fc00000) type=0x2f
(Architecture-dependent) Non-Virtual
mem 10: [0xfee00000, 0xfee01000) type=0x2f
(Architecture-dependent) Non-Virtual
mem 11: [0xfff00000, 0x00000000) type=0x2f
(Architecture-dependent) Non-Virtual
mem 12: [0x0e000000, 0x0f000000) type=0x2 (Reserved by kernel)
Non-Virtual
mem 13: [0x000a0000, 0x000c0000) type=0x4 (Shared)
Non-Virtual
mem 14: [0x000c0000, 0x000f0000) type=0x4 (Shared)
Non-Virtual
mem 15: [0x00020000, 0x00028800) type=0x2e (Boot loader)
Non-Virtual
mem 16: [0x00300000, 0x0036c400) type=0x2e (Boot loader)
Non-Virtual
mem 17: [0x00a2c000, 0x00b42c00) type=0x3e (Boot loader)
Non-Virtual
mem 18: [0x00b43000, 0x00b43400) type=0x3e (Boot loader)
Non-Virtual
mem 19: [0x00b44000, 0x00c01c00) type=0x3e (Boot loader)
Non-Virtual
mem 20: [0x00c02000, 0x00ccfc00) type=0x3e (Boot loader)
Non-Virtual
mem 21: [0x00cd0000, 0x00de3c00) type=0x3e (Boot loader)
Non-Virtual
mem 22: [0x00de4000, 0x00eb2400) type=0x3e (Boot loader)
Non-Virtual
mem 23: [0x00eb3000, 0x01114000) type=0x3e (Boot loader)
Non-Virtual
mem 24: [0x01114000, 0x0126f400) type=0x3e (Boot loader)
Non-Virtual
mem 25: [0x01270000, 0x01356800) type=0x3e (Boot loader)
Non-Virtual
mem 26: [0x01357000, 0x016c5000) type=0x3e (Boot loader)
Non-Virtual
mem 27: [0x016c5000, 0x017cb000) type=0x3e (Boot loader)
Non-Virtual
mem 28: [0x017cb000, 0x0186f000) type=0x3e (Boot loader)
Non-Virtual
mem 29: [0x0186f000, 0x01c70800) type=0x3e (Boot loader)
Non-Virtual
mem 30: [0x01c71000, 0x020a0400) type=0x3e (Boot loader)
Non-Virtual
mem 31: [0x020a1000, 0x023ca800) type=0x3e (Boot loader)
Non-Virtual
mem 32: [0x023cb000, 0x02489800) type=0x3e (Boot loader)
Non-Virtual
mem 33: [0x00001000, 0x00002000) type=0x1e (Boot loader)
Non-Virtual
mem 34: [0x00002000, 0x00003000) type=0x1e (Boot loader)
Non-Virtual
mem 35: [0x00000000, 0xc0000000) type=0x1 (Conventional)
Virtual
mem 36: [0x00100000, 0x00143000) type=0x2 (Reserved by kernel)
Non-Virtual
void Genode::Platform::_setup_basics(): Requesting the BootInfo
page from Sigma0
.
void Genode::Platform::_setup_basics(): Multiboot size is 924
bytes.
static void Genode::Platform_pd::touch_utcb_space(): Core can
have 8 threads.
void Genode::Platform::_setup_basics(): KIP @ bff00000 (size
0x00000120)
void Genode::Platform::_setup_basics(): UTCB base @ bf000000
(size 00001000)
void Genode::Platform::_setup_basics(): _setup_basics done!
Genode::Platform::Platform(): > setup_preemption
Genode::Platform::Platform(): > setup_mem_alloc
Trying to allocate 4K pages from sigma0.
Got 471828K in 4K pieces.
Genode::Platform::Platform(): > setup_port_alloc
void Genode::Platform::_setup_io_port_alloc(): Do we need to do
something to all
ocate I/O ports?!
Genode::Platform::Platform(): > setup_irq_alloc
Genode::Platform::Platform(): > setup_rom
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 0 is
init. Start: 00a2c000 | Size: 00116ab0
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for init created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 1 is
config. Start: 00b43000 | Size: 00000253
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for config created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 2 is
timer. Start: 00b44000 | Size: 000bd963
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for timer created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 3 is
pci_drv. Start: 00c02000 | Size: 000cd8d3
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for pci_drv created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 4 is
vesa_drv. Start: 00cd0000 | Size: 00113846
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for vesa_drv created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 5 is
ps2_drv. Start: 00de4000 | Size: 000ce093
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for ps2_drv created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 6 is
launchpad. Start: 00eb3000 | Size: 00260d49
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for launchpad created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 7 is
liquid_fb. Start: 01114000 | Size: 0015b056
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for liquid_fb created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 8 is
nitlog. Start: 01270000 | Size: 000e67e0
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for nitlog created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 9 is
scout. Start: 01357000 | Size: 0036df9a
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for scout created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 10 i
s nitpicker. Start: 016c5000 | Size: 00105cb7
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for nitpicker created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 11 i
s test-pci. Start: 017cb000 | Size: 000a3f31
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for test-pci created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 12 i
s test-dde_linux26_usb. Start: 0186f000 | Size: 00401476
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for test-dde_linux26_usb created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 13 i
s test-dde_linux26_usbhid. Start: 01c71000 | Size: 0042f3ea
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for test-dde_linux26_usbhid created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 14 i
s test-dde_linux26_usb_hid. Start: 020a1000 | Size:
0032952a
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for test-dde_linux26_usb_hid created.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Module 15 i
s input_dummy. Start: 023cb000 | Size: 000be7c1
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Get the mod
ule memory from Sigma0.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Done.
Genode::Rom_module Genode::Multiboot_info::get_module(unsigned
int): Rom_module
for input_dummy created.
void Genode::Platform_pd::_setup_address_space(): Setting up
Core's address spac
e.
Genode::Platform::Platform(): Trying to start core pager.
thread 'core.pager0' has id 0x00808002 (task = 0x1,
thread = 0x2)
void Genode::Platform::_setup_core_pager(): Core pager has
L4_ThreadId 00808002.
Genode::Platform::Platform(): Done starting core pager. We
are:
THREAD (global) 32 (version 1)
thread 'activation' has id 0x0080c002 (task = 0x1, thread
= 0x3)
void _core_pager_loop(): Waiting for page fault.
int main(): --- create local services ---
thread 'pager' has id 0x00810002 (task = 0x1, thread =
0x4)
int main(): --- start init ---
int main(): Ok we have 459 MB transfered to init
thread 'init' has id 0x00814002 (task = 0x1, thread =
0x5)
thread 'signal-tx' has id 0x00818002 (task = 0x1, thread
= 0x6)
thread 'init' has id 0x01004002 (task = 0x2, thread =
0x1)
int main(): --- init created, waiting for exit condition
---
[init] our quota limit is 482072924
[init] our used quota is 155648
[init] starting timer with quota=1048576
[init] using unique child name "timer"
thread 'timer' has id 0x01008002 (task = 0x2, thread =
0x2)
thread 'signal-tx' has id 0x0081c002 (task = 0x1, thread
= 0x7)
thread 'timer' has id 0x01804002 (task = 0x3, thread =
0x1)
[init] starting pci_drv with quota=1048576
thread 'activation' has id 0x01808002 (task = 0x3, thread
= 0x2)
[init] using unique child name "pci_drv"
thread 'pci_drv' has id 0x0100c002 (task = 0x2, thread =
0x3)
[init] timer registered service Timer
thread 'signal-tx' has id 0x00820002 (task = 0x1, thread
= 0x8)
thread 'pci_drv' has id 0x02004002 (task = 0x4, thread =
0x1)
[init] starting test-dde_linux26_usbhid with quota=1048576
[init] using unique child name
"test-dde_linux26_usbhid"
[init -> pci_drv] PCI driver started
thread 'activation' has id 0x02008002 (task = 0x4, thread
= 0x2)
thread 'test-dde_linux26_usbhid' has id 0x01010002 (task
= 0x2, thread = 0x4)
[init] pci_drv registered service PCI
thread 'signal-tx' has id 0x00824002 (task = 0x1, thread
= 0x9)
thread 'test-dde_linux26_usbhid' has id 0x02804002 (task
= 0x5, thread = 0x1)
[init] starting vesa_drv with quota=1048576
thread 'activation' has id 0x0180c002 (task = 0x3, thread
= 0x3)
[init] using unique child name "vesa_drv"
thread 'vesa_drv' has id 0x01014002 (task = 0x2, thread =
0x5)
thread 'signal-tx' has id 0x00828002 (task = 0x1, thread
= 0xa)
thread 'vesa_drv' has id 0x03004002 (task = 0x6, thread =
0x1)
thread 'activation' has id 0x03008002 (task = 0x6, thread
= 0x2)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): base = 0x00000000, size = 0x00001000
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x00000000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): base = 0x0009f000, size = 0x00061000
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x0009f000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f0000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f1000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f2000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f3000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f4000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f5000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f6000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f7000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f8000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000f9000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000fa000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000fb000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000fc000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000fd000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000fe000. (ignoring)
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): Got nil fpage for 0x000ff000. (ignoring)
[init] vesa_drv registered service Framebuffer
thread 'activation' has id 0x02808002 (task = 0x5, thread
= 0x2)
[init] test-dde_linux26_usbhid registered service Input
thread 'activation' has id 0x01810002 (task = 0x3, thread
= 0x4)
thread 'timer' has id 0x0280c002 (task = 0x5, thread =
0x3)
thread '.softirqd' has id 0x02810002 (task = 0x5, thread
= 0x4)
[init -> test-dde_linux26_usbhid] Softirq daemon
starting
thread 'DDE main' has id 0x02814002 (task = 0x5, thread =
0x5)
[init -> test-dde_linux26_usbhid] void dde_thread_main(): ---
initcalls
[init -> test-dde_linux26_usbhid] Initializing DDE Linux 2.6
page cache
thread '.kthread1' has id 0x02818002 (task = 0x5, thread
= 0x6)
thread '.kthread2' has id 0x0281c002 (task = 0x5, thread
= 0x7)
[init -> test-dde_linux26_usbhid] void
Dde_kit::Pci_device::show(): 00:00.0 8086
:8100 (6) ht=00
[init -> test-dde_linux26_usbhid] void
Dde_kit::Pci_device::show(): 00:01.0 8086
:8108 (3) ht=00
[init -> test-dde_linux26_usbhid] void
Dde_kit::Pci_device::show(): 00:02.0 8086
:8110 (6) ht=81
[init -> test-dde_linux26_usbhid] void
Dde_kit::Pci_device::show(): 00:03.0 8086
:8112 (6) ht=01
[init -> test-dde_linux26_usbhid] void
Dde_kit::Pci_device::show(): 00:04.0 8086
:8114 (c) ht=80
[init -> test-dde_linux26_usbhid] void
Dde_kit::Pci_device::show(): 00:05.0 8086
:8117 (c) ht=00
[init -> test-dde_linux26_usbhid] void
Dde_kit::Pci_device::show(): 00:06.0 8086
:8119 (6) ht=80
[init -> test-dde_linux26_usbhid] void
Dde_kit::Pci_device::show(): 00:07.0 8086
:811a (1) ht=00
[init -> test-dde_linux26_usbhid] void
Dde_kit::Pci_device::show(): 00:08.0 8086
:10d3 (2) ht=00
[init -> test-dde_linux26_usbhid] _add_dde_kit_device:
Detected device: 8086:810
0
[init -> test-dde_linux26_usbhid] _add_dde_kit_device:
Detected device: 8086:810
8
[init -> test-dde_linux26_usbhid] _add_dde_kit_device:
Detected device: 8086:811
0
[init -> test-dde_linux26_usbhid] _add_dde_kit_device:
Detected device: 8086:811
2
[init -> test-dde_linux26_usbhid] _add_dde_kit_device:
Detected device: 8086:811
4
[init -> test-dde_linux26_usbhid] _add_dde_kit_device:
Detected device: 8086:811
7
[init -> test-dde_linux26_usbhid] _add_dde_kit_device:
Detected device: 8086:811
9
[init -> test-dde_linux26_usbhid] _add_dde_kit_device:
Detected device: 8086:811
a
[init -> test-dde_linux26_usbhid] _add_dde_kit_device:
Detected device: 8086:10d
3
[init -> test-dde_linux26_usbhid] <6>usbcore: registered
new interface driver us
bfs
[init -> test-dde_linux26_usbhid] <6>usbcore: registered
new interface driver hu
b
thread '.kthread3' has id 0x02820002 (task = 0x5, thread
= 0x8)
[init -> test-dde_linux26_usbhid] <6>usbcore: registered
new device driver usb
Genode::addr_t
Genode::Io_mem_session_component::_map_local(Genode::addr_t,
Geno
de::size_t): base = 0xdff5bc00, size = 0x00000400
e0102800: invalid opcode at IP 00304dbd
--- "KD# invalid opcode" ---
--------------------------------- (eip=f010c25a, esp=f0114177)
---
>