| /seL4-master/tools/python-deps/ |
| A D | README.rst | 10 An empty package depending on all the python packages required to build the seL4
|
| /seL4-master/ |
| A D | CMakeLists.txt | 189 # Add all the common flags to the linker args
244 # Target for the config / autoconf headers. This is what all the other generated headers
255 # Target for all generated headers. We start with just all the config / autoconf headers
267 # Kernel compiles all C sources as a single C file, this provides
346 # Add the xml headers to all the kernel headers
362 # headers are. This means our preprocessed file will contain all the code used by the
506 # for *all* targets in this file (including ones we defined earlier) and the prune generation
602 # Add a default target that builds kernel.elf and generates all libsel4 headers
608 # Install all libsel4 headers to libsel4/include
|
| A D | gdb-macros | 59 Print TCBs of all runnable threads
197 …Display all TCBs in an endpoint's queue. arg0: pointer to an endpoint data structure in kernel mem…
443 … printf "warning: terminating because node is not a CNode, not because all bits were resolved\n"
585 "Prints all of the entries in the vtd root table. There is one entry for each PCI bus"
625 …"Prints all of the fields in a vtd context table. There is one entry for each (dev, fn) in the bus…
663 "Prints all of the fields in a vtd page table. arg0: a pointer to the page table"
|
| /seL4-master/LICENSES/ |
| A D | GPL-2.0-or-later.txt | 17 software is free for all its users. This General Public License applies to
36 for a fee, you must give the recipients all the rights that you have. You
54 free use or not licensed at all.
80 keep intact all the notices that refer to this License and to the absence
89 or work under the terms of Section 1 above, provided that you also meet all
97 licensed as a whole at no charge to all third parties under the terms of this
150 modifications to it. For an executable work, complete source code means all
151 the source code for all modules it contains, plus any associated interface
193 a consequence you may not distribute the Program at all. For example, if a
195 by all those who receive copies directly or indirectly through you, then the
[all …]
|
| A D | GPL-2.0-only.txt | 17 software is free for all its users. This General Public License applies to
36 for a fee, you must give the recipients all the rights that you have. You
54 free use or not licensed at all.
80 keep intact all the notices that refer to this License and to the absence
89 or work under the terms of Section 1 above, provided that you also meet all
97 licensed as a whole at no charge to all third parties under the terms of this
150 modifications to it. For an executable work, complete source code means all
151 the source code for all modules it contains, plus any associated interface
193 a consequence you may not distribute the Program at all. For example, if a
195 by all those who receive copies directly or indirectly through you, then the
[all …]
|
| A D | CC-BY-SA-4.0.txt | 8 disclaims all liability for damages resulting from their use to the fullest
24 they choose before applying it. Licensors should also secure all rights necessary
38 licensor may make special requests, such as asking that all changes be marked
97 conditions of this Public License, which are limited to all Copyright and
139 You to exercise the Licensed Rights in all media and formats whether now known
183 licensing scheme. In all other cases the Licensor expressly reserves any right
244 reuse, reproduce, and Share all or a substantial portion of the contents of
247 b. if You include all or a substantial portion of the database contents in
252 c. You must comply with the conditions in Section 3(a) if You Share all or
281 approximates an absolute disclaimer and waiver of all liability.
|
| A D | MIT.txt | 11 paragraph) shall be included in all copies or substantial portions of the
|
| A D | LPPL-1.3c.txt | 145 distributed to all recipients of the Compiled Work, and as long as the conditions
175 compliance by all parties with all applicable laws.
186 defective, you assume the cost of all necessary servicing, repair, or correction.
333 % and version 1.3 or later is part of all distributions of LaTeX
381 The LPPL requires that distributions of the Work contain all the files of
384 achieved by explicitly listing all the files of the Work near the copyright
387 % This work consists of all files listed in manifest.txt.
|
| A D | Apache-2.0.txt | 22 "Legal Entity" shall mean the union of the acting entity and all other entities
114 all copyright, patent, trademark, and attribution notices from the Source
166 work stoppage, computer failure or malfunction, or any and all other commercial
|
| /seL4-master/src/plat/hikey/ |
| A D | overlay-hikey.dts | 29 * before the switch to DTS. If we try and use all of RAM, in 32-bit mode the ELF loader
|
| /seL4-master/configs/ |
| A D | seL4Config.cmake | 19 # Create and set all of the Kernel config options that can be derived from the
75 # Additionally, the kernel_platforms variable can be used as a record of all
128 # For all of the common variables we set a default value here if they haven't
181 # Now enshrine all the common variables in the config
|
| /seL4-master/tools/dts/ |
| A D | spike.dts | 7 * Linux kernel. The licenses of all input files to this process
|
| A D | ariane.dts | 143 xlnx,all-inputs = <0x0>;
144 xlnx,all-inputs-2 = <0x0>;
|
| A D | spike32.dts | 7 * Linux kernel. The licenses of all input files to this process
|
| /seL4-master/src/arch/x86/ |
| A D | config.cmake | 59 "Select the mode local APIC will use. Not all machines support X2APIC mode."
66 "Use logical IDs to broadcast IPI between cores. Not all machines support logical \
113 "Add support for 1GB huge page. Not all recent processor models support this feature."
120 "Add support for PCIDs (aka hardware ASIDs). Not all processor models support this feature."
172 support. The CPU must support all bits in this feature mask. Current known bits are \
267 Image and Micro-state window instead of having all kernel state in the kernel window.
|
| /seL4-master/src/arch/arm/ |
| A D | common_arm.lds | 45 /* Hopefully all that fits into 4K! */
|
| /seL4-master/src/plat/exynos5/ |
| A D | overlay-exynos5422.dts | 12 * the gpg2-1 GPIO. By default all Exynos5422 based boards choose booting
|
| /seL4-master/manual/parts/ |
| 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 capabilities to objects previously allocated in
433 the \obj{CNode} objects deletes all capabilities derived from the argument
437 necessarily zero all memory state associated with the object yet. Memory zeroing
439 part of the first retype operation after all child capabilities have been
444 for that region, thereby removing all children of that capability. After this
[all …]
|
| 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
|
| 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,
191 capabilities. Not all capabilities support derivation. In general,
256 all that happens. If, however, it was the last typed capability to an
258 all remaining in-kernel references and preparing the memory for
286 \apifunc{seL4\_CNode\_Delete}{cnode_delete} all CDT children of the
363 all levels, various guard and radix sizes and internal CNode
|
| 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 necessarily schedulable. If
126 property that $\frac{b}{p}$ cannot be exceeded for all possible $p$.
214 and can be conducted online or offline, statically or dynamically or not at all.
261 Scheduling contexts can be unbound from all objects (notification objects and TCBs that are bound or
322 should be trusted not to fault at all.
464 registers available, of all types available on the hardware platform. On the Arm
526 However, not all hardware platforms require an actual hardware breakpoint
567 Timeout faults are raised when a thread consumes all of its budget and has a
604 \caption{\label{tbl:vm_fault_result_arm} VM Fault outcome on all architectures.}
|
| /seL4-master/src/arch/riscv/ |
| A D | platform_gen.h.in | 16 * seL4 assigns all IRQs global interrupt numbers that are used in interrupt
|
| /seL4-master/manual/ |
| A D | Doxyfile | 26 # This tag specifies the encoding used for all characters in the config file
87 # The OUTPUT_LANGUAGE tag is used to specify the language in which all
89 # information to generate all constant output in the proper language.
347 # all members of a group must be documented explicitly.
470 # If the HIDE_UNDOC_MEMBERS tag is set to YES, doxygen will hide all
834 # exclude all test directories for example use the pattern */test/*
845 # exclude all test directories use the pattern */test/*
958 # function all documented functions referencing it will be listed.
1035 # In case all classes in a project start with a common prefix, all classes will
1871 # captures the structure of the code including all documentation.
[all …]
|
| A D | Makefile | 18 .PHONY: all
93 all: pdf target
|
| /seL4-master/tools/ |
| A D | helpers.cmake | 419 # condition may be repeated as many times and all conditions must be true for this choice
455 # Construct a list of all of our options
529 …# Save all possible options to an internal value. This is to allow enumerating the options elsewh…
538 # This list can be used if someone wants all the configurations
598 # Set our GENERATED_FILES property to include the GENERATED_FILES of all of our input
607 # Macro that allows for appending to a specified list only if all the supplied conditions are true
|