Searched refs:system (Results 26 - 36 of 36) sorted by relevance

12

/seL4-refos-master/kernel/manual/parts/
H A Dthreads.tex84 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 Dcspace.tex25 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 Dvspace.tex248 number of applications the system can support. In order to manage
/seL4-refos-master/projects/refos/design/
H A Dprotocol.tex76 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 DMakefile42 # 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 DMakefile42 # 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 DMakefile.src42 # 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 DMakefile.src42 # 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 Dconfigure28 --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 DGuidebook.tex1678 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 DGuidebook.tex1678 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