Hello,
Please, may you help me figure out what makes the booting process hang on
Lenovo x230?
The booting process just hangs with no explicit error on the serial console.
Freshly cloned git repository, This happens with both demo and seoul-net
scenarios
Log files are attached,
Genode version: 20.05
Regards,
-- 
Parfait T.
parfait@parfait-pc:~/git/genode20.05/build/x86_64$ make run/demo -j8
including /home/parfait/git/genode20.05/tool/run/power_on/qemu
including /home/parfait/git/genode20.05/tool/run/log/qemu
including /home/parfait/git/genode20.05/tool/run/image/disk
including /home/parfait/git/genode20.05/tool/run/boot_dir/nova
including /home/parfait/git/genode20.05/tool/run/image/disk
including /home/parfait/git/genode20.05/tool/run/boot_dir/nova
including /home/parfait/git/genode20.05/tool/run/power_on/amt
including /home/parfait/git/genode20.05/tool/run/load/tftp
including /home/parfait/git/genode20.05/tool/run/log/amt
including /home/parfait/git/genode20.05/repos/os/run/demo.run
building targets:  app/status_bar test/nitpicker 
spawn make app/status_bar test/nitpicker
make[1]: avertissement : jobserver n'est pas disponible : utilisation de -j1. Ajouter « + » à la règle parent du make.
make[1] : on entre dans le répertoire « /home/parfait/git/genode20.05/build/x86_64 »
checking library dependencies...
  Library ldso_so_support
  Library ld
  Library base
  Program app/status_bar/status_bar
  Program test/nitpicker/testnit
make[1] : on quitte le répertoire « /home/parfait/git/genode20.05/build/x86_64 »
genode build completed
checking configuration syntax
  CHECK init
using 'core-nova.o' as 'core.o'
Created image file var/run/demo.img (67404kiB)
spawn amttool 192.168.2.3 reset
host ., reset [y/N] ? y
execute: reset
result: pt_status: success
wait 5 seconds for power on
 Warning: could not check AMT SOL redirection service because of missing wsman tool, --amt-tool==wsman
spawn /bin/sh -c amtterm -u admin -v 192.168.2.3
amtterm: NONE -> CONNECT (connection to host)
ipv4 192.168.2.3 [192.168.2.3] 16994 open
amtterm: CONNECT -> INIT (redirection initialization)
amtterm: INIT -> AUTH (session authentication)
amtterm: AUTH -> INIT_SOL (serial-over-lan initialization)
amtterm: INIT_SOL -> RUN_SOL (serial-over-lan active)
serial-over-lan redirection ok
connected now, use ^] to escape
Bender: Hello World.
Need 00abe000 bytes to relocate modules.
Relocating to 7f542000: 
Copying 11096816 bytes...
Copying 160416 bytes...


NOVA Microhypervisor v8-de795b1 (x86_64): Aug 20 2020 20:32:14 [gcc 8.3.0] [MBI]

[ 0] TSC:2600000 kHz BUS:0 kHz DL
[ 0] CORE:0:0:0 6:3a:9:4 [1c]        Intel(R) Core(TM) i5-3320M CPU @ 2.60GHz
[ 3] CORE:0:1:1 6:3a:9:4 [1c]        Intel(R) Core(TM) i5-3320M CPU @ 2.60GHz
[ 1] CORE:0:0:1 6:3a:9:4 [1c]        Intel(R) Core(TM) i5-3320M CPU @ 2.60GHz
[ 2] CORE:0:1:0 6:3a:9:4 [1c]        Intel(R) Core(TM) i5-3320M CPU @ 2.60GHz

Hypervisor NOVA (API v8)
core     image  [0000000000100000,0000000000b94000)
binaries region [00000000002a3000,0000000000b94000) free for reuse
detected physical memory: 0x0000000000000000 - size: 0x000000000009d800
use      physical memory: 0x0000000000000000 - size: 0x000000000009d000
detected physical memory: 0x0000000000100000 - size: 0x000000001ff00000
use      physical memory: 0x0000000000100000 - size: 0x000000001ff00000
detected physical memory: 0x0000000020200000 - size: 0x000000001fe04000
use      physical memory: 0x0000000020200000 - size: 0x000000001fe04000
detected physical memory: 0x0000000040005000 - size: 0x000000008ec2c000
use      physical memory: 0x0000000040005000 - size: 0x000000008ec2c000
detected physical memory: 0x0000000100000000 - size: 0x000000011e600000
use      physical memory: 0x0000000100000000 - size: 0x000000011e600000
reserved memory: 0x9d800 - size: 0x2800 type=2
reserved memory: 0xe0000 - size: 0x20000 type=2
reserved memory: 0x20000000 - size: 0x200000 type=2
reserved memory: 0x40004000 - size: 0x1000 type=2
reserved memory: 0xcec31000 - size: 0xc26e000 type=2
reserved memory: 0xdae9f000 - size: 0x100000 type=4
reserved memory: 0xdaf9f000 - size: 0x60000 type=3
reserved memory: 0xdafff000 - size: 0x4a01000 type=2
reserved memory: 0xf8000000 - size: 0x4000000 type=2
reserved memory: 0xfec00000 - size: 0x1000 type=2
reserved memory: 0xfed08000 - size: 0x1000 type=2
reserved memory: 0xfed10000 - size: 0x8000 type=2
reserved memory: 0xfed18000 - size: 0x1000 type=2
reserved memory: 0xfed19000 - size: 0x1000 type=2
reserved memory: 0xfed1c000 - size: 0x4000 type=2
reserved memory: 0xfee00000 - size: 0x1000 type=2
reserved memory: 0xffc00000 - size: 0x400000 type=2
reserved memory: 0x21e600000 - size: 0x200000 type=2
reserved memory: 0x7f56a000 - size: 0xa952f0 type=-2
reserved memory: 0x1000000 - size: 0x800000 type=-1
reserved memory: 0x1800000 - size: 0x4e00000 type=-1
reserved memory: 0xdaffe0d4 - size: 0x0 type=-3
reserved memory: 0xdaffe170 - size: 0x0 type=-4
Hypervisor features VMX
Hypervisor reports 2x2 CPUs
mapping: affinity space -> kernel cpu id - package:core:thread
 remap (0x0) -> 0 - 0:0:0) boot cpu
 remap (0x1) -> 1 - 0:0:1) 
 remap (1x0) -> 2 - 0:1:0) 
 remap (1x1) -> 3 - 0:1:1) 
ROM modules:
 ROM: [000000007ff42000,000000007ff69c20) acpi_drv
 ROM: [000000007fca2000,000000007fca3630) config
 ROM: [000000000001b000,000000000001f000) core_log
 ROM: [000000007ff9c000,000000007ff9d268) drivers.config
 ROM: [000000007ff3f000,000000007ff417df) en_us.chargen
 ROM: [000000007fca1000,000000007fca1033) fb_drv.config
 ROM: [000000007fa60000,000000007fa8a2a8) global_keys_handler
 ROM: [000000007fa8b000,000000007faea800) init
 ROM: [000000007ff99000,000000007ff9acb6) init.xsd
 ROM: [000000007f779000,000000007f7ad070) input_filter
 ROM: [000000007ff9b000,000000007ff9b300) input_filter.config
 ROM: [000000007fb5b000,000000007fc266c0) launchpad
 ROM: [000000007f752000,000000007f752255) launchpad.config
 ROM: [000000007fcc1000,000000007fdbf5a8) ld.lib.so
 ROM: [000000007f7ae000,000000007f853ff0) liquid_fb
 ROM: [000000007fca4000,000000007fcbfd70) nit_focus
 ROM: [000000007fc7d000,000000007fca0778) nitlog
 ROM: [000000007faeb000,000000007fb5a9f0) nitpicker
 ROM: [000000007f854000,000000007f8aba18) platform_drv
 ROM: [0000000000019000,000000000001a000) platform_info
 ROM: [000000007ff9e000,000000007ffc4c38) pointer
 ROM: [000000007ff6a000,000000007ff98678) ps2_drv
 ROM: [000000007f70e000,000000007f72e520) report_rom
 ROM: [000000007fdc0000,000000007fddfc38) rom_filter
 ROM: [000000007f8ac000,000000007fa5f320) scout
 ROM: [000000007fcc0000,000000007fcc0542) special.chargen
 ROM: [000000007f72f000,000000007f751028) status_bar
 ROM: [000000007f753000,000000007f7789a0) test-libpng_static
 ROM: [000000007ffe4000,000000007fffe548) testnit
 ROM: [000000007ffc5000,000000007ffe3390) timer
 ROM: [000000007fde0000,000000007ff3e4f0) usb_drv
 ROM: [000000007fc27000,000000007fc7c510) vesa_fb_drv

86M kernel memory

Genode 20.05-100-gde795b1a6 <local changes>
7790 MiB RAM and 63253 caps assigned to init
[init -> scout] png is 101x92 depth=8
[init -> drivers -> acpi_drv] Found MADT
[init -> drivers -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0
[init -> drivers -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 13
[init -> drivers -> acpi_drv] Found MCFG
[init -> drivers -> acpi_drv] MCFG BASE 0xf8000000 seg 0x0 bus 0x0-0x3f
[init -> drivers -> acpi_drv] Found DMAR
[init -> drivers -> acpi_drv] 36 bit DMA physical addressable , IRQ remapping supported
[init -> drivers -> acpi_drv] DMA remapping structure type=0
[init -> drivers -> acpi_drv] DMA remapping structure type=0
[init -> drivers -> acpi_drv] DMA remapping structure type=1
[init -> drivers -> acpi_drv] DMA remapping structure type=1
[init -> drivers -> acpi_drv] XSDT OEM 'LENOVO', table id 'TP-G2   ', revision 9840, creator 'PTL ' (2)
[init -> drivers -> platform_drv] ECAM/MMCONF range 00:00.0-3f:1f.7 - addr [00000000f8000000,00000000fc000000)
[init -> drivers -> acpi_drv] SMBIOS table (entry point: 0x1a00e0 structures: 0xdae9c000)
[init -> drivers -> platform_drv] Root bridge: 00:00.0
[init -> drivers -> platform_drv] 00:1c.0 - bridge 02:00.0
[init -> drivers -> platform_drv] 00:1c.1 - bridge 03:00.0
[init -> drivers -> platform_drv] 00:1c.2 - bridge 04:00.0
[init -> drivers -> fb_drv] Found PCI VGA at 00:02.0
[init -> drivers -> fb_drv] fb mapped to 0x5000
[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 -> 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] Warning: Out_of_caps during Device_component construction
[init -> drivers -> platform_drv] usb_drv -> : assignment of PCI device 00:14.0 succeeded
[init -> drivers -> fb_drv] Found: VESA BIOS version 3.0
[init -> drivers -> fb_drv] OEM: Intel(R) Sandybridge/Ivybridge Graphics Chipset Accelerated VGA BIOS
[init -> drivers -> usb_drv] ioremap: mapped phys 0xf1620000 (size 65536) to virt 0x20000
[init -> drivers -> usb_drv] ioremap: return sub range phys 0xf1620000 (size 65536) to virt 0x20000
[init -> drivers -> usb_drv] dev_info: xHCI Host Controller
[init -> drivers -> usb_drv] dev_info: new USB bus registered, assigned bus number 1
[init -> drivers -> usb_drv] dev_info: hcc params 0x20007181 hci version 0x100 quirks 0x0000b930
[init -> drivers -> platform_drv] 00:14.0 adjust IRQ as reported by ACPI: 11 -> 16
[init -> drivers -> platform_drv] 00:14.0 uses MSI vector 0x7f, address 0xfee00018
[init -> drivers -> usb_drv] dev_info: USB hub found
[init -> drivers -> usb_drv] dev_info: 4 ports detected
[init -> drivers -> usb_drv] dev_info: xHCI Host Controller
[init -> drivers -> usb_drv] dev_info: new USB bus registered, assigned bus number 2
[init -> drivers -> usb_drv] dev_info: USB hub found
[init -> drivers -> usb_drv] dev_info: 4 ports detected
[init -> drivers -> platform_drv] usb_drv -> : assignment of PCI device 00:1a.0 succeeded
[init -> drivers -> usb_drv] ioremap: mapped phys 0xf163a000 (size 1024) to virt 0x16000
[init -> drivers -> usb_drv] ioremap: return sub range phys 0xf163a000 (size 1024) to virt 0x16000
[init -> drivers -> usb_drv] dev_info: EHCI Host Controller
[init -> drivers -> usb_drv] dev_info: new USB bus registered, assigned bus number 3
[init -> drivers -> usb_drv] dev_warn: Enabling legacy PCI PM
[init -> drivers -> platform_drv] 00:1a.0 adjust IRQ as reported by ACPI: 11 -> 16
[init -> drivers -> platform_drv] 00:1a.0 uses IRQ, vector 0x10, supports: 
[init -> drivers -> usb_drv] dev_info: irq 130, io mem 0xf163a000
[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: 3 ports detected
[init -> drivers -> platform_drv] usb_drv -> : assignment of PCI device 00:1d.0 succeeded
[init -> drivers -> usb_drv] ioremap: mapped phys 0xf1639000 (size 1024) to virt 0x17000
[init -> drivers -> usb_drv] ioremap: return sub range phys 0xf1639000 (size 1024) 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 4
[init -> drivers -> usb_drv] dev_warn: Enabling legacy PCI PM
[init -> drivers -> platform_drv] 00:1d.0 adjust IRQ as reported by ACPI: 10 -> 23
[init -> drivers -> platform_drv] 00:1d.0 uses IRQ, vector 0x17, supports: 
[init -> drivers -> usb_drv] dev_info: irq 131, io mem 0xf1639000
[init -> drivers -> fb_drv] Found: physical frame buffer at 0xe0000000 size: 67043328
[init -> drivers -> fb_drv] fb mapped to 0xc000000
[init -> drivers -> fb_drv] using VESA mode 1024x768@32
[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: 3 ports detected
[init -> drivers -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-pci
[init -> drivers -> usb_drv] dev_info: USB hub found
[init -> drivers -> usb_drv] dev_info: 6 ports detected
[init -> drivers -> usb_drv] dev_info: new high-speed USB device number 2 using ehci-pci
[init -> drivers -> usb_drv] dev_info: USB hub found
[init -> drivers -> usb_drv] dev_info: 8 ports detected
[init -> drivers -> usb_drv] dev_info: new full-speed USB device number 3 using ehci-pci
[init -> drivers -> usb_drv] dev_info: new full-speed USB device number 4 using ehci-pci
[init -> drivers -> usb_drv] dev_info: new high-speed USB device number 5 using ehci-pci

parfait@parfait-pc:~/git/genode20.05/build/x86_64$ make run/seoul-net -j8
including /home/parfait/git/genode20.05/tool/run/power_on/qemu
including /home/parfait/git/genode20.05/tool/run/log/qemu
including /home/parfait/git/genode20.05/tool/run/image/disk
including /home/parfait/git/genode20.05/tool/run/boot_dir/nova
including /home/parfait/git/genode20.05/tool/run/image/disk
including /home/parfait/git/genode20.05/tool/run/boot_dir/nova
including /home/parfait/git/genode20.05/tool/run/power_on/amt
including /home/parfait/git/genode20.05/tool/run/load/tftp
including /home/parfait/git/genode20.05/tool/run/log/amt
including /home/parfait/git/genode20.05/repos/ports/run/seoul-net.run
building targets: drivers/rtc drivers/input app/seoul drivers/nic drivers/framebuffer drivers/platform server/report_rom drivers/acpi
spawn make drivers/rtc drivers/input app/seoul drivers/nic drivers/framebuffer drivers/platform server/report_rom drivers/acpi
make[1]: avertissement : jobserver n'est pas disponible : utilisation de -j1. Ajouter « + » à la règle parent du make.
make[1] : on entre dans le répertoire « /home/parfait/git/genode20.05/build/x86_64 »
checking library dependencies...
Skip target drivers/framebuffer/imx8 because it requires arm_v8a
Skip target drivers/framebuffer/pl11x because it requires arm_v7
Skip target drivers/framebuffer/spec/imx53 because it requires arm_v7
Skip target drivers/framebuffer/spec/rpi because it requires arm_v6
Skip target drivers/framebuffer/spec/sdl because it requires linux sdl
Skip target drivers/input/spec/ps2/pl050 because it requires arm_v7
Skip target drivers/nic/fec/spec/arm_64 because it requires arm_64
Skip target drivers/nic/fec/spec/arm_v7 because it requires arm_v7
Skip target drivers/nic/lan9118 because it requires arm_v7
Skip target drivers/nic/spec/linux because it requires linux
Skip target drivers/nic/spec/zynq because it requires arm_v7
Skip target drivers/platform/spec/arm because it requires arm
Skip target drivers/platform/spec/imx53 because it requires arm_v7
Skip target drivers/platform/spec/rpi because it requires arm_v6
Skip target drivers/rtc/spec/linux because it requires linux
  Library blit
  Library ldso_so_support
  Library lx_kit_setjmp
  Library ld
  Library base
  Library x86emu
  Library seoul_libc_support
  Library intel_fb_include
  Library dde_ipxe_nic
  Program drivers/framebuffer/boot/fb_boot_drv
  Program drivers/input/spec/ps2/x86/ps2_drv
  Program drivers/acpi/spec/x86/acpi_drv
  Program drivers/input/dummy/dummy_input_drv
  Program drivers/platform/spec/x86/platform_drv
  Program drivers/rtc/spec/x86/rtc_drv
  Program server/report_rom/report_rom
  Program drivers/framebuffer/vesa/vesa_fb_drv
  Program drivers/nic/ipxe_nic_drv
  Library zircon
  Program drivers/input/zx_pc_ps2/zx_pc_ps2_drv
  Program app/seoul/seoul
  Library intel_fb_drv
  Program drivers/framebuffer/intel/intel_fb_drv
make[1] : on quitte le répertoire « /home/parfait/git/genode20.05/build/x86_64 »
genode build completed
checking configuration syntax
  CHECK init
using 'core-nova.o' as 'core.o'
Created image file var/run/seoul-net.img (67404kiB)
spawn amttool 192.168.2.3 reset
host ., reset [y/N] ? y
execute: reset
result: pt_status: success
wait 5 seconds for power on
 Warning: could not check AMT SOL redirection service because of missing wsman tool, --amt-tool==wsman
spawn /bin/sh -c amtterm -u admin -v 192.168.2.3
amtterm: NONE -> CONNECT (connection to host)
ipv4 192.168.2.3 [192.168.2.3] 16994 open
amtterm: CONNECT -> INIT (redirection initialization)
amtterm: INIT -> AUTH (session authentication)
amtterm: AUTH -> INIT_SOL (serial-over-lan initialization)
amtterm: INIT_SOL -> RUN_SOL (serial-over-lan active)
serial-over-lan redirection ok
connected now, use ^] to escape
Bender: Hello World.
Need 00d5b000 bytes to relocate modules.
Relocating to 7f2a5000: 
Copying 13837040 bytes...
Copying 160416 bytes...


NOVA Microhypervisor v8-de795b1 (x86_64): Aug 20 2020 20:32:14 [gcc 8.3.0] [MBI]

[ 0] TSC:2600000 kHz BUS:0 kHz DL
[ 0] CORE:0:0:0 6:3a:9:4 [1c]        Intel(R) Core(TM) i5-3320M CPU @ 2.60GHz
[ 2] CORE:0:1:0 6:3a:9:4 [1c]        Intel(R) Core(TM) i5-3320M CPU @ 2.60GHz
[ 3] CORE:0:1:1 6:3a:9:4 [1c]        Intel(R) Core(TM) i5-3320M CPU @ 2.60GHz
[ 1] CORE:0:0:1 6:3a:9:4 [1c]        Intel(R) Core(TM) i5-3320M CPU @ 2.60GHz

Hypervisor NOVA (API v8)
core     image  [0000000000100000,0000000000e31000)
binaries region [00000000002a3000,0000000000e31000) free for reuse
detected physical memory: 0x0000000000000000 - size: 0x000000000009d800
use      physical memory: 0x0000000000000000 - size: 0x000000000009d000
detected physical memory: 0x0000000000100000 - size: 0x000000001ff00000
use      physical memory: 0x0000000000100000 - size: 0x000000001ff00000
detected physical memory: 0x0000000020200000 - size: 0x000000001fe04000
use      physical memory: 0x0000000020200000 - size: 0x000000001fe04000
detected physical memory: 0x0000000040005000 - size: 0x000000008ec2c000
use      physical memory: 0x0000000040005000 - size: 0x000000008ec2c000
detected physical memory: 0x0000000100000000 - size: 0x000000011e600000
use      physical memory: 0x0000000100000000 - size: 0x000000011e600000
reserved memory: 0x9d800 - size: 0x2800 type=2
reserved memory: 0xe0000 - size: 0x20000 type=2
reserved memory: 0x20000000 - size: 0x200000 type=2
reserved memory: 0x40004000 - size: 0x1000 type=2
reserved memory: 0xcec31000 - size: 0xc26e000 type=2
reserved memory: 0xdae9f000 - size: 0x100000 type=4
reserved memory: 0xdaf9f000 - size: 0x60000 type=3
reserved memory: 0xdafff000 - size: 0x4a01000 type=2
reserved memory: 0xf8000000 - size: 0x4000000 type=2
reserved memory: 0xfec00000 - size: 0x1000 type=2
reserved memory: 0xfed08000 - size: 0x1000 type=2
reserved memory: 0xfed10000 - size: 0x8000 type=2
reserved memory: 0xfed18000 - size: 0x1000 type=2
reserved memory: 0xfed19000 - size: 0x1000 type=2
reserved memory: 0xfed1c000 - size: 0x4000 type=2
reserved memory: 0xfee00000 - size: 0x1000 type=2
reserved memory: 0xffc00000 - size: 0x400000 type=2
reserved memory: 0x21e600000 - size: 0x200000 type=2
reserved memory: 0x7f2cd000 - size: 0xd322f0 type=-2
reserved memory: 0x1000000 - size: 0x800000 type=-1
reserved memory: 0x1800000 - size: 0x4e00000 type=-1
reserved memory: 0xdaffe0d4 - size: 0x0 type=-3
reserved memory: 0xdaffe170 - size: 0x0 type=-4
Hypervisor features VMX
Hypervisor reports 2x2 CPUs
mapping: affinity space -> kernel cpu id - package:core:thread
 remap (0x0) -> 0 - 0:0:0) boot cpu
 remap (0x1) -> 1 - 0:0:1) 
 remap (1x0) -> 2 - 0:1:0) 
 remap (1x1) -> 3 - 0:1:1) 
ROM modules:
 ROM: [000000007ff0a000,000000007ff31c20) acpi_drv
 ROM: [000000007fd21000,000000007fee6cc0) bzImage-3.1
 ROM: [000000007fb5a000,000000007fb5b7ef) config
 ROM: [0000000000010000,0000000000014000) core_log
 ROM: [000000007f4ec000,000000007f54b800) init
 ROM: [000000007ffb7000,000000007ffb8cb6) init.xsd
 ROM: [000000007ff32000,000000007ff87340) ipxe_nic_drv
 ROM: [000000007fc22000,000000007fd205a8) ld.lib.so
 ROM: [000000007f493000,000000007f493934) munich
 ROM: [000000007fa94000,000000007fb039f0) nitpicker
 ROM: [000000007f494000,000000007f4eba18) platform_drv
 ROM: [000000000000e000,000000000000f000) platform_info
 ROM: [000000007ffb9000,000000007ffdfc38) pointer
 ROM: [000000007ff88000,000000007ffb6678) ps2_drv
 ROM: [000000007f472000,000000007f492520) report_rom
 ROM: [000000007fee7000,000000007ff09860) rtc_drv
 ROM: [000000007fb5c000,000000007fc21b58) seoul
 ROM: [000000007f54c000,000000007fa931e0) tc-net.gz
 ROM: [000000007ffe0000,000000007fffe390) timer
 ROM: [000000007fb04000,000000007fb59510) vesa_fb_drv
 ROM: [000000007f471000,000000007f4714d1) vm_seoul.cfg

86M kernel memory

Genode 20.05-100-gde795b1a6 <local changes>
7787 MiB RAM and 63253 caps assigned to init
[init] parent provides
[init]   service "ROM"
[init]   service "IRQ"
[init]   service "IO_MEM"
[init]   service "IO_PORT"
[init]   service "PD"
[init]   service "RM"
[init]   service "CPU"
[init]   service "VM"
[init]   service "LOG"
[init] child "timer"
[init]   RAM quota:  776K
[init]   cap quota:  66
[init]   ELF binary: timer
[init]   priority:   0
[init]   provides service Timer
[init] child "rtc_drv"
[init]   RAM quota:  776K
[init]   cap quota:  66
[init]   ELF binary: rtc_drv
[init]   priority:   1
[init]   provides service Rtc
[init] child "ps2_drv"
[init]   RAM quota:  2824K
[init]   cap quota:  66
[init]   ELF binary: ps2_drv
[init]   priority:   1
[init]   provides service Input
[init] child "acpi_drv"
[init]   RAM quota:  3848K
[init]   cap quota:  316
[init]   ELF binary: acpi_drv
[init]   priority:   1
[init] child "acpi_report_rom"
[init]   RAM quota:  1800K
[init]   cap quota:  66
[init]   ELF binary: report_rom
[init]   priority:   1
[init]   provides service ROM
[init]   provides service Report
[init] child "platform_drv"
[init]   RAM quota:  3848K
[init]   cap quota:  766
[init]   ELF binary: platform_drv
[init]   priority:   1
[init]   provides service Platform
[init]   provides service Acpi
[init] child "nic_drv"
[init]   RAM quota:  7944K
[init]   cap quota:  66
[init]   ELF binary: ipxe_nic_drv
[init]   priority:   2
[init]   provides service Nic
[init] child "fb_drv"
[init]   RAM quota:  16136K
[init]   cap quota:  96
[init]   ELF binary: vesa_fb_drv
[init]   priority:   1
[init] child "seoul"
[init]   RAM quota:  130824K
[init]   cap quota:  766
[init]   ELF binary: seoul
[init]   priority:   3
[init] child "nitpicker"
[init]   RAM quota:  7944K
[init]   cap quota:  86
[init]   ELF binary: nitpicker
[init]   priority:   1
[init]   provides service Gui
[init]   provides service Capture
[init] child "pointer"
[init]   RAM quota:  1800K
[init]   cap quota:  66
[init]   ELF binary: pointer
[init]   priority:   0
[init] child "report_rom"
[init]   RAM quota:  776K
[init]   cap quota:  66
[init]   ELF binary: report_rom
[init]   priority:   0
[init]   provides service Report
[init]   provides service ROM
[init] child "timer" announces service "Timer"
[init] child "report_rom" announces service "Report"
[init] child "report_rom" announces service "ROM"
[init] child "nitpicker" announces service "Gui"
[init] child "nitpicker" announces service "Capture"
[init] child "acpi_report_rom" announces service "Report"
[init] child "acpi_report_rom" announces service "ROM"
[init -> acpi_drv] Found MADT
[init -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0
[init -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 13
[init -> acpi_drv] Found MCFG
[init -> acpi_drv] MCFG BASE 0xf8000000 seg 0x0 bus 0x0-0x3f
[init -> acpi_drv] Found DMAR
[init -> acpi_drv] 36 bit DMA physical addressable , IRQ remapping supported
[init -> acpi_drv] DMA remapping structure type=0
[init -> acpi_drv] DMA remapping structure type=0
[init -> acpi_drv] DMA remapping structure type=1
[init -> acpi_drv] DMA remapping structure type=1
[init -> acpi_drv] XSDT OEM 'LENOVO', table id 'TP-G2   ', revision 9840, creator 'PTL ' (2)
[init -> acpi_drv] SMBIOS table (entry point: 0x1a00e0 structures: 0xdae9c000)
[init -> platform_drv] ECAM/MMCONF range 00:00.0-3f:1f.7 - addr [00000000f8000000,00000000fc000000)
[init -> platform_drv] Root bridge: 00:00.0
[init -> platform_drv] 00:1c.0 - bridge 02:00.0
[init -> platform_drv] 00:1c.1 - bridge 03:00.0
[init -> platform_drv] 00:1c.2 - bridge 04:00.0
[init] child "platform_drv" announces service "Platform"
[init -> fb_drv] Found PCI VGA at 00:02.0
[init -> fb_drv] fb mapped to 0x5000
[init -> fb_drv] Found: VESA BIOS version 3.0
[init -> fb_drv] OEM: Intel(R) Sandybridge/Ivybridge Graphics Chipset Accelerated VGA BIOS
[init -> fb_drv] Found: physical frame buffer at 0xe0000000 size: 67043328
[init -> fb_drv] fb mapped to 0xc000000
[init -> fb_drv] using VESA mode 1376x768@32
[init] child "rtc_drv" announces service "Rtc"


_______________________________________________
Genode users mailing list
[email protected]
https://lists.genode.org/listinfo/users

Reply via email to