myos.title=Barrelfish
myos.desc=OS Awareness for Barrelfish
myos.help=Displays information about Barrelfish.

dispatchers.title=Dispatchers
dispatchers.desc=All dispatchers currently in the run queue

dispatchers.dcb.title=DCB Address
dispatchers.name.title=Name
dispatchers.disabled.title=Disabled
dispatchers.domain.title=Domain
dispatchers.udisp.title=User shared structure
dispatchers.core.title=Core