13 lines
404 B
INI
13 lines
404 B
INI
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 |