Home
last modified time | relevance | path

Searched refs:view (Results 1 – 7 of 7) sorted by relevance

/seL4-master/manual/parts/
A Dintro.tex34 This manual describes the seL4 kernel's API from a user's point of view. The
A Dio.tex116 remapped from the device's point of view. It acts as an MMU for the
/seL4-master/src/drivers/timer/
A Dconfig.cmake107 … register of a VCPU when restoring it so that its view of Virtual time hasn't increased while it \
/seL4-master/manual/
A DMakefile216 view: pdf target
A DDoxyfile408 # the optimal cache size from a speed point of view.
1291 # the table of contents of the HTML help documentation and to the tree view.
/seL4-master/LICENSES/
A DGPL-2.0-or-later.txt105 these conditions, and telling the user how to view a copy of this License.
A DGPL-2.0-only.txt105 these conditions, and telling the user how to view a copy of this License.

Completed in 9 milliseconds