Searched refs:all (Results 1 - 25 of 37) sorted by relevance

12

/seL4-refos-master/projects/refos/impl/docs/
H A DMakefile13 all:
23 @echo 'make all - Make RefOS docs.'
25 @echo 'make clean - Clean all RefOS docs.'
/seL4-refos-master/docs/
H A DMakefile13 all:
23 @echo 'make all - Make RefOS docs.'
25 @echo 'make clean - Clean all RefOS docs.'
/seL4-refos-master/projects/seL4_libs/libsel4sync/spin/binary-sem/
H A DMakefile13 all: safety
/seL4-refos-master/projects/seL4_libs/libsel4sync/spin/notification-semaphore/
H A DMakefile13 all: safety liveness
/seL4-refos-master/projects/seL4_libs/libsel4sync/spin/sem/
H A DMakefile13 all: safety liveness
/seL4-refos-master/projects/refos/design/
H A DMakefile21 .PHONY: all
75 all: pdf
133 @echo "Main targets: all view print clean realclean tar"
/seL4-refos-master/projects/seL4_libs/libsel4sync/spin/condition-vars/
H A DMakefile13 all: safety liveness
/seL4-refos-master/libs/libmuslc/
H A DMakefile18 all: build_muslc
H A DMakefile.muslc81 all:
87 all: $(ALL_LIBS) $(ALL_TOOLS)
242 .PHONY: all clean install install-libs install-headers install-tools
/seL4-refos-master/projects/refos/impl/
H A DMakefile21 all: generate-rpc refos
/seL4-refos-master/
H A DMakefile21 all: generate-rpc refos
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex56 fact been having those dreams all your life, and somehow managed to
66 After all, when other adventurers came back this way after spending time
68 through the first time. And who was to say that all of those who did
226 (including other orcs). Above all others, Orcs hate Elves with a passion
232 \section{What do all those things on the screen mean?}
244 explain the results in words, {\it NetHack\/} commands are all one or two
270 colors in the Guidebook, and because it is common to all ports, we will
307 becomes longer than the width of the screen, you might not see all of
309 (though your configuration may not have all the status items listed
518 You need not memorize all thes
[all...]
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex56 fact been having those dreams all your life, and somehow managed to
66 After all, when other adventurers came back this way after spending time
68 through the first time. And who was to say that all of those who did
226 (including other orcs). Above all others, Orcs hate Elves with a passion
232 \section{What do all those things on the screen mean?}
244 explain the results in words, {\it NetHack\/} commands are all one or two
270 colors in the Guidebook, and because it is common to all ports, we will
307 becomes longer than the width of the screen, you might not see all of
309 (though your configuration may not have all the status items listed
518 You need not memorize all thes
[all...]
/seL4-refos-master/kernel/manual/parts/
H A Dobjects.tex55 Access control governs all kernel services; in order to perform an
337 delegation of part (or all) of the system's memory. We discuss
349 order to create new objects, and all objects consume a fixed amount of memory once
364 The kernel then hands all remaining memory to
374 all or part of the authority it possesses over this object to one or
428 increase the watermark. If all objects previously allocated in the
433 destroys all capabilities derived from the argument capability. Revoking
439 object, the user removes all of the untyped memory object's
440 children---that is, all capabilities pointing to objects in the untyped
458 For all othe
[all...]
H A Dcspace.tex41 removes all capabilities (in all CSpaces) that were derived from a
47 seL4 requires the programmer to manage all in-kernel data structures,
188 capabilities. Not all capabilities support derivation. In general,
253 all that happens. If, however, it was the last typed capability to an
255 all remaining in-kernel references and preparing the memory for
283 \apifunc{seL4\_CNode\_Delete}{cnode_delete} all CDT children of the
360 all levels, various guard and radix sizes and internal CNode
H A Dio.tex390 The kernel is expected to perform all required SMMU TLB maintenance operations
395 invalidates all TLB entries in all
398 invalidates all TLB entries in a context bank.
403 a VSpace between threads and drivers also means sharing all mappings in that
416 \item Second, all TLB invalidation operation requires knowledge of the ASID. There are
419 invalidating all mappings of an ASID (triggered by deleting a VSpace).
420 \item Third, the kernel can easily find a context banks' ASID on all occasions, which is
H A Dvspace.tex35 a mapping operation will fail. Developers need to manually create and map all paging structures.
51 directory can conduct cache operations on all frames mapped from that capability without access
117 RISC-V provides the same paging structure for all levels, \texttt{PageTable}. The VSpace is then
H A Dthreads.tex114 of all runnable threads to be guaranteed to be scheduled at all, and the kernel does not conduct
115 an admission test. As a result the set of all parameters is not neccesserily schedulable. If
126 property that $\frac{b}{p}$ cannot be exceeded for all possible $p$.
207 and can be conducted online or offline, statically or dynamically or not at all.
251 Scheduling contexts can be unbound from all objects (notification objects and TCBs that are bound or
312 should be trusted not to fault at all.
454 registers available, of all types available on the hardware platform. On the ARM
516 However, not all hardware platforms require an actual hardware breakpoint
557 Timeout faults are raised when a thread consumes all o
[all...]
/seL4-refos-master/kernel/manual/
H A DMakefile18 .PHONY: all
93 all: pdf
243 @echo "Main targets: all diff view viewdiff print clean tar"
272 # combine citation commands from all targets into tmp.aux, generate references.bib from this
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/unix/
H A DMakefile.dat10 all: $(VARDAT) spec_levs quest_levs dungeon
H A DMakefile.top90 all: $(GAME) recover Guidebook $(VARDAT) dungeon spec_levs check-dlb
235 # not all mkdirs have -p; those that don't will create a -p directory
254 # 'make clean' removes all the .o files, but leaves around all the executables
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/unix/
H A DMakefile.dat10 all: $(VARDAT) spec_levs quest_levs dungeon
H A DMakefile.top90 all: $(GAME) recover Guidebook $(VARDAT) dungeon spec_levs check-dlb
235 # not all mkdirs have -p; those that don't will create a -p directory
254 # 'make clean' removes all the .o files, but leaves around all the executables
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/
H A DMakefile90 all: $(GAME) recover Guidebook $(VARDAT) dungeon spec_levs check-dlb
235 # not all mkdirs have -p; those that don't will create a -p directory
254 # 'make clean' removes all the .o files, but leaves around all the executables
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/dat/
H A DMakefile10 all: $(VARDAT) spec_levs quest_levs dungeon

Completed in 85 milliseconds

12