runtime | ram: 2514M | caps: 1450 | binary: init

+ requires
  + fs  vdi    | writeable: yes
  + fs  shared | writeable: yes
  + nic
  + rom platform_info
  + gui
  + rtc
  + vm
  + usb
  + rm
  + timer
  + report shape
  + play

+ content
  + rom init
  + rom vfs.lib.so
  + rom vfs_import.lib.so
  + rom ld.lib.so
  + rom vdi_block
  + rom tc-wayland.vdi
  + rom seoul

+ config | verbose: no
  + parent-provides
    + service ROM
    + service PD
    + service CPU
    + service LOG
    + service VM
    + service RM
    + service Gui
    + service Rtc
    + service Nic
    + service Timer
    + service Report
    + service File_system
    + service Usb
    + service Play
    + service File_system

  + start vdi_block | caps: 100 | ram: 8M
    + provides | + service Block
    + config | file: /tc-wayland.vdi | writeable: yes
    | + vfs
    |   + fs | label: vdi | buffer_size: 2M
    |   + import | overwrite: no
    |     + rom tc-wayland.vdi | binary: yes
    + route
      + service File_system | label: vdi
      | + parent | identity: vdi | resource: /
      + any-service
        + parent

  + start seoul | ram: 16G | caps: 5000
    + binary seoul
    + route
      + service Block  | label: disk0         | + child vdi_block
      + service ROM    | label: platform_info | + parent | label: platform_info
      + service Report | label: shape         | + parent | label: shape
      + service Gui    | label: fb1.0         | + parent | label: fb1.0
      + service File_system                   | + parent | identity: shared | resource: /
      + any-service                           | + parent

    + config | vmm_memory: 80M | width: 1280 | height: 1024 | cpuid_native: yes
      + kernel foc  | vmm_vcpu_same_cpu: yes | cpuid_native: no
      + kernel sel4 | vmm_vcpu_same_cpu: yes | cpuid_native: no | map_small: yes
      + machine
        + mem | start: 0x0         | end:  0x9a000
        + mio | start: 0x0e0000    | size: 0x10000 | readonly: 1
        + mem | start: 0x100000    | end:  0x00c0000000 | . [1M- 3G)
        + mem | start: 0x100000000 | end:  0x1100000000 | . [4G-68G)
        x ioio
        + nullio   | io_base:    0x80
        + pic      | io_base:    0x20 | elcr_base: 0x4d0
        + pic      | io_base:    0xa0 | irq: 2 | elcr_base: 0x4d1
        + pit      | io_base:    0x40 | irq: 0
        + scp      | io_port_a:  0x92
                   | io_port_b:  0x61
        + kbc      | io_base:    0x60 | irq_kbd: 1 | irq_aux: 12
        + keyb     | ps2_port:      0 | host_keyboard: 0x10000
        + mouse    | ps2_port:      1 | host_mouse: 0x10001
        + rtc      | io_base:    0x70 | irq: 8
        + serial   | io_base:   0x3f8 | irq: 4 | host_serial: 0x4711
        + hostsink | host_dev: 0x4712 | buffer: 80
        + vga      | io_base: 0x03c0

        + acpimodel

        + vbios_disk     | boot_disknr: 0 | disk_count: 1
        + vbios_keyboard | host_keyboard: 0x10000
        + vbios_mem
        + vbios_time
        + vbios_reset

        + msi
        + ioapic
        + pcihostbridge | bus_num: 0 | bus_count: 0x10 | io_base: 0xcf8 | mem_base: 0xe0000000
        + pmtimer       | io_port: 0x8000

        + vcpu
        + halifax
        + vbios
        + lapic

        + vcpu
        + halifax
        + vbios
        + lapic

        + ahci  | mem: 0xe0800000

        + drive | sigma0drive: 0 | controller: 0 | port: 0

        + intel82576vf | mem_mmio: 0xe0100000
                       | mem_msix: 0xe0120000

        + xhci         |      mem: 0xe0700000

        + virtio_input |      mem: 0xe0200000
        + virtio_gpu   |      mem: 0xe0400000
        + virtio_sound |      mem: 0xe0600000 | msix: 0
        + virtio_fs    |      mem: 0xe0300000 | tag: shared
-
