Barrelfish port / SCC port of Barrelfish / port of Barrelfish / /
IndustryTerm
memory allocation server / dite image generation tool / sccKit tools / address space operating systems / dite tool / on-line core / system software / stub-generation tool / classical operating systems / x86 systems / done using the dite image generation tool / /
NaturalFeature
Rocky Lake / /
OperatingSystem
Linux / /
Organization
Intel Braunschweig Lab / Systems Group Department of Computer Science ETH Zurich CAB F.79 / Barrelfish TN-005 Chapter / /