Lines Matching refs:new
76 device and hot-plug management infrastructure to handle new cores and select
104 Usually, a KCB is created for each core we start and passed to the new core on
128 \item boot \textless target coreid\textgreater: Boots a new core with a KCB.
150 \item -n, --newkcb: Create a new KCB even if there is already one for that core.
157 Starts a CPU driver on a core. If the new core that has never been started
162 \item The new core is detected by some platform-specific mechanism (e.g., ACPI)
186 \item Barrelfish selects and starts an appropriate boot driver for the new core.
190 \item The boot driver selects a kernel binary and arguments for the new core,
198 protocol to start the new core. This is done by using the file system to load
200 operations (starting a core, sending an IPI etc.). In this process, also a new
203 \item The new kernel initializes and uses existing Barrelfish protocols for
205 program (the monitor) on the new core. The default choice
206 for the first user-space program loaded on the new core can be overridden
216 \item The SKB is updated with information about the new core: The core is marked
234 for the KCB will be retrieved from the SKB and passed to the new core. This
346 \section{Booting a new core}
356 \section{Booting a new core}
365 \section{Booting a new core}