#TODO: fix this
l4linux => new System_bus()
{
    sys => wrap(hw-root.sys);
    i2c1 => wrap(hw-root.i2c1);
    prcm2 => wrap(hw-root.prcm2);
    usb =>  wrap(hw-root.usb);
    plat =>  wrap(hw-root.plat);
} 

fs_bus => new System_bus()
{
  prcm3 => wrap(hw-root.prcm3);
}

gui => new System_bus()
{
  tsc => wrap(hw-root.tsc);
  gpio => wrap(hw-root.gpio);
  prcm2 => wrap(hw-root.prcm2);
  mcspi => wrap(hw-root.mcspi);
}

fbdrv => new System_bus()
{
  sys => wrap(hw-root.sys);
  lcd => wrap(hw-root.lcd);
  i2c1 => wrap(hw-root.i2c1);
  gpio => wrap(hw-root.gpio);
#  mcspi => wrap(hw-root.mcspi);
}