Lines Matching refs:In
103 In a heterogeneous Barrelfish system, CPU drivers will be different
219 \texttt{newlib}~\cite{newlib}), and \texttt{libbarrelfish}. In
258 it passes capability references). In processing a system call the
389 the remote endpoint it will try to connect to. In the common case,
395 In turn, an interface reference is created by a server creating a
401 optimized for a particular hardware scenario. In general, the binding
437 In addition, stubs can also handle other areas of complexity resulting
446 In this way, transfer of pure data over message transports can be
543 In newer versions of Barrelfish, the same framework is also used for
544 booting (and suspending or shutting down) cores. In addition to an
751 In addition, there will be a directory for each architecture for which