can't run noux_bash on Genode/seL4
Alexander Tormasov
a.tormasov at innopolis.ru
Fri Jul 12 00:28:11 CEST 2019
This is my first attempt to run Genode over seL4 inside VM.
I take latest 19.05 version of Genode as recommended.
I followed the instruction and now compile (in vmware vm with ubuntu, 64 bit) and able to run demo both inside vmware and qemu in my MacOS notebook.
While I can say that work of demo is pretty unstable, it hangs under any attempt to run from launchpad nitpicker (just freeze mouse, no messages in the stdout log on host). It does not show any other windows except launcher, the only log message are:
...
[init -> scout -> launchpad] starting testnit with quota 5896K
[init -> scout -> launchpad] using unique child name "testnit"
[init -> nitpicker] resource_request: ram_quota=0, cap_quota=4
[init] child "nitpicker" requests resources: ram_quota=0, cap_quota=4
I make run/noux_bash and run/noux_vim iso.
both of them started successfully, but show me only black screen (both in vmware and qemu 3.1_01).
Logs seems to be without errors… see below
How I can see terminal prompt inside vm window ?
Sincerely,
Alexander Tormasov・
Bender: Hello World.
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=0xcfd7000 end=0xff90330 size=0x2fb9330 name='image.elf'
Physical Memory Region from 0 size 9f800 type 1
Physical Memory Region from 9f800 size 800 type 2
Physical Memory Region from dc000 size 24000 type 2
Physical Memory Region from 100000 size bd5e0000 type 1
Adding physical memory region 0x100000-0xbd6e0000
Physical Memory Region from bd6e0000 size 1f000 type 3
Physical Memory Region from bd6ff000 size 1000 type 4
Physical Memory Region from bd700000 size 100000 type 1
Adding physical memory region 0xbd700000-0xbd800000
Physical Memory Region from f0000000 size 8000000 type 2
Physical Memory Region from fec00000 size 10000 type 2
Physical Memory Region from fee00000 size 1000 type 2
Physical Memory Region from fffe0000 size 20000 type 2
Got framebuffer info in multiboot2. Current video mode is at physical address=e8000000 pitch=4608 resolution=1152x864 at 32 type=1
Detected 1 boot module(s):
***WARNING*** SKIM window not enabled, this machine is probably vulernable to Meltdown (https://www.meltdownattack.com), consider enabling
Kernel loaded to: start=0x200000 end=0xaa5000 size=0x8a5000 entry=0x201209
ACPI: RSDT paddr=0xbd6efc56
ACPI: RSDT vaddr=0xbd6efc56
ACPI: FADT paddr=0xbd6fef67
ACPI: FADT vaddr=0xbd6fef67
ACPI: FADT flags=0x21
ACPI: MADT paddr=0xbd6efdc2
ACPI: MADT vaddr=0xbd6efdc2
ACPI: MADT apic_addr=0xfee00000
ACPI: MADT flags=0x1
ACPI: MADT_APIC apic_id=0x0
ACPI: MADT_IOAPIC ioapic_id=1 ioapic_addr=0xfec00000 gsib=0
ACPI: MADT_ISO bus=0 source=0 gsi=2 flags=0x5
ACPI: 1 CPU(s) detected
ELF-loading userland images from boot modules:
size=0x3e23000 v_entry=0x2000018 v_start=0x2000000 v_end=0x5e23000 p_start=0xff91000 p_end=0x13db4000
Moving loaded userland images to final location: from=0xff91000 to=0xaa5000 size=0x3e23000
Starting node #0 with APIC ID 0
Mapping kernel window is done
vt-x: not supported
Booting all finished, dropped to user space
:phys_mem_16k: Allocator 0x2fe7c30 dump:
Block: [0000000000200000,0000000000240000) size=256K avail=256K max_avail=256K
=> mem_size=262144 (0 MB) / mem_avail=262144 (0 MB)
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,0000000200000000)
core image [0000000002000000,0000000005e23000)
ipc buffer [0000000005e23000,0000000005e24000)
boot_info [0000000005e24000,0000000005e26000)
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 'input_filter.config' (768 bytes)
boot module 'ps2_drv' (181168 bytes)
boot module 'vesa_fb_drv' (367632 bytes)
boot module 'vim.tar' (20285440 bytes)
boot module 'config' (2844 bytes)
boot module 'drivers.config' (4778 bytes)
boot module 'coreutils.tar' (11642880 bytes)
boot module 'libm.lib.so' (240904 bytes)
boot module 'en_us.chargen' (5625 bytes)
boot module 'bash.tar' (7895040 bytes)
boot module 'vimrc' (89 bytes)
boot module 'vfs_ttf.lib.so' (227440 bytes)
boot module 'terminal.config' (189 bytes)
boot module 'libc.lib.so' (1593272 bytes)
boot module 'vfs' (197256 bytes)
boot module 'VeraMono.ttf' (49224 bytes)
boot module 'acpi_drv' (129152 bytes)
boot module 'noux' (465576 bytes)
boot module 'timer' (120736 bytes)
boot module 'input_filter' (199696 bytes)
boot module 'special.chargen' (1346 bytes)
boot module 'posix.lib.so' (68752 bytes)
boot module 'terminal' (243648 bytes)
boot module 'report_rom' (128160 bytes)
boot module 'platform_drv' (334464 bytes)
boot module 'ncurses.lib.so' (370096 bytes)
boot module 'ram_fs' (169784 bytes)
boot module 'Vera.ttf' (65932 bytes)
boot module 'libc_noux.lib.so' (138080 bytes)
boot module 'LICENSE.bitstream-vera' (5954 bytes)
boot module 'fb_drv.config' (51 bytes)
boot module 'init' (345536 bytes)
boot module 'vfs.lib.so' (458880 bytes)
boot module 'init.xsd' (7148 bytes)
boot module 'ld.lib.so' (1002416 bytes)
boot module 'usb_drv' (1400368 bytes)
Warning: need physical memory, but Platform object not constructed yet
Genode sculpt-19.07
2851 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
[init] parent provides
[init] service "ROM"
[init] service "LOG"
[init] service "RM"
[init] service "CPU"
[init] service "PD"
[init] service "IRQ"
[init] service "IO_PORT"
[init] service "IO_MEM"
[init] child "timer"
[init] RAM quota: 776K
[init] cap quota: 68
[init] ELF binary: timer
[init] priority: 0
[init] provides service Timer
[init] child "drivers"
[init] RAM quota: 32520K
[init] cap quota: 968
[init] ELF binary: init
[init] priority: 0
[init] provides service Input
[init] provides service Framebuffer
[init] child "terminal"
[init] RAM quota: 1800K
[init] cap quota: 68
[init] ELF binary: terminal
[init] priority: 0
[init] provides service Terminal
[init] child "ram_fs"
[init] RAM quota: 9992K
[init] cap quota: 68
[init] ELF binary: ram_fs
[init] priority: 0
[init] provides service File_system
[init] child "noux"
[init] RAM quota: 1048328K
[init] cap quota: 968
[init] ELF binary: noux
[init] priority: 0
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
[init -> noux] tar archive 'coreutils.tar' local at 0x1a0000, size is 11644928
[init] child "timer" announces service "Timer"
[init -> noux] tar archive 'vim.tar' local at 0xb000000, size is 20287488
[init] child "ram_fs" announces service "File_system"
[init -> drivers] Warning: input_filter assigned caps (90) exceed available caps (46)
[init -> noux] tar archive 'bash.tar' local at 0xc35c000, size is 7897088
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x20
[init -> drivers -> acpi_drv] Found MADT
[init -> drivers -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 5
[init -> drivers -> acpi_drv] Found MCFG
[init -> drivers -> acpi_drv] MCFG BASE 0xf0000000 seg 0x0 bus 0x0-0x7f
[init -> drivers -> acpi_drv] XSDT OEM 'INTEL ', table id '440BX ', revision 100925440, creator 'VMW ' (20071026)
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x40
[init -> drivers -> platform_drv] ECAM/MMCONF range 00:00.0-7f:1f.7 - addr [00000000f0000000,00000000f8000000)
[init -> drivers -> platform_drv] Root bridge: 00:00.0
[init -> drivers -> platform_drv] 00:01.0 - bridge 01:00.0
[init -> drivers -> platform_drv] 00:11.0 - bridge 02:00.0
[init -> drivers -> platform_drv] 00:15.0 - bridge 03:00.0
[init -> drivers -> platform_drv] 00:15.1 - bridge 04:00.0
[init -> drivers -> platform_drv] 00:15.2 - bridge 05:00.0
[init -> drivers -> platform_drv] 00:15.3 - bridge 06:00.0
[init -> drivers -> platform_drv] 00:15.4 - bridge 07:00.0
[init -> drivers -> platform_drv] 00:15.5 - bridge 08:00.0
[init -> drivers -> platform_drv] 00:15.6 - bridge 09:00.0
[init -> drivers -> platform_drv] 00:15.7 - bridge 0a:00.0
[init -> drivers -> platform_drv] 00:16.0 - bridge 0b:00.0
[init -> drivers -> platform_drv] 00:16.1 - bridge 0c:00.0
[init -> drivers -> platform_drv] 00:16.2 - bridge 0d:00.0
[init -> drivers -> platform_drv] 00:16.3 - bridge 0e:00.0
Warning: flush page table entries - mapping cache full - PD: init -> drivers -> platform_drv
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x80
[init -> drivers -> platform_drv] 00:16.4 - bridge 0f:00.0
[init -> drivers -> platform_drv] 00:16.5 - bridge 10:00.0
[init -> drivers -> platform_drv] 00:16.6 - bridge 11:00.0
[init -> drivers -> platform_drv] 00:16.7 - bridge 12:00.0
[init -> drivers -> platform_drv] 00:17.0 - bridge 13:00.0
[init -> drivers -> platform_drv] 00:17.1 - bridge 14:00.0
[init -> drivers -> platform_drv] 00:17.2 - bridge 15:00.0
[init -> drivers -> platform_drv] 00:17.3 - bridge 16:00.0
[init -> drivers -> platform_drv] 00:17.4 - bridge 17:00.0
[init -> drivers -> platform_drv] 00:17.5 - bridge 18:00.0
[init -> drivers -> platform_drv] 00:17.6 - bridge 19:00.0
[init -> drivers -> platform_drv] 00:17.7 - bridge 1a:00.0
[init -> drivers -> platform_drv] 00:18.0 - bridge 1b:00.0
[init -> drivers -> platform_drv] 00:18.1 - bridge 1c:00.0
[init -> drivers -> platform_drv] 00:18.2 - bridge 1d:00.0
[init -> drivers -> platform_drv] 00:18.3 - bridge 1e:00.0
Warning: flush page table entries - mapping cache full - PD: init -> drivers -> platform_drv
[init -> drivers -> platform_drv] 00:18.4 - bridge 1f:00.0
[init -> drivers -> platform_drv] 00:18.5 - bridge 20:00.0
[init -> drivers -> platform_drv] 00:18.6 - bridge 21:00.0
[init -> drivers -> platform_drv] 00:18.7 - bridge 22:00.0
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x100
[init -> drivers -> ps2_drv] Using keyboard with scan code set 1 (xlate)
[init -> drivers -> usb_drv] Could not read screen resolution in config node
[init -> drivers -> usb_drv] Configured HID screen with 0x0 (multitouch=false)
[init -> drivers -> usb_drv] No <storage> config node found - not starting the USB Storage (Block) service
[init -> drivers -> usb_drv] No <nic> config node found - not starting the USB Nic (Network) service
[init -> drivers -> ps2_drv] detected ImPS/2 mouse - activating scroll-wheel support
[init -> drivers -> usb_drv] No <raw> config node found - not starting external USB service
[init -> drivers -> usb_drv] Enabled UHCI (USB 1.0/1.1) support
[init -> drivers -> usb_drv] Enabled EHCI (USB 2.0) support
[init -> drivers -> usb_drv] Enabled XHCI (USB 3.0) support
[init -> drivers -> platform_drv] PS2 uses IRQ, vector 0x1
[init -> drivers -> platform_drv] PS2 uses IRQ, vector 0xc
[init -> drivers -> fb_drv] Found PCI VGA at 00:0f.0
[init -> drivers -> fb_drv] fb mapped to 0x5000
[init -> drivers -> platform_drv] Warning: Out_of_caps during Device_component construction
[init -> drivers -> usb_drv] ioremap: mapped phys 0xfd5ef000 (size 4096) to virt 0x17000
[init -> drivers -> usb_drv] ioremap: return sub range phys 0xfd5ef000 (size 4096) to virt 0x17000
[init -> drivers -> usb_drv] dev_info: EHCI Host Controller
[init -> drivers -> usb_drv] dev_info: new USB bus registered, assigned bus number 1
[init -> drivers -> platform_drv] 02:04.0 uses IRQ, vector 0xa, non-maskable
[init -> drivers -> usb_drv] dev_info: irq 129, io mem 0xfd5ef000
[init -> drivers -> usb_drv] dev_info: USB 2.0 started, EHCI 1.00
[init -> drivers -> usb_drv] dev_info: USB hub found
[init -> drivers -> usb_drv] dev_info: 6 ports detected
[init -> drivers -> usb_drv] dev_info: UHCI Host Controller
[init -> drivers -> usb_drv] dev_info: new USB bus registered, assigned bus number 2
[init -> drivers -> platform_drv] 02:03.0 uses IRQ, vector 0xb, non-maskable
[init -> drivers -> usb_drv] dev_info: irq 130, io base 0x00002080
[init -> drivers -> usb_drv] dev_info: USB hub found
[init -> drivers -> usb_drv] dev_info: 2 ports detected
Warning: PD (init -> drivers -> input_filter) cap limit (used=36, limit=37) exceeded during transfer_quota(3)
[init -> drivers -> input_filter] resource_request: cap_quota=3
[init -> drivers] child "input_filter" requests resources: cap_quota=3
[init -> drivers -> usb_drv] dev_info: new full-speed USB device number 2 using uhci_hcd
[init -> drivers -> usb_drv] dev_info: V V
[init -> drivers -> usb_drv] dev_info: input: USB HID v1.10 Mouse [V V] on usb-dummy-1/input0
[init -> drivers -> usb_drv] dev_info: V V
[init -> drivers -> usb_drv] dev_info: input: USB HID v1.10 Mouse [V V] on usb-dummy-1/input1
[init -> drivers -> usb_drv] dev_info: new full-speed USB device number 3 using uhci_hcd
[init -> drivers -> usb_drv] dev_info: USB hub found
[init -> drivers -> usb_drv] dev_info: 7 ports detected
More information about the users
mailing list