Genode demo with seL4 Kernel no longer working

[Chris Rothrock]

I had to increase nitpicker to 32M to get this to work.  There are still a
number of odd errors being produced but the demo is running.  It is worth
noting, however, that the base demo runs fine with NOVA but does not with
seL4 unless the memory is increased on nitpicker.  Here's my output if you
are interested in analyzing it.

spawn qemu-system-x86_64 -no-kvm -display sdl -serial mon:stdio -m 512
-cdrom var/run/demo.iso
Bender: Hello World.
framebuffer at [b8000+b8fa0) 80x25 at ...64...
warning - unknown framebuffer type
framebuffer at [b8000+b8fa0) 80x25 at ...64...
warning - unknown framebuffer type

Boot config: parsing cmdline 'sel4 disable_iommu'
Boot config: console_port = 0x3f8
Boot config: debug_port = 0x3f8
Boot config: disable_iommu = true
  module #0: start=0xf83c000 end=0xffff330 size=0x7c3330 name='image.elf'
Physical Memory Region from 0 size 9fc00 type 1
Physical Memory Region from 9fc00 size 400 type 2
Physical Memory Region from f0000 size 10000 type 2
Physical Memory Region from 100000 size 1fefe000 type 1
Adding physical memory region 0x100000-0x1fffe000
Physical Memory Region from 1fffe000 size 2000 type 2
Physical Memory Region from fffc0000 size 40000 type 2
Got framebuffer info in multiboot2. Current video mode is at physical
address=b8000 pitch=160 resolution=80x25 at ...64... type=2
Detected 1 boot module(s):
Kernel loaded to: start=0x200000 end=0xa98000 size=0x898000 entry=0x201209
ACPI: RSDT paddr=0x1ffffbc1
ACPI: RSDT vaddr=0x1ffffbc1
ACPI: FADT paddr=0x1ffff1c0
ACPI: FADT vaddr=0x1ffff1c0
ACPI: FADT flags=0x80a5
ACPI: MADT paddr=0x1ffffb11
ACPI: MADT vaddr=0x1ffffb11
ACPI: MADT apic_addr=0xfee00000
ACPI: MADT flags=0x1
ACPI: MADT_APIC apic_id=0x0
ACPI: MADT_IOAPIC ioapic_id=0 ioapic_addr=0xfec00000 gsib=0
ACPI: MADT_ISO bus=0 source=0 gsi=2 flags=0x0
ACPI: MADT_ISO bus=0 source=5 gsi=5 flags=0xd
ACPI: MADT_ISO bus=0 source=9 gsi=9 flags=0xd
ACPI: MADT_ISO bus=0 source=10 gsi=10 flags=0xd
ACPI: MADT_ISO bus=0 source=11 gsi=11 flags=0xd
ACPI: 1 CPU(s) detected
ELF-loading userland images from boot modules:
size=0x162b000 v_entry=0x2000018 v_start=0x2000000 v_end=0x362b000
p_start=0x10000000 p_end=0x1162b000
Moving loaded userland images to final location: from=0x10000000
to=0xa98000 size=0x162b000
Starting node #0 with APIC ID 0
Mapping kernel window is done
Booting all finished, dropped to user space
Warning: device memory in range [0000000100000000,0000000200000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000000200000000,0000000400000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000000400000000,0000000800000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000000800000000,0000001000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000001000000000,0000002000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000002000000000,0000004000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000004000000000,0000008000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000008000000000,0000408000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000408000000000,0000608000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000608000000000,0000708000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000708000000000,0000788000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [0000788000000000,00007c8000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [00007c8000000000,00007e8000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [00007e8000000000,00007f8000000000) is
unavailable (due to limited untyped cnode range)
Warning: device memory in range [00007f8000000000,0000800000000000) is
unavailable (due to limited untyped cnode range)
virtual address layout of core:
 overall    [0000000000002000,00000000c0000000)
 core image [0000000002000000,000000000362b000)
 ipc buffer [000000000362b000,000000000362c000)
 boot_info  [000000000362c000,000000000362e000)
 stack area [0000000040000000,0000000050000000)
Warning: need physical memory, but Platform object not constructed yet
Warning: need physical memory, but Platform object not constructed yet
Warning: need physical memory, but Platform object not constructed yet
boot module 'nit_focus' (89200 bytes)
boot module 'nitlog' (143312 bytes)
boot module 'ps2_drv' (184584 bytes)
boot module 'report_rom' (127384 bytes)
boot module 'acpi_drv' (127504 bytes)
boot module 'pointer' (161504 bytes)
boot module 'scout' (1776120 bytes)
boot module 'testnit' (105128 bytes)
boot module 'ld.lib.so' (902288 bytes)
boot module 'launchpad.config' (596 bytes)
boot module 'nitpicker' (369920 bytes)
boot module 'timer' (110832 bytes)
boot module 'platform_drv' (365928 bytes)
boot module 'config' (7523 bytes)
boot module 'fb_drv' (384624 bytes)
boot module 'liquid_fb' (329272 bytes)
boot module 'status_bar' (139744 bytes)
boot module 'global_keys_handler' (172968 bytes)
boot module 'launchpad' (811456 bytes)
boot module 'init' (344960 bytes)
boot module 'rom_filter' (120536 bytes)
Warning: need physical memory, but Platform object not constructed yet
Genode 18.02-20-g1f7b5e7 <local changes>
372 MiB RAM and 261141 caps assigned to init
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x1
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x2
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x4
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x8
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x10
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x20
[init -> acpi_drv] Found MADT
[init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0
[init -> acpi_drv] MADT IRQ 5 -> GSI 5 flags: 13
[init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 13
[init -> acpi_drv] MADT IRQ 10 -> GSI 10 flags: 13
[init -> acpi_drv] MADT IRQ 11 -> GSI 11 flags: 13
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x40
[init -> ps2_drv] Using keyboard with scan code set 1 (xlate)
[init -> ps2_drv] detected ExPS/2 mouse - activating scroll-wheel and
5-button support
[init -> platform_drv] PS2 uses IRQ, vector 0x1
[init -> platform_drv] PS2 uses IRQ, vector 0xc
[init -> fb_drv] Found PCI VGA at 00:02.0
[init -> fb_drv] fb mapped to 0x4000
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not
implemented - resources leaked: 0x80
[init -> fb_drv] Found: VESA BIOS version 3.0
[init -> fb_drv] OEM: SeaBIOS VBE(C) 2011
[init -> fb_drv] Found: physical frame buffer at 0xfc000000 size: 4194304
[init -> fb_drv] fb mapped to 0xb000000
[init -> fb_drv] using video mode: 1280x1024 at ...64...
Warning: flush page table entries - mapping cache full - PD: init ->
nitpicker
Warning: PD (init -> status_bar) RAM limit (used=816K, limit=881244)
exceeded during transfer_quota(45K)
[init] Warning: status_bar: RAM upgrade of Nitpicker failed
[init -> status_bar] resource_request: ram_quota=45K, cap_quota=0
[init] child "status_bar" requests resources: ram_quota=45K, cap_quota=0
Warning: PD (init -> pointer) RAM limit (used=860K, limit=881244) exceeded
during transfer_quota(40000)
[init] Warning: pointer: RAM upgrade of Nitpicker failed
[init -> pointer] resource_request: ram_quota=40000, cap_quota=0
[init] child "pointer" requests resources: ram_quota=40000, cap_quota=0
Warning: PD (init -> global_keys_handler) RAM limit (used=844K,
limit=866908) exceeded during transfer_quota(10K)
[init -> global_keys_handler] resource_request: ram_quota=10K
[init] child "global_keys_handler" requests resources: ram_quota=10K
[init -> scout] png is 101 x 92, depth=8


On Wed, Mar 21, 2018 at 1:30 PM, Norman Feske <norman.feske at ...1...>
wrote:

> Hello Chris,
>
> On 21.03.2018 17:00, Chris Rothrock wrote:
> > Previously, the demo build of Genode with seL4 worked perfectly fine but
> > it seems with the newer port of seL4, this is no longer working.  If I
> > use KERNEL=nova, the build runs fine, both through QEMU and booting the
> > hardware with the build but with KERNEL=sel4, here is the output m(via
> > hardware boot).  Is this a known issue?
>
> thank you for reporting. We haven't noticed this problem so far.
>
> > [init -> nitpicker_config] resource_request: ram_quota=5239
> > [init] child "nitpicker_config" requests resources: ram_quota=5239
> ...
> > [init -> ps2_drv] resource_request: ram_quota=20480
> > [init] child "ps2_drv" requests resources: ram_quota=20480
>
> Those components are apparently starved for memory. Could you try
> increasing the RAM quota of them?
>
> Cheers
> Norman
>
> --
> Dr.-Ing. Norman Feske
> Genode Labs
>
> https://www.genode-labs.com · https://genode.org
>
> Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
>
> ------------------------------------------------------------
> ------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>



-- 


Thank You,

Chris Rothrock
Senior System Administrator
(315) 308-1637
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20180323/7605efd9/attachment.html>