Searched refs:system (Results 26 - 36 of 36) sorted by relevance
12
/seL4-refos-master/kernel/manual/parts/ |
H A D | threads.tex | 84 The initial task starts with an MCP and priority as the highest priority in the system (\texttt{seL4\_MaxPrio}). 175 system call \apifunc{seL4\_Yield}{sel4_yield} can be used to sacrifice any remaining budget and 214 between threads over IPC. Scheduling contexts are donated implicitly when the system calls 236 scheduling context will be donated to that passive thread and the thread making the system call becomes passive on the 272 the highest priority thread will always run, however it is up to the system 273 designer to make sure the entire system is schedulable. 344 values to ensure that they cannot be maliciously set to values that would compromise the running system, or to respect 369 \apifunc{seL4\_Call}{sel4_call} or \apifunc{seL4\_Send}{sel4_send} system call 389 In receive phase (1 if the fault happened during a receive system call, 0 401 This fault occurs when a thread executes a system cal [all...] |
H A D | cspace.tex | 25 making system calls) using the address of the slot that holds the 248 objects in the system where the deletion or revocation results in the 310 When performing a system call, a thread specifies to the kernel the
|
H A D | vspace.tex | 248 number of applications the system can support. In order to manage
|
/seL4-refos-master/projects/refos/design/ |
H A D | protocol.tex | 76 Note that the (optional) argument principle\_id is intended to be used for authentication assuming an ACL-like security model in the file system. 109 \autoref{f:opendata} shows mapping an open dataspace into a given memory window. The initialisation sets up the components for sample fault delegation in the system. Note that the process server is acting as the memory manager. The paging could instead be implemented through a separate memory manager process. 421 A process control block data structure should bookkeep its address space (capability space and virtual memory space), its threads and the clients it is watching. \refOS also contains parameter buffers, notification ring buffers, the process operating system capabilities bitmask, the parent process's ID, the debug name and a number of other bookkeeping parameters.
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | Makefile | 42 # system. 172 # files for a straight tty port using no native windowing system 260 # any other strange libraries your system needs (for Sysunix only -- the more 291 # if you defined RANDOM in unixconf.h/tosconf.h since your system did not come 305 # {unixconf.h, pcconf.h, tosconf.h}, and possibly system.h 314 # windowing-system specific 331 # all operating-system-dependent .c (for dependencies and such) 340 # all windowing-system-dependent .c (for dependencies and such) 342 # all windowing-system-dependent .cpp (for dependencies and such) 362 sp_lev.h spell.h system [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | Makefile | 42 # system. 172 # files for a straight tty port using no native windowing system 260 # any other strange libraries your system needs (for Sysunix only -- the more 291 # if you defined RANDOM in unixconf.h/tosconf.h since your system did not come 305 # {unixconf.h, pcconf.h, tosconf.h}, and possibly system.h 314 # windowing-system specific 331 # all operating-system-dependent .c (for dependencies and such) 340 # all windowing-system-dependent .c (for dependencies and such) 342 # all windowing-system-dependent .cpp (for dependencies and such) 362 sp_lev.h spell.h system [all...] |
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/sys/unix/ |
H A D | Makefile.src | 42 # system. 172 # files for a straight tty port using no native windowing system 260 # any other strange libraries your system needs (for Sysunix only -- the more 291 # if you defined RANDOM in unixconf.h/tosconf.h since your system did not come 305 # {unixconf.h, pcconf.h, tosconf.h}, and possibly system.h 314 # windowing-system specific 331 # all operating-system-dependent .c (for dependencies and such) 340 # all windowing-system-dependent .c (for dependencies and such) 342 # all windowing-system-dependent .cpp (for dependencies and such) 362 sp_lev.h spell.h system [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/sys/unix/ |
H A D | Makefile.src | 42 # system. 172 # files for a straight tty port using no native windowing system 260 # any other strange libraries your system needs (for Sysunix only -- the more 291 # if you defined RANDOM in unixconf.h/tosconf.h since your system did not come 305 # {unixconf.h, pcconf.h, tosconf.h}, and possibly system.h 314 # windowing-system specific 331 # all operating-system-dependent .c (for dependencies and such) 340 # all windowing-system-dependent .c (for dependencies and such) 342 # all windowing-system-dependent .cpp (for dependencies and such) 362 sp_lev.h spell.h system [all...] |
/seL4-refos-master/libs/libmuslc/ |
H A D | configure | 28 --build=BUILD build system type; used only to infer cross-compiling 305 printf "checking target system type... "
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/ |
H A D | Guidebook.tex | 1678 mail delivery is triggered by electronic mail appearing in your system mailbox, 2491 makes sense for windowing system interfaces that implement this feature. 2640 Select which windowing system to use, such as ``{\tt tty}'' or ``{\tt X11}'' 2829 May be used to alter the value of keystrokes that the operating system 3234 casting system with the Wizard Patch.
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/ |
H A D | Guidebook.tex | 1678 mail delivery is triggered by electronic mail appearing in your system mailbox, 2491 makes sense for windowing system interfaces that implement this feature. 2640 Select which windowing system to use, such as ``{\tt tty}'' or ``{\tt X11}'' 2829 May be used to alter the value of keystrokes that the operating system 3234 casting system with the Wizard Patch.
|
Completed in 109 milliseconds
12