/seL4-refos-master/projects/refos/impl/docs/ |
H A D | Makefile | 13 all: 23 @echo 'make all - Make RefOS docs.' 25 @echo 'make clean - Clean all RefOS docs.'
|
/seL4-refos-master/docs/ |
H A D | Makefile | 13 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 D | Makefile | 13 all: safety
|
/seL4-refos-master/projects/seL4_libs/libsel4sync/spin/notification-semaphore/ |
H A D | Makefile | 13 all: safety liveness
|
/seL4-refos-master/projects/seL4_libs/libsel4sync/spin/sem/ |
H A D | Makefile | 13 all: safety liveness
|
/seL4-refos-master/projects/refos/design/ |
H A D | Makefile | 21 .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 D | Makefile | 13 all: safety liveness
|
/seL4-refos-master/libs/libmuslc/ |
H A D | Makefile | 18 all: build_muslc
|
H A D | Makefile.muslc | 81 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 D | Makefile | 21 all: generate-rpc refos
|
/seL4-refos-master/ |
H A D | Makefile | 21 all: generate-rpc refos
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/ |
H A D | Guidebook.tex | 56 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 D | Guidebook.tex | 56 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 D | objects.tex | 55 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 D | cspace.tex | 41 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 D | io.tex | 390 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 D | vspace.tex | 35 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 D | threads.tex | 114 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 D | Makefile | 18 .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 D | Makefile.dat | 10 all: $(VARDAT) spec_levs quest_levs dungeon
|
H A D | Makefile.top | 90 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 D | Makefile.dat | 10 all: $(VARDAT) spec_levs quest_levs dungeon
|
H A D | Makefile.top | 90 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 D | Makefile | 90 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 D | Makefile | 10 all: $(VARDAT) spec_levs quest_levs dungeon
|