users

users@lists.genode.org

3 participants
2349 discussions

Re: Porting in general
by Aditya Kousik 11 Jun '13

11 Jun '13

I came across this brilliant blogpost ( http://allsoftwaresucks.blogspot.in/2013/05/porting-genode-to-commercial-ha…). Stefan said, and I agree, that since Genode already supports OMAP4460, this was achievable. I also read this post: http://genode.org/documentation/articles/pandaboard I understand that porting is a very OS-and-device specific process. But it would be really helpful if there is any form of resource/documentation for porting an OS. Because, learning how to port an OS seems like a good skill to have in your arsenal. Thanks Aditya Kousik

1 0

Need Help
by Archie Nidhi 10 Jun '13

10 Jun '13

I am using a Linux Mint OS and am trying to run a simple genode demo using hte method shown in http://genode.org/documentation/developer-resources/getting_started I am getting an error saying /bin/bash: /home/anubhav/Downloads/genode-13.05/tool/run: /usr/bin/expect: bad interpreter: No such file or directory make: *** [run/demo] Error 126 Please tell me what is wrong

2 1

issue while running arora
by Raja Sekhar 04 Jun '13

04 Jun '13

Hello to all, I'm trying to run arora on foc_x86_32. But i'm getting blank screen on QEMU. and I'm getting the console output as follows...... spawn qemu-system-i386 -no-kvm-irqchip -no-kvm -m 256 -net nic,model=pcnet -net user -serial mon:stdio -cdrom var/run/arora.iso Could not open option rom 'pxe-pcnet.rom': No such file or directory L4 Bootstrapper Build: #1 Tue May 14 16:19:26 IST 2013, x86-32, 4.7.2 RAM: 0000000000000000 - 000000000009f3ff: 637kB RAM: 0000000000100000 - 000000000fffcfff: 261108kB Total RAM: 255MB Moving up to 39 modules behind 1100000 moving module 00 { 326000-3a7d23 } -> { 4628000-46a9d23 } [531748] moving module 01 { 3a8000-406787 } -> { 46aa000-4708787 } [386952] moving module 02 { 407000-4880cb } -> { 4709000-478a0cb } [528588] moving module 03 { 489000-48955c } -> { 384e000-384e55c } [1373] moving module 04 { 48a000-4dec07 } -> { 384f000-38a3c07 } [347144] moving module 05 { 4df000-5232ef } -> { 38a4000-38e82ef } [279280] moving module 06 { 524000-58c8c3 } -> { 38e9000-39518c3 } [428228] moving module 07 { 58d000-5ebdbb } -> { 3952000-39b0dbb } [388540] moving module 08 { 5ec000-6441ef } -> { 39b1000-3a091ef } [360944] moving module 09 { 645000-68a06b } -> { 3a0a000-3a4f06b } [282732] moving module 10 { 68b000-6d77b3 } -> { 3a50000-3a9c7b3 } [313268] moving module 11 { 6d8000-7bd4d3 } -> { 3a9d000-3b824d3 } [939220] moving module 12 { 7be000-803e43 } -> { 3b83000-3bc8e43 } [286276] moving module 13 { 804000-9c87f7 } -> { 3bc9000-3d8d7f7 } [1853432] moving module 14 { 9c9000-a39447 } -> { 3d8e000-3dfe447 } [459848] moving module 15 { a3a000-adddeb } -> { 3dff000-3ea2deb } [671212] moving module 16 { ade000-aff257 } -> { 3ea3000-3ec4257 } [135768] moving module 17 { b00000-b3603f } -> { 3ec5000-3efb03f } [221248] moving module 18 { b37000-b4bc63 } -> { 3efc000-3f10c63 } [85092] moving module 19 { b4c000-b750ab } -> { 3f11000-3f3a0ab } [168108] moving module 20 { b76000-bab1e7 } -> { 3f3b000-3f701e7 } [217576] moving module 21 { bac000-c255ab } -> { 3f71000-3fea5ab } [497068] moving module 22 { c26000-caaf2f } -> { 3feb000-406ff2f } [544560] moving module 23 { cab000-cae9d7 } -> { 4070000-40739d7 } [14808] moving module 24 { caf000-d79143 } -> { 4074000-413e143 } [827716] moving module 25 { d7a000-10fb04b } -> { 413f000-44c004b } [3674188] moving module 26 { 10fc000-1b75f8f } -> { 478b000-5204f8f } [10985360] moving module 27 { 1b76000-1d459cb } -> { 1100000-12cf9cb } [1898956] moving module 28 { 1d46000-1e3e1ef } -> { 12d0000-13c81ef } [1016304] moving module 29 { 1e3f000-1f8b52f } -> { 13c9000-151552f } [1361200] moving module 30 { 1f8c000-203d82f } -> { 1516000-15c782f } [727088] moving module 31 { 203e000-36d8ab3 } -> { 15c8000-2c62ab3 } [23702196] moving module 32 { 36d9000-3721a13 } -> { 2c63000-2caba13 } [297492] moving module 33 { 3722000-372a103 } -> { 2cac000-2cb4103 } [33028] moving module 34 { 372b000-374343f } -> { 2cb5000-2ccd43f } [99392] moving module 35 { 3744000-37467ff } -> { 2cce000-2cd07ff } [10240] moving module 36 { 3747000-379c96b } -> { 2cd1000-2d2696b } [350572] moving module 37 { 379d000-3808393 } -> { 2d27000-2d92393 } [439188] moving module 38 { 3809000-384d6f3 } -> { 2d93000-2dd76f3 } [280308] moving module 03 { 384e000-384e55c } -> { 2dd8000-2dd855c } [1373] moving module 04 { 384f000-38a3c07 } -> { 2dd9000-2e2dc07 } [347144] moving module 05 { 38a4000-38e82ef } -> { 2e2e000-2e722ef } [279280] moving module 06 { 38e9000-39518c3 } -> { 2e73000-2edb8c3 } [428228] moving module 07 { 3952000-39b0dbb } -> { 2edc000-2f3adbb } [388540] moving module 08 { 39b1000-3a091ef } -> { 2f3b000-2f931ef } [360944] moving module 09 { 3a0a000-3a4f06b } -> { 2f94000-2fd906b } [282732] moving module 10 { 3a50000-3a9c7b3 } -> { 2fda000-30267b3 } [313268] moving module 11 { 3a9d000-3b824d3 } -> { 3027000-310c4d3 } [939220] moving module 12 { 3b83000-3bc8e43 } -> { 310d000-3152e43 } [286276] moving module 13 { 3bc9000-3d8d7f7 } -> { 3153000-33177f7 } [1853432] moving module 14 { 3d8e000-3dfe447 } -> { 3318000-3388447 } [459848] moving module 15 { 3dff000-3ea2deb } -> { 3389000-342cdeb } [671212] moving module 16 { 3ea3000-3ec4257 } -> { 342d000-344e257 } [135768] moving module 17 { 3ec5000-3efb03f } -> { 344f000-348503f } [221248] moving module 18 { 3efc000-3f10c63 } -> { 3486000-349ac63 } [85092] moving module 19 { 3f11000-3f3a0ab } -> { 349b000-34c40ab } [168108] moving module 20 { 3f3b000-3f701e7 } -> { 34c5000-34fa1e7 } [217576] moving module 21 { 3f71000-3fea5ab } -> { 34fb000-35745ab } [497068] moving module 22 { 3feb000-406ff2f } -> { 3575000-35f9f2f } [544560] moving module 23 { 4070000-40739d7 } -> { 35fa000-35fd9d7 } [14808] moving module 24 { 4074000-413e143 } -> { 35fe000-36c8143 } [827716] moving module 25 { 413f000-44c004b } -> { 36c9000-3a4a04b } [3674188] moving module 26 { 478b000-5204f8f } -> { 3a4b000-44c4f8f } [10985360] Scanning /fiasco/fiasco -serial_esc Scanning /fiasco/sigma0 Scanning /genode/core Bootloader MMAP: [ 0, 9f400) RAM (1) [ 9f400, a0000) reserved (2) [ f0000, 100000) reserved (2) [ 100000, fffd000) RAM (1) [ fffd000, 10000000) reserved (2) [ fffc0000, 100000000) reserved (2) Relocated mbi to [0x2df000-0x2df8ee] Loading /fiasco/fiasco Loading /fiasco/sigma0 Loading /genode/core find kernel info page... found kernel info page at 0x400000 Regions of list 'regions' [ 0, fff] { 1000} Arch BIOS [ 1000, 1fff] { 1000} Kern /fiasco/fiasco [ 9f400, 9ffff] { c00} Arch BIOS [ f0000, fffff] { 10000} Arch BIOS [ 100000, 10b197] { b198} Sigma0 /fiasco/sigma0 [ 2d0000, 2e3427] { 13428} Boot bootstrap [ 2df000, 2df9eb] { 9ec} Root Multiboot info [ 300000, 38ffff] { 90000} Kern /fiasco/fiasco [ 400000, 486fff] { 87000} Kern /fiasco/fiasco [ 500000, 66994f] { 169950} Root /genode/core [ 1100000, 44c4f8f] { 33c4f90} Root Module [ fffd000, fffffff] { 3000} Arch BIOS [ fffc0000, ffffffff] { 40000} Arch BIOS API Version: (87) experimental Sigma0 config ip:001002bc sp:002de070 Roottask config ip:0055a4b8 sp:00000000 Starting kernel /fiasco/fiasco at 00300874 [1;32mWelcome to Fiasco.OC (ia32)! [0;32mL4/Fiasco.OC ia32 microkernel (C) 1998-2013 TU Dresden Rev: rexporte compiled with gcc 4.7.2 for Intel Pentium [] Build: #3 Fri May 24 14:53:36 IST 2013 Performance-critical config option(s) detected: CONFIG_NDEBUG is off Superpages: yes Kmem:: cpu page at eb8b000 (4096Bytes) Per_cpu_data_alloc: (orig: 0xf0079ba0-0xf007a228) ACPI-Init ACPI: RSDP[0xfd9a0] r00 OEM:BOCHS. Boot_alloc: size=0x10 Boot_alloc: allocated extra memory block @0xfdbfa000 (size=400) Boot_alloc: @ 0xfdbfa000 Boot_alloc: remaining free block @ 0xfdbfa010 (size=3f0) ACPI: RSDT[0x203fd7b0] r01 OEM:BOCHS. OEMTID:BXPCRSDT ACPI: FACP[0x203fff80] r01 OEM:BOCHS. OEMTID:BXPCFACP ACPI: SSDT[0x203fd910] r01 OEM:BOCHS. OEMTID:BXPCSSDT ACPI: APIC[0x203fd830] r01 OEM:BOCHS. OEMTID:BXPCAPIC ACPI: HPET[0x203fd7f0] r01 OEM:BOCHS. OEMTID:BXPCHPET IO-APIC: MADT = 0x203fd830 IO-APIC[ 0]: struct: 0x203fd864 adr=fec00000 Boot_alloc: size=0x1c Boot_alloc: @ 0xfdbfa010 Boot_alloc: remaining free block @ 0xfdbfa030 (size=3d0) Boot_alloc: size=0x120 Boot_alloc: @ 0xfdbfa030 Boot_alloc: remaining free block @ 0xfdbfa150 (size=2b0) IO-APIC[ 0]: pins 24 PIN[ 0m]: vector=20, del=0, dm=physical, dest=0 (high, edge) PIN[ 1m]: vector=21, del=0, dm=physical, dest=0 (high, edge) PIN[ 2m]: vector=22, del=0, dm=physical, dest=0 (high, edge) PIN[ 3m]: vector=23, del=0, dm=physical, dest=0 (high, edge) PIN[ 4m]: vector=24, del=0, dm=physical, dest=0 (high, edge) PIN[ 5m]: vector=25, del=0, dm=physical, dest=0 (high, edge) PIN[ 6m]: vector=26, del=0, dm=physical, dest=0 (high, edge) PIN[ 7m]: vector=27, del=0, dm=physical, dest=0 (high, edge) PIN[ 8m]: vector=28, del=0, dm=physical, dest=0 (high, edge) PIN[ 9m]: vector=29, del=0, dm=physical, dest=0 (high, edge) PIN[10m]: vector=2a, del=0, dm=physical, dest=0 (high, edge) PIN[11m]: vector=2b, del=0, dm=physical, dest=0 (high, edge) PIN[12m]: vector=2c, del=0, dm=physical, dest=0 (high, edge) PIN[13m]: vector=2d, del=0, dm=physical, dest=0 (high, edge) PIN[14m]: vector=2e, del=0, dm=physical, dest=0 (high, edge) PIN[15m]: vector=2f, del=0, dm=physical, dest=0 (high, edge) PIN[16m]: vector=30, del=0, dm=physical, dest=0 (high, edge) PIN[17m]: vector=31, del=0, dm=physical, dest=0 (high, edge) PIN[18m]: vector=32, del=0, dm=physical, dest=0 (high, edge) PIN[19m]: vector=33, del=0, dm=physical, dest=0 (high, edge) PIN[20m]: vector=34, del=0, dm=physical, dest=0 (high, edge) PIN[21m]: vector=35, del=0, dm=physical, dest=0 (high, edge) PIN[22m]: vector=36, del=0, dm=physical, dest=0 (high, edge) PIN[23m]: vector=37, del=0, dm=physical, dest=0 (high, edge) IO-APIC: dual 8259: yes IO-APIC: ovr[ 0] 00 -> 2 IO-APIC: ovr[ 1] 05 -> 5 IO-APIC: ovr[ 2] 09 -> 9 IO-APIC: ovr[ 3] 0a -> a IO-APIC: ovr[ 4] 0b -> b Boot_alloc: size=0x4 Boot_alloc: @ 0xfdbfa150 Boot_alloc: remaining free block @ 0xfdbfa158 (size=2a8) Allocate cpu_mem @ 0xfdbfa400 FPU0: SSE Local APIC[00]: version=11 max_lvt=5 APIC ESR value before/after enabling: 00000000/00000000 Using the Local APIC timer on vector 90 (Periodic Mode) for scheduling SERIAL ESC: allocated IRQ 4 for serial uart SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. Boot_alloc: size=0x14 Boot_alloc: @ 0xfdbfa158 Boot_alloc: remaining free block @ 0xfdbfa170 (size=290) Boot_alloc: size=0x300 Boot_alloc: allocated extra memory block @0xfdbfa800 (size=400) Boot_alloc: @ 0xfdbfa800 Boot_alloc: remaining free block @ 0xfdbfab00 (size=100) Enable MSI support: chained IRQ mgr @ 0xfdbfa150 Absolute KIP Syscalls using: Sysenter CPU[0]: GenuineIntel (6:3:3:0)[00000633] Model: QEMU Virtual CPU version 1.0 at 3192MHz 32 KB L1 I Cache (8-way associative, 64 bytes per line) 32 KB L1 D Cache (8-way associative, 64 bytes per line) 2048 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 16384 bytes (4 pages) Per_cpu_data_alloc: (orig: 0xf0079ba0-0xf007a228) Allocate 1672 bytes (2KB) for CPU[4] local storage (offset=d97d460, 0xfd9f7000-0xfd9f7688) MP: detecting APs... Calibrating timer loop... done. SIGMA0: Hello! KIP @ 400000 Found Fiasco: KIP syscalls: yes allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [0:2000;9efff] [0:10c000;2defff] [4:2df000;2dffff] [0:2e0000;3fffff] [0:483000;4fffff] [4:500000;669fff] [0:66a000;10fffff] [4:1100000;44c4fff] [0:44c5000;eb89fff] IOMEM:---------------------- [0:0;fff] [0:9f000;fffff] [0:fffd000;febfffff] [0:fec01000;fedfffff] [0:fee01000;ffffffff] IO PORTS-------------------------- [0:0;fffffff] KIP @ 400000 magic: 4be6344c version: 87014444 sigma0 esp: 002de070 eip: 001002bc sigma1 esp: 00000000 eip: 00000000 root esp: 00000000 eip: 0055a4b8 MBI @ 2df000 mod[3] [2dd8000,2dd855d) config mod[4] [2dd9000,2e2dc08) init mod[5] [2e2e000,2e722f0) timer mod[6] [2e73000,2edb8c4) nic_drv mod[7] [2edc000,2f3adbc) nitpicker mod[8] [2f3b000,2f931f0) loader mod[9] [2f94000,2fd906c) tar_rom mod[10] [2fda000,30267b4) nit_fb mod[11] [3027000,310c4d4) launchpad mod[12] [310d000,3152e44) testnit mod[13] [3153000,33177f8) arora mod[14] [3318000,3388448) ld.lib.so mod[15] [3389000,342cdec) libc.lib.so mod[16] [342d000,344e258) libm.lib.so mod[17] [344f000,3485040) lwip.lib.so mod[18] [3486000,349ac64) zlib.lib.so mod[19] [349b000,34c40ac) libpng.lib.so mod[20] [34c5000,34fa1e8) jpeg.lib.so mod[21] [34fb000,35745ac) dejavusans.lib.so mod[22] [3575000,35f9f30) freetype.lib.so mod[23] [35fa000,35fd9d8) libc_lock_pipe.lib.so mod[24] [35fe000,36c8144) stdcxx.lib.so mod[25] [36c9000,3a4a04c) qt_core.lib.so mod[26] [3a4b000,44c4f90) qt_gui.lib.so mod[27] [1100000,12cf9cc) qt_jscore.lib.so mod[28] [12d0000,13c81f0) qt_network.lib.so mod[29] [13c9000,1515530) qt_script.lib.so mod[30] [1516000,15c7830) qt_ui_tools.lib.so mod[31] [15c8000,2c62ab4) qt_webcore.lib.so mod[32] [2c63000,2caba14) qt_xml.lib.so mod[33] [2cac000,2cb4104) qnitpickerviewwidget.lib.so mod[34] [2cb5000,2ccd440) qpluginwidget.lib.so mod[35] [2cce000,2cd0800) nitpicker_plugin.tar mod[36] [2cd1000,2d2696c) pci_drv mod[37] [2d27000,2d92394) vesa_drv mod[38] [2d93000,2dd76f4) ps2_drv :ram_alloc: Allocator 6533c4 dump: Block: [00002000,0000201c) size=0000001c avail=00000000 max_avail=00000000 Block: [0000201c,00002038) size=0000001c avail=00000000 max_avail=00000000 Block: [00002038,00002054) size=0000001c avail=00000000 max_avail=00000000 Block: [00002054,00002070) size=0000001c avail=00000000 max_avail=00000000 Block: [00002070,0000208c) size=0000001c avail=00000000 max_avail=00000000 Block: [0000208c,000020a8) size=0000001c avail=00000000 max_avail=00000000 Block: [000020a8,000020c4) size=0000001c avail=00000000 max_avail=00000000 Block: [000020c4,000020e0) size=0000001c avail=00000000 max_avail=00000000 Block: [000020e0,000020fc) size=0000001c avail=00000000 max_avail=00000000 Block: [000020fc,00002118) size=0000001c avail=00000000 max_avail=00000000 Block: [00002118,00002134) size=0000001c avail=00000000 max_avail=00000000 Block: [00002134,00002150) size=0000001c avail=00000000 max_avail=00000000 Block: [00002150,0000216c) size=0000001c avail=00000000 max_avail=00000000 Block: [0000216c,0000256c) size=00000400 avail=00000000 max_avail=00000000 Block: [0000256c,00002588) size=0000001c avail=00000000 max_avail=00000000 Block: [00002588,000025a4) size=0000001c avail=00000000 max_avail=00000000 Block: [000025a4,000025c0) size=0000001c avail=00000000 max_avail=00000000 Block: [000025c0,000025dc) size=0000001c avail=00000000 max_avail=0a6c5000 Block: [000025dc,000025f8) size=0000001c avail=00000000 max_avail=00000000 Block: [000025f8,00002614) size=0000001c avail=00000000 max_avail=00000000 Block: [00002614,00002630) size=0000001c avail=00000000 max_avail=00000000 Block: [00002630,0000264c) size=0000001c avail=00000000 max_avail=00000000 Block: [0000264c,00002668) size=0000001c avail=00000000 max_avail=00000000 Block: [00002668,00002684) size=0000001c avail=00000000 max_avail=00000000 Block: [00002684,000026a0) size=0000001c avail=00000000 max_avail=00000000 Block: [000026a0,000026bc) size=0000001c avail=00000000 max_avail=00000000 Block: [000026bc,000026d8) size=0000001c avail=00000000 max_avail=0a6c5000 Block: [000026d8,000026f4) size=0000001c avail=00000000 max_avail=00000000 Block: [000026f4,00002710) size=0000001c avail=00000000 max_avail=00000000 Block: [00002710,0000272c) size=0000001c avail=00000000 max_avail=00000000 Block: [0000272c,00002748) size=0000001c avail=00000000 max_avail=00000000 Block: [00002748,00002764) size=0000001c avail=00000000 max_avail=00000000 Block: [00002764,00002780) size=0000001c avail=00000000 max_avail=001d2fe4 Block: [00002780,0000279c) size=0000001c avail=00000000 max_avail=00000000 Block: [0000279c,0009f000) size=0009c864 avail=0009c864 max_avail=0009c864 Block: [0010c000,0010c01c) size=0000001c avail=00000000 max_avail=001d2fe4 Block: [0010c01c,002df000) size=001d2fe4 avail=001d2fe4 max_avail=001d2fe4 Block: [002e0000,002e001c) size=0000001c avail=00000000 max_avail=0a6c5000 Block: [002e001c,002e0038) size=0000001c avail=00000000 max_avail=00000000 Block: [002e0038,00400000) size=0011ffc8 avail=0011ffc8 max_avail=0011ffc8 Block: [00483000,0048301c) size=0000001c avail=00000000 max_avail=0a6c5000 Block: [0048301c,00500000) size=0007cfe4 avail=0007cfe4 max_avail=0007cfe4 Block: [0066a000,01100000) size=00a96000 avail=00a96000 max_avail=0a6c5000 Block: [044c5000,0eb8a000) size=0a6c5000 avail=0a6c5000 max_avail=0a6c5000 => mem_size=190218240 (181 MB) / mem_avail=190216180 (181 MB) :region_alloc: Allocator 654534 dump: Block: [00001000,00002000) size=00001000 avail=00001000 max_avail=00001000 Block: [0009f000,0010c000) size=0006d000 avail=0006d000 max_avail=0006d000 Block: [00401000,00483000) size=00082000 avail=00082000 max_avail=6ff00000 Block: [0eb8a000,40000000) size=31476000 avail=31476000 max_avail=31476000 Block: [50000000,bff00000) size=6ff00000 avail=6ff00000 max_avail=6ff00000 Block: [bff01000,c0000000) size=000ff000 avail=000ff000 max_avail=000ff000 => mem_size=2706788352 (2581 MB) / mem_avail=2706788352 (2581 MB) :io_mem: Allocator 653820 dump: Block: [00000000,00002000) size=00002000 avail=00002000 max_avail=00002000 Block: [0009f000,0010c000) size=0006d000 avail=0006d000 max_avail=0006d000 Block: [00401000,00483000) size=00082000 avail=00082000 max_avail=f1475fff Block: [0eb8a000,ffffffff) size=f1475fff avail=f1475fff max_avail=f1475fff => mem_size=4048973823 (3861 MB) / mem_avail=4048973823 (3861 MB) :io_port: Allocator 653c7c dump: Block: [00000000,00010000) size=00010000 avail=00010000 max_avail=00010000 => mem_size=65536 (0 MB) / mem_avail=65536 (0 MB) :irq: Allocator 6540d8 dump: Block: [00000000,00000100) size=00000100 avail=00000100 max_avail=00000100 => mem_size=256 (0 MB) / mem_avail=256 (0 MB) :rom_fs: Rom_fs 654de8 dump: Rom: [02e73000,02edb8c4) nic_drv Rom: [03389000,0342cdec) libc.lib.so Rom: [02dd9000,02e2dc08) init Rom: [02dd8000,02dd855d) config Rom: [03153000,033177f8) arora Rom: [034fb000,035745ac) dejavusans.lib.so Rom: [03575000,035f9f30) freetype.lib.so Rom: [03027000,0310c4d4) launchpad Rom: [00400000,00401000) kip Rom: [034c5000,034fa1e8) jpeg.lib.so Rom: [00400000,00401000) l4v2_kip Rom: [03318000,03388448) ld.lib.so Rom: [02f3b000,02f931f0) loader Rom: [0342d000,0344e258) libm.lib.so Rom: [035fa000,035fd9d8) libc_lock_pipe.lib.so Rom: [0349b000,034c40ac) libpng.lib.so Rom: [0344f000,03485040) lwip.lib.so Rom: [012d0000,013c81f0) qt_network.lib.so Rom: [02cac000,02cb4104) qnitpickerviewwidget.lib.so Rom: [02cce000,02cd0800) nitpicker_plugin.tar Rom: [02edc000,02f3adbc) nitpicker Rom: [02fda000,030267b4) nit_fb Rom: [02cd1000,02d2696c) pci_drv Rom: [02d93000,02dd76f4) ps2_drv Rom: [036c9000,03a4a04c) qt_core.lib.so Rom: [02cb5000,02ccd440) qpluginwidget.lib.so Rom: [03a4b000,044c4f90) qt_gui.lib.so Rom: [01100000,012cf9cc) qt_jscore.lib.so Rom: [02f94000,02fd906c) tar_rom Rom: [01516000,015c7830) qt_ui_tools.lib.so Rom: [013c9000,01515530) qt_script.lib.so Rom: [02c63000,02caba14) qt_xml.lib.so Rom: [015c8000,02c62ab4) qt_webcore.lib.so Rom: [035fe000,036c8144) stdcxx.lib.so Rom: [02e2e000,02e722f0) timer Rom: [0310d000,03152e44) testnit Rom: [03486000,0349ac64) zlib.lib.so Rom: [02d27000,02d92394) vesa_drv :core ranges: Allocator 656efc dump: Block: [00002000,0009f000) size=0009d000 avail=0009d000 max_avail=0009d000 Block: [0010c000,002df000) size=001d3000 avail=001d3000 max_avail=001d3000 Block: [002e0000,00400000) size=00120000 avail=00120000 max_avail=0e707000 Block: [00483000,0eb8a000) size=0e707000 avail=0e707000 max_avail=0e707000 => mem_size=245985280 (234 MB) / mem_avail=245985280 (234 MB) int main(): --- create local services --- int main(): --- start init --- int main(): transferred 181 MB to init int main(): --- init created, waiting for exit condition --- [init -> nic_drv] --- iPXE NIC driver started --- [init -> pci_drv] PCI driver started [init -> arora] Starting ldso ... [init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and 5-button support. [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). [init -> pci_drv] Could not open file "pci_device_pd" [init -> pci_drv] [34mPCI device protection domain for IOMMU support is not available [init -> pci_drv] Could not open file "config" [init -> pci_drv] Could not obtain config file [init -> pci_drv] PCI config space data could not be parsed. [init -> vesa_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): fb mapped to 1092000 [init -> timer] args='label="nitpicker", ram_quota=4096' [init -> vesa_drv] Could not open file "config" [init -> vesa_drv] Could not obtain config file [init -> vesa_drv] Found: VESA BIOS version 2.0 [init -> vesa_drv] OEM: VGABIOS Cirrus extension [init -> arora] void init_libc_lock_pipe(): init_libc_lock_pipe() [init -> arora] using the pipe libc plugin [init -> arora] Starting application ... environ: c538c [init -> arora] void init_nic_dhcp(): init_nic_dhcp() [init -> arora] Could not open file "config" [init -> arora] Could not obtain config file [init -> arora] Using DHCP for interface configuration. [init -> arora] {anonymous}::Plugin::Plugin(): using the lwIP libc plugin Quota exceeded! amount=4096, size=4096, consumed=4096 [init -> nic_drv] upgrading quota donation for SIGNAL session [init -> nic_drv] --- init iPXE NIC [init -> timer] args='label="nic_drv", ram_quota=4096' [init -> nic_drv] scan_pci(): Found: 00:03.0 1022:2000 (rev 10) IRQ 0b [init -> nic_drv] probe_pci_device(): using driver pcnet32 [init -> nic_drv] adjust_pci_device(): PCI BIOS has not enabled device 00:03.0! Updating PCI command 0003->0007 [init -> nic_drv] adjust_pci_device(): PCI device 00:03.0 latency timer is unreasonably low at 0. Setting to 32. [init -> nic_drv] snprintf not implemented Quota exceeded: pci_drv memory for slab: 2048 used quota: 313592 ds_size: 1048576 sizeof(Ram_session_component): 248 quota_limit: 806912 [init -> nic_drv] dde_ipxe_nic_init(): opening device 00:03.0 failed [init -> nic_drv] number of devices: 0 [init -> nic_drv] --- init rx_callbacks [init -> vesa_drv] Found: physical frame buffer at 0xfc000000 size: 0x00400000 [init -> vesa_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): fb mapped to 400000 [init -> nitpicker] framebuffer is 1024x768@...23... * *After this it is getting stuck.....* *Could u please give me a solution.......* **Thanks,* Raja Sekhar

2 2

Re: issue while running arora
by keqin 03 Jun '13

03 Jun '13

Hi Norman,     I met the same problem with Raja when I run textedit. It seems that Nitpicker wait for client for a long time but no client request the service. I didn't find the code that textedit invoke the connection function to nitpicker service. Is that why the problem happen? Bests, Keqin on 2013-06-03, Mon, 16:32:32 ,Raja Sekhar wrote： Hello to all,                I'm trying to run arora on foc_x86_32. But i'm getting blank screen on QEMU. and I'm getting the console output as follows...... spawn qemu-system-i386 -no-kvm-irqchip -no-kvm -m 256 -net nic,model=pcnet -net user -serial mon:stdio -cdrom var/run/arora.iso Could not open option rom 'pxe-pcnet.rom': No such file or directory L4 Bootstrapper   Build: #1 Tue May 14 16:19:26 IST 2013, x86-32, 4.7.2   RAM: 0000000000000000 - 000000000009f3ff: 637kB   RAM: 0000000000100000 - 000000000fffcfff: 261108kB   Total RAM: 255MB   Moving up to 39 modules behind 1100000   moving module 00 { 326000-3a7d23 } -> { 4628000-46a9d23 } [531748]   moving module 01 { 3a8000-406787 } -> { 46aa000-4708787 } [386952]   moving module 02 { 407000-4880cb } -> { 4709000-478a0cb } [528588]   moving module 03 { 489000-48955c } -> { 384e000-384e55c } [1373]   moving module 04 { 48a000-4dec07 } -> { 384f000-38a3c07 } [347144]   moving module 05 { 4df000-5232ef } -> { 38a4000-38e82ef } [279280]   moving module 06 { 524000-58c8c3 } -> { 38e9000-39518c3 } [428228]   moving module 07 { 58d000-5ebdbb } -> { 3952000-39b0dbb } [388540]   moving module 08 { 5ec000-6441ef } -> { 39b1000-3a091ef } [360944]   moving module 09 { 645000-68a06b } -> { 3a0a000-3a4f06b } [282732]   moving module 10 { 68b000-6d77b3 } -> { 3a50000-3a9c7b3 } [313268]   moving module 11 { 6d8000-7bd4d3 } -> { 3a9d000-3b824d3 } [939220]   moving module 12 { 7be000-803e43 } -> { 3b83000-3bc8e43 } [286276]   moving module 13 { 804000-9c87f7 } -> { 3bc9000-3d8d7f7 } [1853432]   moving module 14 { 9c9000-a39447 } -> { 3d8e000-3dfe447 } [459848]   moving module 15 { a3a000-adddeb } -> { 3dff000-3ea2deb } [671212]   moving module 16 { ade000-aff257 } -> { 3ea3000-3ec4257 } [135768]   moving module 17 { b00000-b3603f } -> { 3ec5000-3efb03f } [221248]   moving module 18 { b37000-b4bc63 } -> { 3efc000-3f10c63 } [85092]   moving module 19 { b4c000-b750ab } -> { 3f11000-3f3a0ab } [168108]   moving module 20 { b76000-bab1e7 } -> { 3f3b000-3f701e7 } [217576]   moving module 21 { bac000-c255ab } -> { 3f71000-3fea5ab } [497068]   moving module 22 { c26000-caaf2f } -> { 3feb000-406ff2f } [544560]   moving module 23 { cab000-cae9d7 } -> { 4070000-40739d7 } [14808]   moving module 24 { caf000-d79143 } -> { 4074000-413e143 } [827716]   moving module 25 { d7a000-10fb04b } -> { 413f000-44c004b } [3674188]   moving module 26 { 10fc000-1b75f8f } -> { 478b000-5204f8f } [10985360]   moving module 27 { 1b76000-1d459cb } -> { 1100000-12cf9cb } [1898956]   moving module 28 { 1d46000-1e3e1ef } -> { 12d0000-13c81ef } [1016304]   moving module 29 { 1e3f000-1f8b52f } -> { 13c9000-151552f } [1361200]   moving module 30 { 1f8c000-203d82f } -> { 1516000-15c782f } [727088]   moving module 31 { 203e000-36d8ab3 } -> { 15c8000-2c62ab3 } [23702196]   moving module 32 { 36d9000-3721a13 } -> { 2c63000-2caba13 } [297492]   moving module 33 { 3722000-372a103 } -> { 2cac000-2cb4103 } [33028]   moving module 34 { 372b000-374343f } -> { 2cb5000-2ccd43f } [99392]   moving module 35 { 3744000-37467ff } -> { 2cce000-2cd07ff } [10240]   moving module 36 { 3747000-379c96b } -> { 2cd1000-2d2696b } [350572]   moving module 37 { 379d000-3808393 } -> { 2d27000-2d92393 } [439188]   moving module 38 { 3809000-384d6f3 } -> { 2d93000-2dd76f3 } [280308]   moving module 03 { 384e000-384e55c } -> { 2dd8000-2dd855c } [1373]   moving module 04 { 384f000-38a3c07 } -> { 2dd9000-2e2dc07 } [347144]   moving module 05 { 38a4000-38e82ef } -> { 2e2e000-2e722ef } [279280]   moving module 06 { 38e9000-39518c3 } -> { 2e73000-2edb8c3 } [428228]   moving module 07 { 3952000-39b0dbb } -> { 2edc000-2f3adbb } [388540]   moving module 08 { 39b1000-3a091ef } -> { 2f3b000-2f931ef } [360944]   moving module 09 { 3a0a000-3a4f06b } -> { 2f94000-2fd906b } [282732]   moving module 10 { 3a50000-3a9c7b3 } -> { 2fda000-30267b3 } [313268]   moving module 11 { 3a9d000-3b824d3 } -> { 3027000-310c4d3 } [939220]   moving module 12 { 3b83000-3bc8e43 } -> { 310d000-3152e43 } [286276]   moving module 13 { 3bc9000-3d8d7f7 } -> { 3153000-33177f7 } [1853432]   moving module 14 { 3d8e000-3dfe447 } -> { 3318000-3388447 } [459848]   moving module 15 { 3dff000-3ea2deb } -> { 3389000-342cdeb } [671212]   moving module 16 { 3ea3000-3ec4257 } -> { 342d000-344e257 } [135768]   moving module 17 { 3ec5000-3efb03f } -> { 344f000-348503f } [221248]   moving module 18 { 3efc000-3f10c63 } -> { 3486000-349ac63 } [85092]   moving module 19 { 3f11000-3f3a0ab } -> { 349b000-34c40ab } [168108]   moving module 20 { 3f3b000-3f701e7 } -> { 34c5000-34fa1e7 } [217576]   moving module 21 { 3f71000-3fea5ab } -> { 34fb000-35745ab } [497068]   moving module 22 { 3feb000-406ff2f } -> { 3575000-35f9f2f } [544560]   moving module 23 { 4070000-40739d7 } -> { 35fa000-35fd9d7 } [14808]   moving module 24 { 4074000-413e143 } -> { 35fe000-36c8143 } [827716]   moving module 25 { 413f000-44c004b } -> { 36c9000-3a4a04b } [3674188]   moving module 26 { 478b000-5204f8f } -> { 3a4b000-44c4f8f } [10985360]   Scanning /fiasco/fiasco -serial_esc   Scanning /fiasco/sigma0   Scanning /genode/core   Bootloader MMAP:     [        0,     9f400) RAM (1)     [    9f400,     a0000) reserved (2)     [    f0000,    100000) reserved (2)     [   100000,   fffd000) RAM (1)     [  fffd000,  10000000) reserved (2)     [ fffc0000, 100000000) reserved (2)   Relocated mbi to [0x2df000-0x2df8ee]   Loading /fiasco/fiasco   Loading /fiasco/sigma0   Loading /genode/core   find kernel info page...   found kernel info page at 0x400000 Regions of list 'regions'     [        0,       fff] {     1000} Arch   BIOS     [     1000,      1fff] {     1000} Kern   /fiasco/fiasco     [    9f400,     9ffff] {      c00} Arch   BIOS     [    f0000,     fffff] {    10000} Arch   BIOS     [   100000,    10b197] {     b198} Sigma0 /fiasco/sigma0     [   2d0000,    2e3427] {    13428} Boot   bootstrap     [   2df000,    2df9eb] {      9ec} Root   Multiboot info     [   300000,    38ffff] {    90000} Kern   /fiasco/fiasco     [   400000,    486fff] {    87000} Kern   /fiasco/fiasco     [   500000,    66994f] {   169950} Root   /genode/core     [  1100000,   44c4f8f] {  33c4f90} Root   Module     [  fffd000,   fffffff] {     3000} Arch   BIOS     [ fffc0000,  ffffffff] {    40000} Arch   BIOS   API Version: (87) experimental   Sigma0 config    ip:001002bc sp:002de070   Roottask config  ip:0055a4b8 sp:00000000   Starting kernel /fiasco/fiasco at 00300874 [1;32mWelcome to Fiasco.OC (ia32)! [0;32mL4/Fiasco.OC ia32 microkernel (C) 1998-2013 TU Dresden Rev: rexporte compiled with gcc 4.7.2 for Intel Pentium    [] Build: #3 Fri May 24 14:53:36 IST 2013 Performance-critical config option(s) detected:   CONFIG_NDEBUG is off Superpages: yes Kmem:: cpu page at eb8b000 (4096Bytes) Per_cpu_data_alloc: (orig: 0xf0079ba0-0xf007a228) ACPI-Init ACPI: RSDP[0xfd9a0]     r00 OEM:BOCHS. Boot_alloc: size=0x10 Boot_alloc: allocated extra memory block @0xfdbfa000 (size=400) Boot_alloc: @ 0xfdbfa000 Boot_alloc: remaining free block @ 0xfdbfa010 (size=3f0) ACPI: RSDT[0x203fd7b0]  r01 OEM:BOCHS. OEMTID:BXPCRSDT ACPI: FACP[0x203fff80]  r01 OEM:BOCHS. OEMTID:BXPCFACP ACPI: SSDT[0x203fd910]  r01 OEM:BOCHS. OEMTID:BXPCSSDT ACPI: APIC[0x203fd830]  r01 OEM:BOCHS. OEMTID:BXPCAPIC ACPI: HPET[0x203fd7f0]  r01 OEM:BOCHS. OEMTID:BXPCHPET IO-APIC: MADT = 0x203fd830 IO-APIC[ 0]: struct: 0x203fd864 adr=fec00000 Boot_alloc: size=0x1c Boot_alloc: @ 0xfdbfa010 Boot_alloc: remaining free block @ 0xfdbfa030 (size=3d0) Boot_alloc: size=0x120 Boot_alloc: @ 0xfdbfa030 Boot_alloc: remaining free block @ 0xfdbfa150 (size=2b0) IO-APIC[ 0]: pins 24   PIN[ 0m]: vector=20, del=0, dm=physical, dest=0 (high, edge)   PIN[ 1m]: vector=21, del=0, dm=physical, dest=0 (high, edge)   PIN[ 2m]: vector=22, del=0, dm=physical, dest=0 (high, edge)   PIN[ 3m]: vector=23, del=0, dm=physical, dest=0 (high, edge)   PIN[ 4m]: vector=24, del=0, dm=physical, dest=0 (high, edge)   PIN[ 5m]: vector=25, del=0, dm=physical, dest=0 (high, edge)   PIN[ 6m]: vector=26, del=0, dm=physical, dest=0 (high, edge)   PIN[ 7m]: vector=27, del=0, dm=physical, dest=0 (high, edge)   PIN[ 8m]: vector=28, del=0, dm=physical, dest=0 (high, edge)   PIN[ 9m]: vector=29, del=0, dm=physical, dest=0 (high, edge)   PIN[10m]: vector=2a, del=0, dm=physical, dest=0 (high, edge)   PIN[11m]: vector=2b, del=0, dm=physical, dest=0 (high, edge)   PIN[12m]: vector=2c, del=0, dm=physical, dest=0 (high, edge)   PIN[13m]: vector=2d, del=0, dm=physical, dest=0 (high, edge)   PIN[14m]: vector=2e, del=0, dm=physical, dest=0 (high, edge)   PIN[15m]: vector=2f, del=0, dm=physical, dest=0 (high, edge)   PIN[16m]: vector=30, del=0, dm=physical, dest=0 (high, edge)   PIN[17m]: vector=31, del=0, dm=physical, dest=0 (high, edge)   PIN[18m]: vector=32, del=0, dm=physical, dest=0 (high, edge)   PIN[19m]: vector=33, del=0, dm=physical, dest=0 (high, edge)   PIN[20m]: vector=34, del=0, dm=physical, dest=0 (high, edge)   PIN[21m]: vector=35, del=0, dm=physical, dest=0 (high, edge)   PIN[22m]: vector=36, del=0, dm=physical, dest=0 (high, edge)   PIN[23m]: vector=37, del=0, dm=physical, dest=0 (high, edge) IO-APIC: dual 8259: yes IO-APIC: ovr[ 0] 00 -> 2 IO-APIC: ovr[ 1] 05 -> 5 IO-APIC: ovr[ 2] 09 -> 9 IO-APIC: ovr[ 3] 0a -> a IO-APIC: ovr[ 4] 0b -> b Boot_alloc: size=0x4 Boot_alloc: @ 0xfdbfa150 Boot_alloc: remaining free block @ 0xfdbfa158 (size=2a8) Allocate cpu_mem @ 0xfdbfa400 FPU0: SSE Local APIC[00]: version=11 max_lvt=5 APIC ESR value before/after enabling: 00000000/00000000 Using the Local APIC timer on vector 90 (Periodic Mode) for scheduling SERIAL ESC: allocated IRQ 4 for serial uart SERIAL ESC: allocated IRQ 4 for serial uart Not using serial hack in slow timer handler. Boot_alloc: size=0x14 Boot_alloc: @ 0xfdbfa158 Boot_alloc: remaining free block @ 0xfdbfa170 (size=290) Boot_alloc: size=0x300 Boot_alloc: allocated extra memory block @0xfdbfa800 (size=400) Boot_alloc: @ 0xfdbfa800 Boot_alloc: remaining free block @ 0xfdbfab00 (size=100) Enable MSI support: chained IRQ mgr @ 0xfdbfa150 Absolute KIP Syscalls using: Sysenter CPU[0]: GenuineIntel (6:3:3:0)[00000633] Model: QEMU Virtual CPU version 1.0 at 3192MHz   32 KB L1 I Cache (8-way associative, 64 bytes per line)   32 KB L1 D Cache (8-way associative, 64 bytes per line) 2048 KB L2 U Cache (8-way associative, 64 bytes per line) Freeing init code/data: 16384 bytes (4 pages) Per_cpu_data_alloc: (orig: 0xf0079ba0-0xf007a228) Allocate 1672 bytes (2KB) for CPU[4] local storage (offset=d97d460, 0xfd9f7000-0xfd9f7688) MP: detecting APs... Calibrating timer loop... done. SIGMA0: Hello!   KIP @ 400000   Found Fiasco: KIP syscalls: yes   allocated 4KB for maintenance structures SIGMA0: Dump of all resource maps RAM:------------------------ [0:2000;9efff] [0:10c000;2defff] [4:2df000;2dffff] [0:2e0000;3fffff] [0:483000;4fffff] [4:500000;669fff] [0:66a000;10fffff] [4:1100000;44c4fff] [0:44c5000;eb89fff] IOMEM:---------------------- [0:0;fff] [0:9f000;fffff] [0:fffd000;febfffff] [0:fec01000;fedfffff] [0:fee01000;ffffffff] IO PORTS-------------------------- [0:0;fffffff] KIP @ 400000     magic: 4be6344c   version: 87014444          sigma0  esp: 002de070  eip: 001002bc          sigma1  esp: 00000000  eip: 00000000            root  esp: 00000000  eip: 0055a4b8 MBI @ 2df000  mod[3] [2dd8000,2dd855d) config  mod[4] [2dd9000,2e2dc08) init  mod[5] [2e2e000,2e722f0) timer  mod[6] [2e73000,2edb8c4) nic_drv  mod[7] [2edc000,2f3adbc) nitpicker  mod[8] [2f3b000,2f931f0) loader  mod[9] [2f94000,2fd906c) tar_rom  mod[10] [2fda000,30267b4) nit_fb  mod[11] [3027000,310c4d4) launchpad  mod[12] [310d000,3152e44) testnit  mod[13] [3153000,33177f8) arora  mod[14] [3318000,3388448) ld.lib.so  mod[15] [3389000,342cdec) libc.lib.so  mod[16] [342d000,344e258) libm.lib.so  mod[17] [344f000,3485040) lwip.lib.so  mod[18] [3486000,349ac64) zlib.lib.so  mod[19] [349b000,34c40ac) libpng.lib.so  mod[20] [34c5000,34fa1e8) jpeg.lib.so  mod[21] [34fb000,35745ac) dejavusans.lib.so  mod[22] [3575000,35f9f30) freetype.lib.so  mod[23] [35fa000,35fd9d8) libc_lock_pipe.lib.so  mod[24] [35fe000,36c8144) stdcxx.lib.so  mod[25] [36c9000,3a4a04c) qt_core.lib.so  mod[26] [3a4b000,44c4f90) qt_gui.lib.so  mod[27] [1100000,12cf9cc) qt_jscore.lib.so  mod[28] [12d0000,13c81f0) qt_network.lib.so  mod[29] [13c9000,1515530) qt_script.lib.so  mod[30] [1516000,15c7830) qt_ui_tools.lib.so  mod[31] [15c8000,2c62ab4) qt_webcore.lib.so  mod[32] [2c63000,2caba14) qt_xml.lib.so  mod[33] [2cac000,2cb4104) qnitpickerviewwidget.lib.so  mod[34] [2cb5000,2ccd440) qpluginwidget.lib.so  mod[35] [2cce000,2cd0800) nitpicker_plugin.tar  mod[36] [2cd1000,2d2696c) pci_drv  mod[37] [2d27000,2d92394) vesa_drv  mod[38] [2d93000,2dd76f4) ps2_drv :ram_alloc: Allocator 6533c4 dump:  Block: [00002000,0000201c) size=0000001c avail=00000000 max_avail=00000000  Block: [0000201c,00002038) size=0000001c avail=00000000 max_avail=00000000  Block: [00002038,00002054) size=0000001c avail=00000000 max_avail=00000000  Block: [00002054,00002070) size=0000001c avail=00000000 max_avail=00000000  Block: [00002070,0000208c) size=0000001c avail=00000000 max_avail=00000000  Block: [0000208c,000020a8) size=0000001c avail=00000000 max_avail=00000000  Block: [000020a8,000020c4) size=0000001c avail=00000000 max_avail=00000000  Block: [000020c4,000020e0) size=0000001c avail=00000000 max_avail=00000000  Block: [000020e0,000020fc) size=0000001c avail=00000000 max_avail=00000000  Block: [000020fc,00002118) size=0000001c avail=00000000 max_avail=00000000  Block: [00002118,00002134) size=0000001c avail=00000000 max_avail=00000000  Block: [00002134,00002150) size=0000001c avail=00000000 max_avail=00000000  Block: [00002150,0000216c) size=0000001c avail=00000000 max_avail=00000000  Block: [0000216c,0000256c) size=00000400 avail=00000000 max_avail=00000000  Block: [0000256c,00002588) size=0000001c avail=00000000 max_avail=00000000  Block: [00002588,000025a4) size=0000001c avail=00000000 max_avail=00000000  Block: [000025a4,000025c0) size=0000001c avail=00000000 max_avail=00000000  Block: [000025c0,000025dc) size=0000001c avail=00000000 max_avail=0a6c5000  Block: [000025dc,000025f8) size=0000001c avail=00000000 max_avail=00000000  Block: [000025f8,00002614) size=0000001c avail=00000000 max_avail=00000000  Block: [00002614,00002630) size=0000001c avail=00000000 max_avail=00000000  Block: [00002630,0000264c) size=0000001c avail=00000000 max_avail=00000000  Block: [0000264c,00002668) size=0000001c avail=00000000 max_avail=00000000  Block: [00002668,00002684) size=0000001c avail=00000000 max_avail=00000000  Block: [00002684,000026a0) size=0000001c avail=00000000 max_avail=00000000  Block: [000026a0,000026bc) size=0000001c avail=00000000 max_avail=00000000  Block: [000026bc,000026d8) size=0000001c avail=00000000 max_avail=0a6c5000  Block: [000026d8,000026f4) size=0000001c avail=00000000 max_avail=00000000  Block: [000026f4,00002710) size=0000001c avail=00000000 max_avail=00000000  Block: [00002710,0000272c) size=0000001c avail=00000000 max_avail=00000000  Block: [0000272c,00002748) size=0000001c avail=00000000 max_avail=00000000  Block: [00002748,00002764) size=0000001c avail=00000000 max_avail=00000000  Block: [00002764,00002780) size=0000001c avail=00000000 max_avail=001d2fe4  Block: [00002780,0000279c) size=0000001c avail=00000000 max_avail=00000000  Block: [0000279c,0009f000) size=0009c864 avail=0009c864 max_avail=0009c864  Block: [0010c000,0010c01c) size=0000001c avail=00000000 max_avail=001d2fe4  Block: [0010c01c,002df000) size=001d2fe4 avail=001d2fe4 max_avail=001d2fe4  Block: [002e0000,002e001c) size=0000001c avail=00000000 max_avail=0a6c5000  Block: [002e001c,002e0038) size=0000001c avail=00000000 max_avail=00000000  Block: [002e0038,00400000) size=0011ffc8 avail=0011ffc8 max_avail=0011ffc8  Block: [00483000,0048301c) size=0000001c avail=00000000 max_avail=0a6c5000  Block: [0048301c,00500000) size=0007cfe4 avail=0007cfe4 max_avail=0007cfe4  Block: [0066a000,01100000) size=00a96000 avail=00a96000 max_avail=0a6c5000  Block: [044c5000,0eb8a000) size=0a6c5000 avail=0a6c5000 max_avail=0a6c5000  => mem_size=190218240 (181 MB) / mem_avail=190216180 (181 MB) :region_alloc: Allocator 654534 dump:  Block: [00001000,00002000) size=00001000 avail=00001000 max_avail=00001000  Block: [0009f000,0010c000) size=0006d000 avail=0006d000 max_avail=0006d000  Block: [00401000,00483000) size=00082000 avail=00082000 max_avail=6ff00000  Block: [0eb8a000,40000000) size=31476000 avail=31476000 max_avail=31476000  Block: [50000000,bff00000) size=6ff00000 avail=6ff00000 max_avail=6ff00000  Block: [bff01000,c0000000) size=000ff000 avail=000ff000 max_avail=000ff000  => mem_size=2706788352 (2581 MB) / mem_avail=2706788352 (2581 MB) :io_mem: Allocator 653820 dump:  Block: [00000000,00002000) size=00002000 avail=00002000 max_avail=00002000  Block: [0009f000,0010c000) size=0006d000 avail=0006d000 max_avail=0006d000  Block: [00401000,00483000) size=00082000 avail=00082000 max_avail=f1475fff  Block: [0eb8a000,ffffffff) size=f1475fff avail=f1475fff max_avail=f1475fff  => mem_size=4048973823 (3861 MB) / mem_avail=4048973823 (3861 MB) :io_port: Allocator 653c7c dump:  Block: [00000000,00010000) size=00010000 avail=00010000 max_avail=00010000  => mem_size=65536 (0 MB) / mem_avail=65536 (0 MB) :irq: Allocator 6540d8 dump:  Block: [00000000,00000100) size=00000100 avail=00000100 max_avail=00000100  => mem_size=256 (0 MB) / mem_avail=256 (0 MB) :rom_fs: Rom_fs 654de8 dump:  Rom: [02e73000,02edb8c4) nic_drv  Rom: [03389000,0342cdec) libc.lib.so  Rom: [02dd9000,02e2dc08) init  Rom: [02dd8000,02dd855d) config  Rom: [03153000,033177f8) arora  Rom: [034fb000,035745ac) dejavusans.lib.so  Rom: [03575000,035f9f30) freetype.lib.so  Rom: [03027000,0310c4d4) launchpad  Rom: [00400000,00401000) kip  Rom: [034c5000,034fa1e8) jpeg.lib.so  Rom: [00400000,00401000) l4v2_kip  Rom: [03318000,03388448) ld.lib.so  Rom: [02f3b000,02f931f0) loader  Rom: [0342d000,0344e258) libm.lib.so  Rom: [035fa000,035fd9d8) libc_lock_pipe.lib.so  Rom: [0349b000,034c40ac) libpng.lib.so  Rom: [0344f000,03485040) lwip.lib.so  Rom: [012d0000,013c81f0) qt_network.lib.so  Rom: [02cac000,02cb4104) qnitpickerviewwidget.lib.so  Rom: [02cce000,02cd0800) nitpicker_plugin.tar  Rom: [02edc000,02f3adbc) nitpicker  Rom: [02fda000,030267b4) nit_fb  Rom: [02cd1000,02d2696c) pci_drv  Rom: [02d93000,02dd76f4) ps2_drv  Rom: [036c9000,03a4a04c) qt_core.lib.so  Rom: [02cb5000,02ccd440) qpluginwidget.lib.so  Rom: [03a4b000,044c4f90) qt_gui.lib.so  Rom: [01100000,012cf9cc) qt_jscore.lib.so  Rom: [02f94000,02fd906c) tar_rom  Rom: [01516000,015c7830) qt_ui_tools.lib.so  Rom: [013c9000,01515530) qt_script.lib.so  Rom: [02c63000,02caba14) qt_xml.lib.so  Rom: [015c8000,02c62ab4) qt_webcore.lib.so  Rom: [035fe000,036c8144) stdcxx.lib.so  Rom: [02e2e000,02e722f0) timer  Rom: [0310d000,03152e44) testnit  Rom: [03486000,0349ac64) zlib.lib.so  Rom: [02d27000,02d92394) vesa_drv :core ranges: Allocator 656efc dump:  Block: [00002000,0009f000) size=0009d000 avail=0009d000 max_avail=0009d000  Block: [0010c000,002df000) size=001d3000 avail=001d3000 max_avail=001d3000  Block: [002e0000,00400000) size=00120000 avail=00120000 max_avail=0e707000  Block: [00483000,0eb8a000) size=0e707000 avail=0e707000 max_avail=0e707000  => mem_size=245985280 (234 MB) / mem_avail=245985280 (234 MB) int main(): --- create local services --- int main(): --- start init --- int main(): transferred 181 MB to init int main(): --- init created, waiting for exit condition --- [init -> nic_drv] --- iPXE NIC driver started --- [init -> pci_drv] PCI driver started [init -> arora] Starting ldso ... [init -> ps2_drv] Detected ExPS/2 mouse - activating scroll-wheel and 5-button support. [init -> ps2_drv] Using keyboard with scan code set 1 (xlate). [init -> pci_drv] Could not open file "pci_device_pd" [init -> pci_drv] [34mPCI device protection domain for IOMMU support is not available [init -> pci_drv] Could not open file "config" [init -> pci_drv] Could not obtain config file [init -> pci_drv] PCI config space data could not be parsed. [init -> vesa_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): fb mapped to 1092000 [init -> timer] args='label="nitpicker", ram_quota=4096' [init -> vesa_drv] Could not open file "config" [init -> vesa_drv] Could not obtain config file [init -> vesa_drv] Found: VESA BIOS version 2.0 [init -> vesa_drv] OEM: VGABIOS Cirrus extension [init -> arora] void init_libc_lock_pipe(): init_libc_lock_pipe() [init -> arora] using the pipe libc plugin [init -> arora] Starting application ... environ: c538c [init -> arora] void init_nic_dhcp(): init_nic_dhcp() [init -> arora] Could not open file "config" [init -> arora] Could not obtain config file [init -> arora] Using DHCP for interface configuration. [init -> arora] {anonymous}::Plugin::Plugin(): using the lwIP libc plugin Quota exceeded! amount=4096, size=4096, consumed=4096 [init -> nic_drv] upgrading quota donation for SIGNAL session [init -> nic_drv] --- init iPXE NIC [init -> timer] args='label="nic_drv", ram_quota=4096' [init -> nic_drv] scan_pci(): Found: 00:03.0 1022:2000 (rev 10) IRQ 0b [init -> nic_drv] probe_pci_device(): using driver pcnet32 [init -> nic_drv] adjust_pci_device(): PCI BIOS has not enabled device 00:03.0! Updating PCI command 0003->0007 [init -> nic_drv] adjust_pci_device(): PCI device 00:03.0 latency timer is unreasonably low at 0. Setting to 32. [init -> nic_drv] snprintf not implemented Quota exceeded: pci_drv   memory for slab:               2048   used quota:                    313592   ds_size:                       1048576   sizeof(Ram_session_component): 248   quota_limit:                   806912 [init -> nic_drv] dde_ipxe_nic_init(): opening device 00:03.0 failed [init -> nic_drv]     number of devices: 0 [init -> nic_drv] --- init rx_callbacks [init -> vesa_drv] Found: physical frame buffer at 0xfc000000 size: 0x00400000 [init -> vesa_drv] int Framebuffer_drv::map_io_mem(Genode::addr_t, Genode::size_t, bool, void**, Genode::addr_t, Genode::Dataspace_capability*): fb mapped to 400000 [init -> nitpicker] framebuffer is 1024x768@...23... After this it is getting stuck..... Could u please give me a solution....... Thanks, Raja Sekhar

1 0

Announcement: Genode OS Framework version 13.05 released
by Christian Helmuth 30 May '13

30 May '13

We are happy to announce the new release of the Genode OS Framework. The focus of our work in the past three months was on consolidation and optimization of the current feature set and extension of our support for embedded SoCs. The highlights of the fresh release are: - Tooling for automated testing and benchmarking - Enhanced terminal infrastructure - New network performance benchmarks - Platform support - Exynos 5 SoC (USB-3, gigabit networking, eMMC, SATA) - i.MX SoC (GPIO, display, touch screen) - OMAP4 SoC (LCD) - Raspberry Pi - Linux/ARM as new base platform - Device drivers - DDE Linux updated to Linux 3.9 - DDE iPXE update to latest Git version - Services - FS-LOG service - Dynamically reconfigurable virtual framebuffer - 3rd-party libraries - Qt4 version 4.8.4 - libSDL supplemental libraries The whole story is described in the release notes: http://genode.org/documentation/release-notes/13.05 Best regards and enjoy -- Christian Helmuth Genode Labs http://www.genode-labs.com/ · http://genode.org/ https://twitter.com/GenodeLabs · /ˈdʒiː.nəʊd/ Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

1 0

l4android can not run rightly on Pandaboard?
by longjks 30 May '13

30 May '13

hi, I had build an image.elf with the l4android.run in the directory ports-foc/run on genode13.02 . I build with the platform foc_panda. When I run the image.elf on Pandaboard, it goes to some errors. here is the Error log: ////////////////////////////////////////////////////// [init] nitpicker: invalid route to non-existing server "fb-drv" ///////////////////////////////////////// so I added the follow into l4android.run: <start name="fb_drv"> <binary name="omap4_fb_drv"/> <resource name="RAM" quantum="4M"/> <provides><service name="Framebuffer"/></provides> </start> <start name="sd_card_drv"> <resource name="RAM" quantum="4M"/> <provides><service name="Block"/></provides> </start> <start name="usb_drv"> <resource name="RAM" quantum="12M"/> <provides> <service name="Input"/> <service name="Nic"/> </provides> <config> <hid/> <nic mac="2e:60:90:0c:4e:01" /> </config> </start> after that, I can start the l4android on Pandaboard. I can see something on "log_term" part and "terminal_log" part,but there are nothing on "android_term " part, l4android can not work rightly and system-ginger.img can not be started on Pandaboard ? How I can do to fix these problems? 2013-03-25 longjks

2 17

pandaboard audio system
by gaober 27 May '13

27 May '13

hi! i want to implenment the audio system for pandaboard.there are some questions. i find directory /os/src/drivers/audio_out/linux,do i need it? shold i implenment the audio system by using dde method?or should i write audio driver in addition?Maybe the twl6040 driver? do you have some suggestions,please?

2 1

issue while running l4linux on fiasco_x86_32
by Raja Sekhar 27 May '13

27 May '13

Hello to all, I'm trying to run l4linux on fiasco_x86_32 on QEMU. But i'm not getting anything on QEMU except 2 penguins... and i'm getting a console messages as...... ######################################################################################################################################################## spawn qemu-system-i386 -no-kvm-irqchip -no-kvm -m 128 -serial file:kdb.log -serial mon:stdio -smp 2,cores=2 -net nic,model=e1000 -net user -cdrom var/run/l4linux.iso [ 0.000000] Linux version 3.5.0-l4+ (rajasekhar@...193...) (gcc version 4.7.2 (GCC) ) #15 SMP Fri May 24 10:47:26 IST 2013 [ 0.000000] e820: BIOS-provided physical RAM map: [ 0.000000] L4Lx-Memory: [mem 0x0000000000000000-0x0000000000400fff] reserved [ 0.000000] L4Lx-Memory: [mem 0x0000000000401000-0x0000000000838fff] usable [ 0.000000] L4Lx-Memory: [mem 0x0000000000839000-0x000000004fffffff] unusable [ 0.000000] L4Lx-Memory: [mem 0x0000000050000000-0x0000000053ffffff] usable [ 0.000000] Notice: NX (Execute Disable) protection missing in CPU! [ 0.000000] e820: last_pfn = 0x54000 max_arch_pfn = 0x100000 [ 0.000000] init_memory_mapping: [mem 0x00000000-0x53ffffff] [ 0.000000] INITRD: 00a00000 - 00d86000 [ 0.000000] 1344MB LOWMEM available. [ 0.000000] mapped low ram: 0 - 54000000 [ 0.000000] low ram: 0 - 54000000 [ 0.000000] Zone ranges: [ 0.000000] DMA [mem 0x00401000-0xffffffff] [ 0.000000] Normal [mem 0x00000000-0x53ffffff] [ 0.000000] Movable zone start for each node [ 0.000000] Early memory node ranges [ 0.000000] node 0: [mem 0x00401000-0x00838fff] [ 0.000000] node 0: [mem 0x50000000-0x53ffffff] [ 0.000000] Using APIC driver default [ 0.000000] Intel MultiProcessor Specification v1.0 [ 0.000000] Virtual Wire compatibility mode. [ 0.000000] Processors: 2 [ 0.000000] SMP: Allowing 2 CPUs, 0 hotplug CPUs [ 0.000000] e820: [mem 0x54000000-0xffffffff] available for PCI devices [ 0.000000] setup_percpu: NR_CPUS:8 nr_cpumask_bits:8 nr_cpu_ids:2 nr_node_ids:1 [ 0.000000] PERCPU: Embedded 11 pages/cpu @53565000 s23296 r0 d21760 u45056 [ 0.000000] Built 1 zonelists in Zone order, mobility grouping on. Total pages: 14784 [ 0.000000] Kernel command line: mem=64M console=ttyS0 l4x_rd=initrd.gz l4x_cpus=2 l4x_cpus_map=0,1 [ 0.000000] PID hash table entries: 256 (order: -2, 1024 bytes) [ 0.000000] Dentry cache hash table entries: 8192 (order: 3, 32768 bytes) [ 0.000000] Inode-cache hash table entries: 4096 (order: 2, 16384 bytes) [ 0.000000] __ex_table already sorted, skipping sort [ 0.000000] Initializing CPU#0 [ 0.000000] Memory: 54700k/1376256k available (2428k kernel code, 10900k reserved, 1047k data, 156k init, 0k highmem) [ 0.000000] virtual kernel memory layout: [ 0.000000] fixmap : 0x5c101000 - 0x5c1e8000 ( 924 kB) [ 0.000000] vmalloc : 0x54000000 - 0x5c000000 ( 128 MB) [ 0.000000] lowmem : 0x00000000 - 0x54000000 (1344 MB) [ 0.000000] .init : 0x0077b000 - 0x007a2000 ( 156 kB) [ 0.000000] .data : 0x0065f1ac - 0x00764ea4 (1047 kB) [ 0.000000] .text : 0x00400000 - 0x0065f1ac (2428 kB) [ 0.000000] Hierarchical RCU implementation. [ 0.000000] NR_IRQS:2304 nr_irqs:2304 192 [ 0.000000] Console: colour dummy device 80x25 [ 0.000000] console [ttyS0] enabled [ 0.000000] l4timer: Using IRQ65 [ 0.000000] Detected 3191.899 MHz processor. [ 0.010436] Calibrating delay loop (skipped), value calculated using timer frequency.. 6383.79 BogoMIPS (lpj=31918990) [ 0.024002] pid_max: default: 32768 minimum: 301 [ 0.041305] Mount-cache hash table entries: 512 [ 0.056070] CPU: Physical Processor ID: 0 [ 0.060068] CPU: Processor Core ID: 0 [ 0.070000] CPU0: Intel QEMU Virtual CPU version 1.0 stepping 03 [ 0.085843] Performance Events: Broken PMU hardware detected, using software events only. [ 0.122737] Booting Node 0, Processors [ 0.020000] Initializing CPU#1 #1 Ok. [ 0.020000] calibrate_delay_direct() failed to get a good estimate for loops_per_jiffy. [ 0.020000] Probably due to long platform interrupts. Consider using "lpj=" boot option. [ 0.973056] Brought up 2 CPUs [ 1.000112] Total of 2 processors activated (64712.47 BogoMIPS). [ 1.034688] devtmpfs: initialized [ 1.055412] NET: Registered protocol family 16 [ 1.087708] bio: create slab <bio-0> at 0 [ 1.094463] SCSI subsystem initialized [ 1.105275] Switching to clocksource l4kipclk [ 1.149530] NET: Registered protocol family 2 [ 1.152000] IP route cache hash table entries: 1024 (order: 0, 4096 bytes) [ 1.171833] TCP established hash table entries: 2048 (order: 2, 16384 bytes) [ 1.182288] TCP bind hash table entries: 2048 (order: 2, 16384 bytes) [ 1.190346] TCP: Hash tables configured (established 2048 bind 2048) [ 1.198648] TCP: reno registered [ 1.200000] UDP hash table entries: 256 (order: 1, 8192 bytes) [ 1.200000] UDP-Lite hash table entries: 256 (order: 1, 8192 bytes) [ 1.221067] NET: Registered protocol family 1 [ 1.229921] Unpacking initramfs... [ 1.303639] INITRD: Freeing memory. [ 1.402667] l4x: Checks passed. [ 1.407667] platform rtc_cmos: registered platform RTC device (no PNP device found) [ 1.427418] msgmni has been set to 106 [ 1.440066] Block layer SCSI generic (bsg) driver version 0.4 loaded (major 253) [ 1.450216] io scheduler noop registered [ 1.456057] io scheduler deadline registered [ 1.462793] io scheduler cfq registered (default) [ 1.474577] mousedev: PS/2 mouse device common for all mice [ 1.483294] ttyS0 at MMIO 0x1 (irq = 64) is a L4 [ 1.493200] rtc-genode rtc-genode.0: rtc core: registered rtc-genode as rtc0 [ 2.404473] Switching to clocksource tsc [ 7.977091] genode_fb:framebuffer at 0x00c00000, size 4096k [ 8.010534] genode_fb: mode is 1024x768x16 [ 8.098633] Console: switching to colour frame buffer device 128x48 [ 8.223119] input: Genode input key as /devices/virtual/input/input0 [ 8.255879] input: Genode input mouse as /devices/virtual/input/input1 [ 8.295787] Genode blk-file driver initialized ######################################################################################################################################################## can u please give me the solution........ *Thanks,* Raja Sekhar

4 4

[PATCH] tool-chain build: Signature verification
by Stephan Mueller 24 May '13

24 May '13

Hi, please find attached a patch against tool-chain and a supporting shell script to perform signature verification of the downloaded bits for building the tool chain. Signed-off-by: Stephan Mueller <smueller@...194...>

1 0

how can I modify the config at runtime?
by keqin 23 May '13

23 May '13

Hi Norman,     When I read the source code in os/src/init/main.cc I noticed that Genode could respond to config changes at runtime. I wonder how I can modify the config at runtime? Are there any interfaces to do that?  Bests, Keqin

2 1

Jump to page:

2026

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

users