Should these be of type `SystemBus`?