Lines Matching defs:Barrelfish
10 \title{Barrelfish OS Services} % title of report
11 \author{Team Barrelfish} % author
13 \tnkey{Barrelfish Services} % Short title, will appear in footer
40 \chapter{Barrelfish OS Services}\label{chap:services}
44 Barrelfish is a multi-server OS, which means that any OS based on
45 Barrelfish will consist of a collection of mutually dependent
49 In Barrelfish, a service can be implemented as a single-dispatcher
54 building blocks of a Barrelfish OS. After introducing the services,
247 conventional process abstraction based on the Barrelfish primitives,
357 memory (by manipulating Barrelfish vnodes and memory caps). It
380 services that provide key Barrelfish functionality, and services that
383 \subsection{Fundamental Barrelfish Services}
436 %% \subsection{Fundamental Barrelfish Services}
506 Barrelfish dispatchers (e.g., network stack relies on binding
568 All services have a Barrelfish-specific dependency on the binding
569 service, since, if they are implemented as Barrelfish dispatchers,
674 management in Barrelfish, so has a dependency on the capabiity
684 All services have a Barrelfish-specific dependency on the name
685 service, since, if they are implemented as Barrelfish dispatchers
719 In Barrelfish the principals service will make use of capabilities to
972 %% \caption{High level overview of the Barrelfish OS architecture}\label{fig:os-arch}