runtime | ram: 2450M | caps: 1350 | binary: init

+ requires
  + nic
  + block
  + rom | label: platform_info
  + gui
  + rtc
  + vm
  + usb
  + rm
  + timer
  + report | label: shape
  + file_system | writeable: yes | label: log

+ content
  + rom | label: vm_seoul_usb.cfg
  + rom | label: init
  + rom | label: seoul
  + rom | label: file_terminal
  + rom | label: libc.lib.so
  + rom | label: vfs.lib.so
  + rom | label: terminal_log

+ 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 Block
  | + service Report
  | + service File_system
  | + service Usb
  + start file_terminal | ram: 3M | caps: 100
  | + binary file_terminal
  | + provides
  | | + service Terminal
  | + config
  | | + default-policy | filename: log
  | | + vfs
  | | | + dir dev
  | | | | + log
  | | | + fs
  | | + libc | stdout: /dev/log
  | + route
  |   + service File_system
  |   | + parent | identity: log | resource: /
  |   + any-service
  |     + parent
  + start terminal_log | ram: 1M | caps: 100
  | + provides
  | | + service LOG
  | + config
  | + route
  |   + service Terminal
  |   | + child file_terminal
  |   + any-service
  |     + parent
  + start seoul | ram: 16G | caps: 10000
    + binary seoul
    + route
      + service ROM    | label: platform_info | + parent | label: platform_info
      + service ROM    | label: config        | + parent | label: vm_seoul_usb.cfg
      + service Report | label: shape         | + parent | label: shape
      + service Gui    | label: fb1.0         | + parent | label: fb1.0
      + service LOG                           | + child terminal_log
      + any-service                           | + parent
-
