Lines Matching refs:drivers
68 \section{Boot drivers}
70 Barrelfish uses \textit{boot drivers}, which is a piece of code running on a
72 functionality to boot, suspend, resume, and power-down the latter. Boot drivers
73 run as processes, but closely resemble device drivers and could equally run as
77 drivers and kernels for them. The code for the Barrelfish boot driver can be
78 found in \texttt{usr/drivers/cpuboot/}. From the source folder, a binary called
85 Is the binary that runs on a core and executes in privileged mode. CPU drivers
87 and they share no state or synchronization. CPU drivers are typically
91 a more detailed explanation of CPU drivers and the provided functionality.
93 The code for the Barrelfish CPU drivers can be found in \texttt{kernel/}.
98 by kernel-space. However, a program, especially boot drivers, can create and
288 timers and scheduling state, check for registered interrupts and up-call drivers