Ugly Alpha 1
sel4-sys:0.0.28

total uncompressed bytes

4.3 MB

total files

921

Fix

NewInclude { include: [ "LICENSE-*", "README.md", "**/*.rs", "seL4/include/api/*", "seL4/libsel4/include/interfaces/sel4.xml", "seL4/libsel4/include/sel4/*", "tools/*", ], has_build_script: true, }

864 wasted files

total waste: 3.9 MB

  1. seL4/OAOA : 140.3 KB
  2. seL4/tools/bitfield_gen.py : 109.4 KB
  3. seL4/libsel4/tools/bitfield_gen.py : 109.4 KB
  4. seL4/manual/Doxyfile : 105.1 KB
  5. seL4/src/arch/arm/32/kernel/vspace.c : 98.3 KB
  6. seL4/src/arch/arm/64/kernel/vspace.c : 72.4 KB
  7. seL4/src/arch/x86/64/kernel/vspace.c : 58.6 KB
  8. seL4/src/arch/x86/object/vcpu.c : 56.5 KB
  9. seL4/manual/figs/fig1-3.svg : 52.4 KB
  10. seL4/manual/figs/CDT.pdf : 52.1 KB
  11. seL4/src/arch/x86/kernel/vspace.c : 49.6 KB
  12. seL4/src/object/tcb.c : 49.5 KB
  13. seL4/manual/figs/fig1-2.svg : 47.0 KB
  14. seL4/manual/figs/fig1-1.svg : 43.7 KB
  15. seL4/src/arch/arm/machine/debug.c : 43.3 KB
  16. seL4/tools/lex.py : 40.7 KB
  17. seL4/manual/manual.aux : 39.9 KB
  18. seL4/manual/figs/fig1-4.svg : 35.5 KB
  19. seL4/libsel4/tools/syscall_stub_gen.py : 35.1 KB
  20. seL4/manual/figs/fig2-1.pdf : 34.6 KB
  21. seL4/manual/manual.log : 34.3 KB
  22. seL4/src/arch/x86/kernel/ept.c : 33.1 KB
  23. seL4/src/arch/arm/object/vcpu.c : 31.6 KB
  24. seL4/src/arch/x86/32/kernel/vspace.c : 30.4 KB
  25. seL4/libsel4/tools/syscall_stub_gen.pyc : 29.1 KB
  26. seL4/src/object/cnode.c : 28.0 KB
  27. seL4/manual/figs/fig2-1.svg : 27.8 KB
  28. seL4/manual/parts/cspace.tex : 25.3 KB
  29. seL4/include/plat/apq8064/plat/machine/hardware.h : 24.8 KB
  30. seL4/include/plat/exynos5/plat/machine/hardware.h : 24.3 KB
  31. seL4/manual/parts/objects.tex : 24.2 KB
  32. seL4/src/arch/x86/64/traps.S : 23.5 KB
  33. seL4/Makefile : 23.1 KB
  34. seL4/gdb-macros : 22.5 KB
  35. seL4/Kconfig : 22.0 KB
  36. seL4/manual/parts/threads.tex : 21.9 KB
  37. seL4/src/arch/x86/machine/breakpoint.c : 20.9 KB
  38. seL4/src/plat/pc99/machine/acpi.c : 20.3 KB
  39. seL4/src/arch/arm/32/object/objecttype.c : 19.5 KB
  40. seL4/src/arch/x86/kernel/boot_sys.c : 19.5 KB
  41. seL4/src/object/objecttype.c : 19.5 KB
  42. seL4/manual/.log : 18.8 KB
  43. seL4/include/arch/x86/arch/64/mode/object/structures.bf : 18.0 KB
  44. seL4/src/kernel/boot.c : 17.9 KB
  45. seL4/src/arch/x86/object/objecttype.c : 17.6 KB
  46. seL4/include/plat/exynos4/plat/machine/hardware.h : 17.5 KB
  47. seL4/src/arch/x86/32/traps.S : 17.2 KB
  48. seL4/src/arch/x86/object/iospace.c : 17.0 KB
  49. seL4/src/plat/pc99/machine/intel-vtd.c : 16.7 KB
  50. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/syscalls.h : 16.6 KB
  51. seL4/manual/manual.toc : 16.4 KB
  52. seL4/LICENSE_GPLv2.txt : 15.9 KB
  53. seL4/src/arch/arm/kernel/boot.c : 15.8 KB
  54. seL4/src/arch/x86/kernel/boot.c : 15.5 KB
  55. seL4/src/arch/arm/machine/l2c_310.c : 15.1 KB
  56. seL4/include/plat/apq8064/plat/machine/devices.h : 15.1 KB
  57. seL4/src/arch/arm/object/iospace.c : 14.9 KB
  58. seL4/include/arch/x86/arch/32/mode/object/structures.bf : 14.8 KB
  59. seL4/manual/figs/fig1-4.pdf : 14.6 KB
  60. seL4/include/arch/x86/arch/machine.h : 14.2 KB
  61. seL4/include/plat/imx6/plat/machine/hardware.h : 14.0 KB
  62. seL4/src/api/syscall.c : 13.5 KB
  63. seL4/manual/figs/fig1-3.pdf : 13.4 KB
  64. seL4/manual/parts/api.tex : 13.1 KB
  65. seL4/src/arch/x86/32/kernel/vspace_32paging.c : 13.0 KB
  66. seL4/libsel4/arch_include/arm/sel4/arch/syscalls.h : 13.0 KB
  67. seL4/src/kernel/thread.c : 12.9 KB
  68. seL4/manual/parts/ipc.tex : 12.9 KB
  69. seL4/src/arch/arm/64/object/objecttype.c : 12.5 KB
  70. seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/syscalls.h : 12.3 KB
  71. seL4/manual/parts/bootup.tex : 12.1 KB
  72. seL4/manual/figs/fig1-1.pdf : 12.0 KB
  73. seL4/src/arch/x86/64/c_traps.c : 11.9 KB
  74. seL4/include/arch/x86/arch/object/vcpu.h : 11.8 KB
  75. seL4/include/arch/arm/arch/32/mode/object/structures.bf : 11.8 KB
  76. seL4/src/fastpath/fastpath.c : 11.8 KB
  77. seL4/include/arch/arm/arch/32/mode/machine.h : 11.6 KB
  78. seL4/include/arch/arm/arch/32/mode/object/structures.h : 11.6 KB
  79. seL4/src/object/untyped.c : 11.6 KB
  80. seL4/manual/figs/fig1-2.pdf : 11.3 KB
  81. seL4/manual/manual.out : 11.0 KB
  82. seL4/include/plat/exynos5/plat/machine/devices.h : 10.9 KB
  83. seL4/src/arch/x86/64/head.S : 10.7 KB
  84. seL4/src/arch/x86/machine/capdl.c : 10.6 KB
  85. seL4/include/plat/tk1/plat/machine/hardware.h : 10.4 KB
  86. seL4/include/plat/imx6/plat/machine/devices.h : 10.4 KB
  87. seL4/include/plat/tx1/plat/machine.h : 10.2 KB
  88. seL4/src/object/endpoint.c : 10.1 KB
  89. seL4/include/plat/omap3/plat/machine/hardware.h : 10.1 KB
  90. seL4/src/plat/tk1/machine/smmu.c : 9.9 KB
  91. seL4/manual/export.bst : 9.7 KB
  92. seL4/include/object/structures.h : 9.7 KB
  93. seL4/src/arch/x86/kernel/ipi.c : 9.6 KB
  94. seL4/src/api/faults.c : 9.4 KB
  95. seL4/manual/parts/io.tex : 9.4 KB
  96. seL4/include/plat/tk1/plat/machine/devices.h : 9.4 KB
  97. seL4/src/plat/pc99/Kconfig : 9.4 KB
  98. seL4/manual/parts/vspace.tex : 9.3 KB
  99. seL4/include/plat/tk1/plat/machine.h : 9.3 KB
  100. seL4/libsel4/arch_include/x86/interfaces/sel4arch.xml : 9.3 KB
  101. seL4/src/arch/arm/32/machine/capdl.c : 9.2 KB
  102. seL4/include/arch/arm/arch/machine/debug.h : 9.2 KB
  103. seL4/manual/references.bib : 8.9 KB
  104. seL4/src/arch/x86/64/object/objecttype.c : 8.8 KB
  105. seL4/include/plat/exynos4/plat/machine/devices.h : 8.4 KB
  106. seL4/src/arch/x86/32/c_traps.c : 8.0 KB
  107. seL4/include/arch/x86/arch/object/structures.h : 8.0 KB
  108. seL4/manual/Makefile : 7.9 KB
  109. seL4/manual/tools/parse_doxygen_xml.py : 7.8 KB
  110. seL4/include/plat/zynq7000/plat/machine/hardware.h : 7.8 KB
  111. seL4/src/object/interrupt.c : 7.6 KB
  112. seL4/include/arch/arm/arch/64/mode/machine/registerset.h : 7.5 KB
  113. seL4/include/plat/exynos5/plat/machine.h : 7.4 KB
  114. seL4/src/object/notification.c : 7.4 KB
  115. seL4/include/arch/x86/arch/64/mode/fastpath/fastpath.h : 7.4 KB
  116. seL4/include/plat/bcm2837/plat/machine.h : 7.2 KB
  117. CONTRIBUTING.md : 7.1 KB
  118. seL4/src/arch/x86/c_traps.c : 7.0 KB
  119. seL4/src/arch/x86/32/object/objecttype.c : 7.0 KB
  120. seL4/include/arch/arm/arch/machine/gic_pl390.h : 6.9 KB
  121. seL4/include/arch/arm/arch/64/mode/object/structures.h : 6.9 KB
  122. seL4/include/plat/hikey/plat/machine.h : 6.7 KB
  123. seL4/src/arch/arm/32/traps.S : 6.7 KB
  124. seL4/src/arch/arm/32/hyp_traps.S : 6.6 KB
  125. seL4/include/plat/exynos4/plat/machine.h : 6.6 KB
  126. seL4/src/arch/x86/object/interrupt.c : 6.5 KB
  127. seL4/src/arch/arm/machine/cache.c : 6.4 KB
  128. seL4/include/arch/x86/arch/machine/debug.h : 6.4 KB
  129. seL4/src/machine/io.c : 6.4 KB
  130. seL4/include/arch/arm/arch/64/mode/object/structures.bf : 6.3 KB
  131. seL4/src/plat/pc99/machine/ioapic.c : 6.3 KB
  132. seL4/include/plat/tk1/plat/machine/smmu.h : 6.3 KB
  133. seL4/include/plat/imx6/plat/machine.h : 6.3 KB
  134. seL4/src/arch/x86/machine/cpu_identification.c : 6.2 KB
  135. seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/syscalls.h : 6.1 KB
  136. seL4/src/kernel/cspace.c : 6.0 KB
  137. seL4/include/plat/omap3/plat/machine/devices.h : 5.9 KB
  138. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/syscalls.h : 5.9 KB
  139. seL4/tools/syscall_header_gen.py : 5.9 KB
  140. seL4/libsel4/tools/syscall_header_gen.py : 5.9 KB
  141. seL4/include/arch/arm/arch/32/mode/machine/registerset.h : 5.8 KB
  142. seL4/src/plat/exynos_common/mct.c : 5.8 KB
  143. seL4/include/arch/x86/arch/object/structures.bf : 5.7 KB
  144. seL4/include/object/tcb.h : 5.7 KB
  145. seL4/include/arch/arm/armv/armv8-a/32/armv/debug.h : 5.7 KB
  146. seL4/include/arch/arm/armv/armv7-a/armv/debug.h : 5.7 KB
  147. seL4/include/arch/arm/arch/32/mode/machine/debug.h : 5.6 KB
  148. seL4/include/arch/x86/arch/64/mode/machine.h : 5.5 KB
  149. seL4/include/object/structures_32.bf : 5.5 KB
  150. seL4/include/arch/arm/arch/32/mode/fastpath/fastpath.h : 5.5 KB
  151. seL4/include/arch/x86/arch/64/mode/object/structures.h : 5.5 KB
  152. seL4/include/plat/imx31/plat/machine/hardware.h : 5.5 KB
  153. seL4/include/object/structures_64.bf : 5.5 KB
  154. seL4/src/arch/x86/object/ioport.c : 5.4 KB
  155. seL4/include/arch/x86/arch/32/mode/fastpath/fastpath.h : 5.4 KB
  156. seL4/include/arch/x86/arch/kernel/vspace.h : 5.2 KB
  157. seL4/libsel4/Makefile : 5.2 KB
  158. seL4/src/arch/arm/machine/gic_pl390.c : 5.2 KB
  159. seL4/src/arch/x86/kernel/cmdline.c : 5.1 KB
  160. seL4/src/arch/x86/kernel/smp_sys.c : 5.0 KB
  161. seL4/src/arch/x86/kernel/xapic.c : 5.0 KB
  162. seL4/manual/manual.bbl : 5.0 KB
  163. seL4/include/plat/imx7/plat/machine/hardware.h : 4.9 KB
  164. seL4/src/plat/pc99/machine/hardware.c : 4.9 KB
  165. seL4/include/arch/arm/arch/64/mode/fastpath/fastpath.h : 4.9 KB
  166. seL4/src/arch/arm/64/traps.S : 4.9 KB
  167. seL4/include/arch/arm/arch/32/mode/machine/hardware.h : 4.9 KB
  168. seL4/tools/invocation_header_gen.py : 4.8 KB
  169. seL4/libsel4/tools/invocation_header_gen.py : 4.8 KB
  170. seL4/manual/disy.sty : 4.8 KB
  171. seL4/src/plat/imx31/machine/hardware.c : 4.7 KB
  172. seL4/src/plat/am335x/machine/hardware.c : 4.7 KB
  173. seL4/src/arch/arm/32/head.S : 4.6 KB
  174. seL4/src/arch/x86/kernel/apic.c : 4.6 KB
  175. seL4/include/plat/pc99/plat/machine/interrupt.h : 4.5 KB
  176. seL4/src/machine/profiler.c : 4.5 KB
  177. seL4/src/arch/x86/machine/hardware.c : 4.4 KB
  178. seL4/include/arch/arm/armv/armv6/armv/debug.h : 4.4 KB
  179. seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/syscalls_sysenter.h : 4.4 KB
  180. seL4/include/smp/lock.h : 4.3 KB
  181. seL4/src/arch/x86/32/head.S : 4.3 KB
  182. seL4/include/arch/x86/arch/machine/fpu.h : 4.3 KB
  183. seL4/src/arch/x86/kernel/x2apic.c : 4.2 KB
  184. seL4/include/arch/x86/arch/32/mode/machine.h : 4.2 KB
  185. seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/syscalls_syscall.h : 4.2 KB
  186. seL4/include/util.h : 4.1 KB
  187. seL4/manual/manual.tex : 4.1 KB
  188. seL4/include/machine/debug.h : 4.0 KB
  189. seL4/src/arch/x86/machine/fpu.c : 4.0 KB
  190. seL4/src/plat/bcm2837/machine/intc.c : 4.0 KB
  191. seL4/include/arch/arm/arch/64/mode/machine.h : 3.9 KB
  192. seL4/include/arch/x86/arch/64/mode/machine/registerset.h : 3.9 KB
  193. seL4/include/plat/zynq7000/plat/machine.h : 3.8 KB
  194. seL4/include/smp/ipi.h : 3.8 KB
  195. seL4/include/plat/allwinnerA20/plat/machine.h : 3.8 KB
  196. seL4/include/plat/zynq7000/plat/machine/devices.h : 3.7 KB
  197. seL4/src/kernel/faulthandler.c : 3.7 KB
  198. seL4/include/model/statedata.h : 3.6 KB
  199. seL4/include/arch/arm/arch/64/mode/machine/fpu.h : 3.6 KB
  200. seL4/manual/parts/notifications.tex : 3.6 KB
  201. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/constants.h : 3.6 KB
  202. seL4/include/arch/arm/arch/32/mode/api/constants.h : 3.6 KB
  203. seL4/include/arch/arm/arch/32/mode/machine_pl2.h : 3.5 KB
  204. seL4/src/arch/arm/c_traps.c : 3.5 KB
  205. seL4/include/arch/x86/arch/32/mode/object/structures.h : 3.5 KB
  206. seL4/include/plat/pc99/autoconf.h : 3.4 KB
  207. seL4/include/plat/hikey/autoconf.h : 3.4 KB
  208. seL4/include/plat/am335x/plat/machine/interrupt.h : 3.4 KB
  209. seL4/include/plat/exynos5/autoconf.h : 3.4 KB
  210. seL4/src/arch/arm/armv/armv8-a/32/cache.c : 3.4 KB
  211. seL4/src/arch/arm/armv/armv7-a/cache.c : 3.4 KB
  212. seL4/manual/tools/gen_invocations.py : 3.4 KB
  213. seL4/include/plat/apq8064/autoconf.h : 3.4 KB
  214. seL4/include/plat/imx6/autoconf.h : 3.3 KB
  215. seL4/include/plat/imx7/plat/machine/devices.h : 3.3 KB
  216. seL4/include/arch/x86/arch/machine/registerset.h : 3.3 KB
  217. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/deprecated.h : 3.3 KB
  218. seL4/libsel4/arch_include/arm/interfaces/sel4arch.xml : 3.3 KB
  219. seL4/include/plat/imx31/autoconf.h : 3.3 KB
  220. seL4/manual/manual.lot : 3.3 KB
  221. seL4/include/arch/x86/arch/64/mode/machine/debug.h : 3.2 KB
  222. seL4/include/arch/x86/arch/32/mode/machine/debug.h : 3.2 KB
  223. seL4/include/plat/zynq7000/autoconf.h : 3.2 KB
  224. seL4/include/plat/exynos4/autoconf.h : 3.2 KB
  225. seL4/include/plat/am335x/autoconf.h : 3.2 KB
  226. seL4/include/plat/omap3/autoconf.h : 3.2 KB
  227. seL4/include/plat/imx7/autoconf.h : 3.2 KB
  228. seL4/src/arch/arm/Kconfig : 3.2 KB
  229. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/faults.h : 3.2 KB
  230. seL4/libsel4/sel4_arch_include/aarch64/interfaces/sel4arch.xml : 3.2 KB
  231. seL4/src/plat/omap3/machine/hardware.c : 3.1 KB
  232. seL4/include/plat/omap3/plat/machine.h : 3.1 KB
  233. seL4/src/util.c : 3.1 KB
  234. seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/faults.h : 3.1 KB
  235. seL4/include/plat/omap3/plat/machine/interrupt.h : 3.0 KB
  236. seL4/include/fastpath/fastpath.h : 3.0 KB
  237. seL4/include/plat/imx31/plat/machine/interrupt.h : 3.0 KB
  238. seL4/tools/umm.py : 3.0 KB
  239. seL4/src/arch/arm/armv/armv8-a/64/cache.c : 3.0 KB
  240. seL4/src/plat/pc99/machine/pic.c : 2.9 KB
  241. seL4/manual/figs/CDT.graffle : 2.9 KB
  242. seL4/src/arch/arm/64/head.S : 2.9 KB
  243. seL4/include/plat/hikey/plat/machine/hardware.h : 2.9 KB
  244. seL4/include/plat/pc99/plat/64/plat_mode/machine/hardware.h : 2.9 KB
  245. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/constants.h : 2.8 KB
  246. seL4/include/arch/x86/arch/32/mode/api/constants.h : 2.8 KB
  247. seL4/CAVEATS-generic.txt : 2.8 KB
  248. seL4/include/kernel/boot.h : 2.8 KB
  249. seL4/src/arch/x86/api/faults.c : 2.8 KB
  250. seL4/include/plat/imx7/plat/machine.h : 2.7 KB
  251. seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/constants.h : 2.7 KB
  252. seL4/include/arch/x86/arch/64/mode/api/constants.h : 2.7 KB
  253. seL4/include/plat/am335x/plat/machine/hardware.h : 2.7 KB
  254. seL4/libsel4/arch_include/x86/sel4/arch/bootinfo_types.h : 2.7 KB
  255. seL4/include/arch/x86/arch/api/bootinfo_types.h : 2.7 KB
  256. seL4/include/plat/pc99/plat/machine.h : 2.7 KB
  257. seL4/include/arch/arm/arch/object/vcpu.h : 2.6 KB
  258. seL4/README.md : 2.6 KB
  259. seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/constants.h : 2.6 KB
  260. seL4/include/arch/arm/arch/64/mode/api/constants.h : 2.6 KB
  261. seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/faults.h : 2.6 KB
  262. seL4/libsel4/arch_include/x86/sel4/arch/vmenter.h : 2.6 KB
  263. seL4/include/arch/x86/arch/api/vmenter.h : 2.6 KB
  264. seL4/src/arch/arm/armv/armv7-a/machine_asm.S : 2.6 KB
  265. seL4/libsel4/sel4_arch_include/aarch32/interfaces/sel4arch.xml : 2.6 KB
  266. seL4/include/arch/x86/arch/model/statedata.h : 2.5 KB
  267. seL4/src/arch/x86/64/machine/registerset.c : 2.5 KB
  268. seL4/src/model/statedata.c : 2.5 KB
  269. seL4/src/arch/arm/api/faults.c : 2.4 KB
  270. seL4/include/arch/x86/arch/kernel/tlb_bitmap.h : 2.4 KB
  271. seL4/src/arch/x86/object/tcb.c : 2.4 KB
  272. seL4/include/arch/x86/arch/kernel/ept.h : 2.4 KB
  273. seL4/include/benchmark/benchmark_utilisation.h : 2.4 KB
  274. seL4/include/arch/x86/arch/64/mode/kernel/vspace.h : 2.4 KB
  275. seL4/include/arch/x86/arch/32/mode/machine/registerset.h : 2.4 KB
  276. seL4/src/arch/arm/machine/errata.c : 2.4 KB
  277. seL4/libsel4/arch_include/x86/sel4/arch/functions.h : 2.4 KB
  278. seL4/src/arch/x86/multiboot.S : 2.4 KB
  279. seL4/include/config.h : 2.4 KB
  280. seL4/src/benchmark/benchmark_utilisation.c : 2.4 KB
  281. seL4/libsel4/include/api/syscall.xml : 2.4 KB
  282. seL4/include/arch/x86/arch/machine/hardware.h : 2.4 KB
  283. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/faults.h : 2.3 KB
  284. seL4/src/arch/arm/32/model/statedata.c : 2.3 KB
  285. seL4/include/plat/pc99/plat/32/plat_mode/machine/hardware.h : 2.3 KB
  286. seL4/src/arch/arm/64/c_traps.c : 2.3 KB
  287. seL4/src/machine/fpu.c : 2.3 KB
  288. seL4/include/plat/bcm2837/plat/machine/hardware.h : 2.2 KB
  289. seL4/include/machine/fpu.h : 2.2 KB
  290. seL4/include/arch/x86/arch/kernel/multiboot.h : 2.2 KB
  291. seL4/src/arch/x86/model/statedata.c : 2.2 KB
  292. seL4/include/arch/arm/arch/32/mode/kernel/vspace.h : 2.2 KB
  293. seL4/include/arch/x86/arch/32/mode/kernel/elf.h : 2.2 KB
  294. seL4/src/arch/x86/32/kernel/elf.c : 2.2 KB
  295. seL4/include/arch/arm/arch/machine.h : 2.2 KB
  296. seL4/src/arch/x86/64/machine_asm.S : 2.2 KB
  297. seL4/include/arch/x86/arch/kernel/xapic.h : 2.2 KB
  298. seL4/src/arch/arm/32/c_traps.c : 2.1 KB
  299. seL4/src/plat/pc99/linker.lds : 2.1 KB
  300. seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/functions.h : 2.1 KB
  301. seL4/include/machine/profiler.h : 2.1 KB
  302. seL4/src/plat/imx7/machine/hardware.c : 2.1 KB
  303. seL4/include/arch/arm/arch/kernel/vspace.h : 2.1 KB
  304. seL4/src/plat/allwinnerA20/machine/hardware.c : 2.0 KB
  305. seL4/manual/parts/intro.tex : 2.0 KB
  306. seL4/include/plat/imx31/plat/machine/devices.h : 2.0 KB
  307. seL4/src/arch/x86/32/machine_asm.S : 2.0 KB
  308. seL4/src/plat/apq8064/machine/timer.c : 2.0 KB
  309. seL4/include/arch/x86/arch/kernel/x2apic.h : 2.0 KB
  310. seL4/include/benchmark/benchmark.h : 2.0 KB
  311. seL4/include/object/cnode.h : 2.0 KB
  312. seL4/include/object/untyped.h : 2.0 KB
  313. seL4/libsel4/arch_include/arm/sel4/arch/functions.h : 2.0 KB
  314. seL4/include/kernel/cspace.h : 2.0 KB
  315. seL4/include/arch/arm/arch/64/mode/machine/hardware.h : 2.0 KB
  316. seL4/include/kernel/thread.h : 2.0 KB
  317. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/functions.h : 2.0 KB
  318. seL4/src/arch/x86/64/kernel/elf.c : 1.9 KB
  319. seL4/include/arch/arm/arch/object/iospace.h : 1.9 KB
  320. seL4/include/arch/x86/arch/machine/cpu_registers.h : 1.9 KB
  321. seL4/include/arch/x86/arch/32/mode/stack.h : 1.9 KB
  322. seL4/include/object/objecttype.h : 1.9 KB
  323. seL4/include/plat/tx1/plat/machine/hardware.h : 1.9 KB
  324. seL4/include/benchmark/benchmark_track.h : 1.9 KB
  325. seL4/src/arch/x86/64/kernel/thread.c : 1.9 KB
  326. seL4/src/plat/hikey/linker.lds : 1.8 KB
  327. seL4/include/arch/x86/arch/smp/ipi_inline.h : 1.8 KB
  328. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/types.bf : 1.8 KB
  329. seL4/src/plat/tx1/linker.lds : 1.8 KB
  330. seL4/include/arch/x86/arch/object/objecttype.h : 1.8 KB
  331. seL4/libsel4/Kconfig : 1.7 KB
  332. seL4/include/arch/arm/armv/armv8-a/32/armv/context_switch.h : 1.7 KB
  333. seL4/include/arch/arm/armv/armv7-a/armv/context_switch.h : 1.7 KB
  334. seL4/include/plat/apq8064/plat/machine.h : 1.7 KB
  335. seL4/src/plat/pc99/machine/io.c : 1.7 KB
  336. seL4/src/plat/imx7/machine/io.c : 1.7 KB
  337. seL4/src/plat/imx6/machine/io.c : 1.7 KB
  338. seL4/src/plat/zynq7000/linker.lds : 1.7 KB
  339. seL4/src/plat/tk1/linker.lds : 1.7 KB
  340. seL4/src/plat/omap3/linker.lds : 1.7 KB
  341. seL4/src/plat/imx6/linker.lds : 1.7 KB
  342. seL4/src/plat/imx31/linker.lds : 1.7 KB
  343. seL4/src/plat/exynos5/linker.lds : 1.7 KB
  344. seL4/src/plat/exynos4/linker.lds : 1.7 KB
  345. seL4/src/plat/apq8064/linker.lds : 1.7 KB
  346. seL4/src/plat/am335x/linker.lds : 1.7 KB
  347. seL4/src/plat/exynos_common/io.c : 1.7 KB
  348. seL4/include/plat/allwinnerA20/plat/machine/hardware.h : 1.7 KB
  349. seL4/src/plat/imx7/linker.lds : 1.7 KB
  350. seL4/src/plat/allwinnerA20/linker.lds : 1.7 KB
  351. seL4/include/benchmark/benchmark_track_types.h : 1.7 KB
  352. seL4/src/plat/bcm2837/linker.lds : 1.7 KB
  353. .signing-exceptions : 1.7 KB
  354. seL4/src/plat/imx31/machine/io.c : 1.7 KB
  355. seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/types.bf : 1.7 KB
  356. seL4/include/arch/arm/arch/32/mode/model/statedata.h : 1.7 KB
  357. seL4/src/arch/x86/machine/registerset.c : 1.7 KB
  358. seL4/src/plat/zynq7000/machine/io.c : 1.6 KB
  359. seL4/include/plat/tk1/autoconf.h : 1.6 KB
  360. seL4/src/arch/arm/armv/armv8-a/32/user_access.c : 1.6 KB
  361. seL4/src/arch/arm/armv/armv7-a/user_access.c : 1.6 KB
  362. seL4/src/plat/bcm2837/machine/io.c : 1.6 KB
  363. seL4/include/plat/hikey/plat/machine/devices.h : 1.6 KB
  364. seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/types.bf : 1.6 KB
  365. seL4/include/arch/arm/arch/32/mode/machine/timer.h : 1.6 KB
  366. seL4/include/arch/x86/arch/object/iospace.h : 1.6 KB
  367. seL4/include/plat/tx1/plat/machine/devices.h : 1.6 KB
  368. seL4/include/arch/arm/arch/kernel/traps.h : 1.6 KB
  369. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/deprecated.h : 1.6 KB
  370. seL4/include/plat/bcm2837/plat/machine/devices.h : 1.6 KB
  371. seL4/libsel4/include/api/syscall.xsd : 1.6 KB
  372. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/types.bf : 1.5 KB
  373. seL4/include/plat/pc99/plat/machine/acpi.h : 1.5 KB
  374. seL4/include/arch/x86/arch/kernel/boot.h : 1.5 KB
  375. seL4/libsel4/tools/sel4_idl.dtd : 1.5 KB
  376. seL4/include/arch/x86/arch/64/mode/machine/cpu_registers.h : 1.5 KB
  377. seL4/LICENSE_BSD2.txt : 1.5 KB
  378. LICENSE_BSD2.txt : 1.5 KB
  379. seL4/CONTRIBUTORS.md : 1.5 KB
  380. seL4/manual/README : 1.5 KB
  381. seL4/tools/circular_includes.py : 1.5 KB
  382. seL4/include/plat/tk1/plat/machine/hardware.bf : 1.5 KB
  383. seL4/include/arch/x86/arch/64/mode/kernel/tlb.h : 1.4 KB
  384. seL4/include/arch/arm/arch/64/mode/machine/timer.h : 1.4 KB
  385. seL4/include/arch/x86/arch/64/mode/kernel/elf.h : 1.4 KB
  386. seL4/CONTRIBUTING.md : 1.4 KB
  387. seL4/include/machine/io.h : 1.4 KB
  388. seL4/manual/parts/api/ia32_irq_control_getioapic.tex : 1.4 KB
  389. seL4/include/arch/x86/arch/64/mode/model/smp.h : 1.4 KB
  390. seL4/include/arch/arm/arch/64/mode/kernel/vspace.h : 1.4 KB
  391. seL4/src/arch/arm/64/machine/hardware.c : 1.4 KB
  392. seL4/include/arch/x86/arch/32/mode/machine/cpu_registers.h : 1.4 KB
  393. seL4/src/arch/arm/machine/priv_timer.c : 1.4 KB
  394. seL4/libsel4/sel4_arch_include/x86_64/interfaces/sel4arch.xml : 1.4 KB
  395. seL4/include/plat/allwinnerA20/plat/machine/devices.h : 1.4 KB
  396. seL4/src/arch/arm/armv/armv8-a/32/benchmark.c : 1.3 KB
  397. seL4/src/arch/arm/armv/armv7-a/benchmark.c : 1.3 KB
  398. seL4/src/arch/x86/32/machine/registerset.c : 1.3 KB
  399. seL4/include/arch/arm/arch/object/objecttype.h : 1.3 KB
  400. seL4/include/arch/x86/arch/32/mode/kernel/vspace.h : 1.3 KB
  401. seL4/manual/parts/api/ia32_irq_control_getmsi.tex : 1.3 KB
  402. seL4/include/arch/x86/arch/32/mode/kernel/ipi.h : 1.3 KB
  403. seL4/include/arch/x86/arch/kernel/tlb.h : 1.3 KB
  404. seL4/src/arch/arm/32/machine/hardware.c : 1.3 KB
  405. seL4/libsel4/arch_include/x86/sel4/arch/types.h : 1.3 KB
  406. seL4/include/plat/pc99/plat/32/plat_mode/machine/hardware.bf : 1.3 KB
  407. seL4/include/arch/arm/arch/types.h : 1.3 KB
  408. seL4/include/kernel/traps.h : 1.3 KB
  409. seL4/include/object/interrupt.h : 1.2 KB
  410. seL4/manual/tools/gen_env.py : 1.2 KB
  411. seL4/include/arch/arm/armv/armv6/armv/machine.h : 1.2 KB
  412. seL4/include/plat/pc99/plat/64/plat_mode/machine/hardware.bf : 1.2 KB
  413. seL4/include/arch/x86/arch/model/smp.h : 1.2 KB
  414. seL4/include/arch/x86/arch/64/mode/kernel/ipi.h : 1.2 KB
  415. seL4/include/arch/x86/arch/64/mode/model/statedata.h : 1.2 KB
  416. seL4/include/arch/arm/arch/64/mode/model/statedata.h : 1.2 KB
  417. seL4/src/model/preemption.c : 1.2 KB
  418. seL4/src/arch/arm/32/kernel/thread.c : 1.2 KB
  419. seL4/src/string.c : 1.2 KB
  420. seL4/include/arch/x86/arch/32/mode/model/smp.h : 1.2 KB
  421. seL4/include/arch/arm/arch/model/statedata.h : 1.2 KB
  422. seL4/src/arch/arm/armv/armv6/machine_asm.S : 1.2 KB
  423. seL4/include/arch/x86/arch/kernel/apic.h : 1.1 KB
  424. seL4/src/plat/pc99/machine/pit.c : 1.1 KB
  425. seL4/include/arch/x86/arch/types.h : 1.1 KB
  426. seL4/libsel4/arch_include/x86/sel4/arch/objecttype.h : 1.1 KB
  427. seL4/include/arch/x86/arch/api/objecttype.h : 1.1 KB
  428. seL4/include/plat/am335x/plat/machine/devices.h : 1.1 KB
  429. seL4/src/arch/x86/32/kernel/thread.c : 1.1 KB
  430. seL4/include/arch/arm/arch/32/mode/kernel/thread.h : 1.1 KB
  431. seL4/src/benchmark/benchmark_track.c : 1.1 KB
  432. seL4/libsel4/arch_include/x86/sel4/arch/constants.h : 1.1 KB
  433. seL4/tools/changed.sh : 1.1 KB
  434. seL4/libsel4/tools/changed.sh : 1.1 KB
  435. seL4/include/machine/assembler.h : 1.1 KB
  436. seL4/include/arch/arm/arch/32/mode/smp/smp.h : 1.1 KB
  437. seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/types.h : 1.1 KB
  438. seL4/src/plat/apq8064/machine/io.c : 1.1 KB
  439. seL4/include/arch/x86/arch/benchmark.h : 1.0 KB
  440. seL4/src/arch/arm/64/model/statedata.c : 1.0 KB
  441. seL4/manual/parts/api/arm_page_invalidatedata.tex : 1.0 KB
  442. seL4/include/machine.h : 1.0 KB
  443. seL4/libsel4/arch_include/arm/sel4/arch/objecttype.h : 1.0 KB
  444. seL4/include/arch/arm/arch/api/objecttype.h : 1.0 KB
  445. seL4/include/arch/arm/arch/32/mode/hardware.h : 1.0 KB
  446. seL4/src/arch/arm/armv/armv6/benchmark.c : 1.0 KB
  447. seL4/include/assert.h : 1.0 KB
  448. seL4/include/model/smp.h : 1.0 KB
  449. seL4/include/plat/pc99/plat/machine/ioapic.h : 1.0 KB
  450. seL4/src/arch/arm/64/machine/fpu.c : 995 B
  451. seL4/libsel4/arch_include/arm/sel4/arch/types.h : 994 B
  452. seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/types.h : 986 B
  453. seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/objecttype.h : 986 B
  454. seL4/include/arch/x86/arch/64/mode/api/objecttype.h : 986 B
  455. seL4/include/arch/arm/arch/object/interrupt.h : 981 B
  456. .travis.yml : 981 B
  457. seL4/src/arch/arm/machine/Makefile : 975 B
  458. seL4/include/arch/x86/arch/32/mode/kernel/tlb.h : 972 B
  459. seL4/src/arch/x86/64/model/statedata.c : 955 B
  460. seL4/src/arch/arm/64/kernel/thread.c : 946 B
  461. seL4/include/arch/x86/arch/smp/ipi.h : 946 B
  462. seL4/include/machine/capdl.h : 945 B
  463. seL4/src/arch/x86/64/model/smp.c : 942 B
  464. seL4/include/arch/x86/arch/linker.h : 934 B
  465. seL4/src/arch/x86/32/kernel/ipi.c : 933 B
  466. seL4/manual/parts/api/arm_page_unifyinstruction.tex : 932 B
  467. seL4/libsel4/sel4_plat_include/tk1/sel4/plat/api/constants.h : 927 B
  468. seL4/libsel4/sel4_plat_include/hikey/sel4/plat/api/constants.h : 927 B
  469. seL4/libsel4/sel4_plat_include/exynos5/sel4/plat/api/constants.h : 927 B
  470. seL4/libsel4/sel4_plat_include/bcm2837/sel4/plat/api/constants.h : 927 B
  471. seL4/libsel4/sel4_plat_include/apq8064/sel4/plat/api/constants.h : 927 B
  472. seL4/include/plat/tk1/plat/api/constants.h : 927 B
  473. seL4/include/plat/hikey/plat/api/constants.h : 927 B
  474. seL4/include/plat/exynos5/plat/api/constants.h : 927 B
  475. seL4/include/plat/bcm2837/plat/api/constants.h : 927 B
  476. seL4/include/plat/apq8064/plat/api/constants.h : 927 B
  477. seL4/libsel4/sel4_plat_include/zynq7000/sel4/plat/api/constants.h : 926 B
  478. seL4/libsel4/sel4_plat_include/imx6/sel4/plat/api/constants.h : 926 B
  479. seL4/libsel4/sel4_plat_include/exynos4/sel4/plat/api/constants.h : 926 B
  480. seL4/include/plat/zynq7000/plat/api/constants.h : 926 B
  481. seL4/include/plat/imx6/plat/api/constants.h : 926 B
  482. seL4/include/plat/exynos4/plat/api/constants.h : 926 B
  483. seL4/libsel4/sel4_plat_include/imx31/sel4/plat/api/constants.h : 924 B
  484. seL4/include/plat/imx31/plat/api/constants.h : 924 B
  485. seL4/libsel4/sel4_plat_include/allwinnerA20/sel4/plat/api/constants.h : 923 B
  486. seL4/include/plat/allwinnerA20/plat/api/constants.h : 923 B
  487. seL4/include/machine/registerset.h : 923 B
  488. seL4/libsel4/sel4_plat_include/omap3/sel4/plat/api/constants.h : 922 B
  489. seL4/libsel4/sel4_plat_include/imx7/sel4/plat/api/constants.h : 922 B
  490. seL4/libsel4/sel4_plat_include/am335x/sel4/plat/api/constants.h : 922 B
  491. seL4/include/plat/omap3/plat/api/constants.h : 922 B
  492. seL4/include/plat/imx7/plat/api/constants.h : 922 B
  493. seL4/include/plat/am335x/plat/api/constants.h : 922 B
  494. seL4/libsel4/sel4_plat_include/pc99/sel4/plat/api/constants.h : 920 B
  495. seL4/include/plat/pc99/plat/api/constants.h : 920 B
  496. seL4/.gitignore : 919 B
  497. seL4/src/plat/omap3/machine/l2cache.c : 908 B
  498. seL4/src/plat/am335x/machine/l2cache.c : 908 B
  499. seL4/include/arch/x86/arch/kernel/smp_sys.h : 908 B
  500. seL4/src/plat/allwinnerA20/machine/l2cache.c : 898 B
  501. seL4/src/assert.c : 897 B
  502. seL4/src/arch/x86/64/kernel/ipi.c : 887 B
  503. seL4/src/plat/am335x/machine/io.c : 885 B
  504. seL4/src/plat/omap3/machine/io.c : 884 B
  505. seL4/src/plat/tx1/machine/io.c : 875 B
  506. seL4/include/arch/arm/armv/armv6/armv/context_switch.h : 875 B
  507. seL4/src/plat/allwinnerA20/machine/io.c : 874 B
  508. seL4/include/kernel/stack.h : 874 B
  509. seL4/src/smp/lock.c : 866 B
  510. seL4/manual/parts/api/arm_page_cleaninvalidatedata.tex : 866 B
  511. seL4/include/arch/x86/arch/32/mode/model/statedata.h : 861 B
  512. seL4/src/plat/hikey/machine/io.c : 853 B
  513. seL4/src/arch/arm/64/idle.c : 849 B
  514. seL4/include/arch/arm/arch/machine/hardware.h : 842 B
  515. seL4/include/object/notification.h : 837 B
  516. seL4/manual/parts/api/ia32_ASID_controlmakepool.tex : 829 B
  517. seL4/manual/parts/api/arm_asidcontrol_makepool.tex : 823 B
  518. seL4/src/arch/x86/32/model/statedata.c : 815 B
  519. seL4/src/arch/arm/object/tcb.c : 814 B
  520. seL4/src/plat/tk1/machine/hardware.c : 812 B
  521. seL4/include/arch/arm/armv/armv6/armv/benchmark.h : 806 B
  522. .gitlab-ci.yml : 806 B
  523. seL4/src/plat/tx1/machine/hardware.c : 802 B
  524. seL4/include/arch/arm/armv/armv8-a/32/armv/benchmark.h : 802 B
  525. seL4/include/arch/arm/armv/armv7-a/armv/benchmark.h : 802 B
  526. seL4/src/plat/apq8064/machine/hardware.c : 798 B
  527. seL4/include/basic_types.h : 798 B
  528. seL4/src/plat/tk1/machine/io.c : 796 B
  529. seL4/include/arch/arm/arch/64/mode/machine_pl2.h : 794 B
  530. seL4/include/object/endpoint.h : 793 B
  531. seL4/include/arch/x86/arch/kernel/traps.h : 793 B
  532. seL4/include/compound_types.h : 790 B
  533. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/types.h : 774 B
  534. seL4/include/arch/arm/arch/linker.h : 768 B
  535. seL4/manual/parts/api/arm_page_cleandata.tex : 766 B
  536. seL4/tools/bf.vim : 765 B
  537. seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/mapping.h : 758 B
  538. seL4/include/64/mode/api/shared_types.bf : 757 B
  539. seL4/CAVEATS-ia32.txt : 756 B
  540. seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/simple_types.h : 754 B
  541. seL4/src/plat/hikey/machine/hardware.c : 753 B
  542. seL4/src/arch/x86/idle.c : 753 B
  543. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/types.h : 753 B
  544. seL4/src/arch/x86/Makefile : 751 B
  545. seL4/include/plat/pc99/plat/machine/io.h : 747 B
  546. seL4/include/arch/arm/armv/armv8-a/64/armv/machine.h : 743 B
  547. seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/mapping.h : 742 B
  548. seL4/src/arch/x86/64/Makefile : 741 B
  549. seL4/include/arch/x86/arch/object/interrupt.h : 739 B
  550. seL4/include/arch/arm/armv/armv8-a/64/armv/context_switch.h : 738 B
  551. seL4/src/arch/arm/64/Makefile : 737 B
  552. seL4/include/arch/arm/arch/fastpath/fastpath.h : 736 B
  553. seL4/src/arch/arm/32/idle.c : 734 B
  554. seL4/manual/parts/api/ia32_pagedirectory_getstatusbits.tex : 728 B
  555. seL4/libsel4/arch_include/arm/sel4/arch/shared_types.bf : 727 B
  556. seL4/include/arch/arm/arch/api/shared_types.bf : 727 B
  557. seL4/include/arch/arm/armv/armv6/armv/benchmark_irqHandler.h : 726 B
  558. seL4/src/arch/arm/64/machine/registerset.c : 723 B
  559. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/functions.h : 723 B
  560. seL4/include/arch/arm/arch/benchmark_overflowHandler.h : 721 B
  561. seL4/src/plat/exynos5/machine/hardware.c : 719 B
  562. seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/objecttype.h : 716 B
  563. seL4/include/arch/arm/arch/64/mode/api/objecttype.h : 716 B
  564. seL4/include/arch/arm/arch/32/mode/smp/ipi.h : 716 B
  565. seL4/src/Makefile : 715 B
  566. seL4/libsel4/sel4_arch_include/ia32/interfaces/sel4arch.xml : 715 B
  567. seL4/manual/parts/api/ia32_page_mapio.tex : 712 B
  568. seL4/include/arch/x86/arch/kernel/elf.h : 710 B
  569. seL4/include/arch/arm/arch/machine/l2c_310.h : 710 B
  570. seL4/include/plat/hikey/plat/32/plat_mode/machine/devices.h : 708 B
  571. seL4/manual/parts/api/ia32_io_pagetable_map.tex : 707 B
  572. seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/functions.h : 706 B
  573. seL4/manual/manual.blg : 705 B
  574. seL4/src/arch/arm/32/Makefile : 701 B
  575. seL4/include/benchmark/benchmark_utilisation_.h : 698 B
  576. seL4/include/bootinfo.h : 697 B
  577. seL4/include/arch/arm/arch/smp/ipi_inline.h : 691 B
  578. seL4/include/plat/hikey/plat/64/plat_mode/machine/devices.h : 685 B
  579. seL4/include/arch/arm/arch/64/mode/smp/smp.h : 685 B
  580. seL4/include/plat/pc99/plat/machine/pic.h : 684 B
  581. seL4/manual/parts/api/arm_pagetable_map.tex : 683 B
  582. seL4/manual/parts/api/ia32_pagetable_map.tex : 677 B
  583. seL4/manual/parts/api/ia32_page_map.tex : 676 B
  584. seL4/src/arch/arm/Makefile : 675 B
  585. seL4/libsel4/arch_include/x86/sel4/arch/shared_types.bf : 675 B
  586. seL4/include/arch/x86/arch/api/shared_types.bf : 675 B
  587. seL4/manual/parts/api/arm_page_map.tex : 669 B
  588. seL4/include/plat/imx31/plat/machine.h : 669 B
  589. seL4/include/arch/arm/arch/kernel/boot.h : 669 B
  590. seL4/src/arch/x86/32/Makefile : 668 B
  591. seL4/include/benchmark/benchmark_utilisation_types.h : 667 B
  592. seL4/src/arch/arm/kernel/ipi.c : 666 B
  593. seL4/include/arch/arm/arch/64/mode/hardware.h : 664 B
  594. seL4/libsel4/src/sel4_bootinfo.c : 656 B
  595. seL4/libsel4/arch_include/x86/sel4/arch/syscalls.h : 656 B
  596. seL4/include/arch/arm/armv/armv8-a/32/armv/benchmark_irqHandler.h : 655 B
  597. seL4/include/arch/arm/armv/armv7-a/armv/benchmark_irqHandler.h : 655 B
  598. seL4/src/arch/x86/kernel/Makefile : 653 B
  599. seL4/include/benchmark/benchmark_tracepoints_types.h : 653 B
  600. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/simple_types.h : 651 B
  601. seL4/include/arch/x86/arch/fastpath/fastpath.h : 651 B
  602. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/mapping.h : 650 B
  603. seL4/manual/manual.lof : 649 B
  604. seL4/src/arch/arm/object/interrupt.c : 643 B
  605. seL4/manual/parts/api/arm_page_remap.tex : 637 B
  606. seL4/src/arch/x86/benchmark/benchmark.c : 632 B
  607. seL4/include/arch/arm/armv/armv8-a/32/armv/machine.h : 632 B
  608. seL4/include/arch/arm/armv/armv7-a/armv/machine.h : 632 B
  609. seL4/include/object/cap.h : 631 B
  610. seL4/include/32/mode/api/shared_types.bf : 631 B
  611. seL4/src/arch/arm/armv/armv8-a/Makefile : 630 B
  612. seL4/include/arch/arm/arch/smp/ipi.h : 629 B
  613. seL4/include/arch/x86/arch/32/mode/kernel/stack.h : 628 B
  614. seL4/manual/parts/api/ia32_page_remap.tex : 625 B
  615. seL4/include/plat/hikey/plat/64/plat_mode/machine/hardware.h : 625 B
  616. seL4/include/arch/x86/arch/kernel/cmdline.h : 625 B
  617. seL4/include/arch/x86/arch/machine/pat.h : 624 B
  618. seL4/manual/parts/api/ia32_IO_portin32.tex : 619 B
  619. seL4/manual/parts/api/ia32_IO_portin16.tex : 619 B
  620. seL4/manual/parts/api/ia32_page_getaddress.tex : 614 B
  621. seL4/manual/parts/api/ia32_IO_portin8.tex : 614 B
  622. seL4/include/object.h : 613 B
  623. seL4/include/plat/am335x/plat/machine.h : 606 B
  624. seL4/include/arch/x86/arch/api/types.h : 600 B
  625. seL4/manual/parts/api/arm_page_getaddress.tex : 599 B
  626. seL4/src/arch/arm/benchmark/benchmark.c : 597 B
  627. seL4/src/arch/arm/armv/armv6/cache.c : 596 B
  628. seL4/libsel4/arch_include/arm/sel4/arch/simple_types.h : 596 B
  629. seL4/include/plat/pc99/plat/machine/devices.h : 596 B
  630. seL4/include/arch/x86/arch/object/ioport.h : 593 B
  631. seL4/include/string.h : 592 B
  632. seL4/include/arch/x86/arch/kernel/thread.h : 589 B
  633. seL4/include/arch/arm/arch/machine/fpu.h : 585 B
  634. seL4/include/arch/arm/arch/api/types.h : 583 B
  635. seL4/manual/parts/api/ia32_IO_portout32.tex : 577 B
  636. seL4/manual/parts/api/ia32_IO_portout16.tex : 577 B
  637. seL4/include/arch/x86/arch/32/mode/hardware.h : 575 B
  638. seL4/manual/parts/api/ia32_IO_portout8.tex : 572 B
  639. seL4/include/stdint.h : 572 B
  640. seL4/manual/parts/api/arm_pagetable_unmap.tex : 565 B
  641. seL4/include/arch/x86/arch/machine/timer.h : 565 B
  642. seL4/src/arch/x86/machine/Makefile : 563 B
  643. seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/deprecated.h : 559 B
  644. seL4/manual/parts/api/ia32_ASID_poolassign.tex : 558 B
  645. seL4/manual/parts/api/arm_asidpool_assign.tex : 557 B
  646. seL4/manual/parts/api/ia32_pagetable_unmap.tex : 556 B
  647. seL4/include/arch/arm/arch/kernel/thread.h : 555 B
  648. seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/simple_types.h : 554 B
  649. seL4/src/plat/pc99/machine/Makefile : 553 B
  650. seL4/src/arch/arm/32/machine/registerset.c : 549 B
  651. seL4/include/arch/arm/arch/64/mode/kernel/thread.h : 548 B
  652. seL4/include/plat/pc99/plat/machine/intel-vtd.h : 545 B
  653. seL4/include/kernel/vspace.h : 545 B
  654. seL4/libsel4/sel4_plat_include/tx1/sel4/plat/api/constants.h : 542 B
  655. seL4/include/plat/tx1/plat/api/constants.h : 542 B
  656. seL4/include/plat/imx31/plat/machine/hardware.bf : 542 B
  657. seL4/include/arch/x86/arch/object/tcb.h : 542 B
  658. seL4/src/arch/arm/armv/armv7-a/Makefile : 540 B
  659. seL4/src/arch/arm/armv/armv6/Makefile : 540 B
  660. seL4/include/arch/x86/arch/64/mode/hardware.h : 539 B
  661. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/objecttype.h : 536 B
  662. seL4/include/arch/x86/arch/32/mode/api/objecttype.h : 536 B
  663. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/mapping.h : 534 B
  664. seL4/include/arch/arm/arch/benchmark.h : 533 B
  665. seL4/src/machine/registerset.c : 527 B
  666. seL4/include/plat/pc99/plat/machine/hardware.h : 525 B
  667. seL4/include/arch/arm/arch/64/mode/kernel/stack.h : 522 B
  668. seL4/src/arch/x86/object/Makefile : 519 B
  669. seL4/include/arch/x86/arch/64/mode/kernel/stack.h : 519 B
  670. seL4/include/arch/arm/arch/32/mode/kernel/stack.h : 519 B
  671. seL4/src/arch/arm/64/machine/Makefile : 517 B
  672. seL4/src/config/default_domain.c : 514 B
  673. seL4/include/plat/hikey/plat/32/plat_mode/machine/hardware.h : 513 B
  674. seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/pfIPC.h : 512 B
  675. seL4/include/arch/arm/arch/model/smp.h : 510 B
  676. seL4/manual/parts/api/debug_putchar.tex : 507 B
  677. seL4/src/object/Makefile : 499 B
  678. seL4/include/arch/x86/arch/64/mode/types.h : 498 B
  679. seL4/include/arch/x86/arch/32/mode/types.h : 498 B
  680. seL4/include/arch/arm/arch/64/mode/types.h : 498 B
  681. seL4/include/arch/arm/arch/32/mode/types.h : 498 B
  682. seL4/src/plat/bcm2837/machine/hardware.c : 496 B
  683. seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/deprecated.h : 495 B
  684. seL4/src/kernel/stack.c : 492 B
  685. seL4/include/kernel/faulthandler.h : 491 B
  686. seL4/manual/parts/api/ia32_page_unmap.tex : 484 B
  687. seL4/src/arch/x86/64/kernel/Makefile : 482 B
  688. seL4/manual/parts/api/arm_page_unmap.tex : 481 B
  689. seL4/src/plat/exynos5/machine/Makefile : 480 B
  690. seL4/include/stdarg.h : 480 B
  691. seL4/libsel4/sel4_plat_include/exynos_common/sel4/plat/api/constants.h : 475 B
  692. seL4/include/plat/pc99/plat/machine/pit.h : 473 B
  693. seL4/include/plat/hikey/plat/64/plat_mode/machine.h : 473 B
  694. seL4/include/plat/hikey/plat/32/plat_mode/machine.h : 473 B
  695. seL4/include/arch/arm/arch/64/mode/machine/debug.h : 468 B
  696. seL4/src/kernel/Makefile : 465 B
  697. seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/pfIPC.h : 465 B
  698. seL4/libsel4/arch_include/arm/sel4/arch/constants.h : 464 B
  699. seL4/include/arch/x86/arch/kernel/boot_sys.h : 462 B
  700. seL4/src/benchmark/Makefile : 461 B
  701. seL4/src/arch/x86/32/kernel/Makefile : 458 B
  702. seL4/src/plat/bcm2837/machine/Makefile : 455 B
  703. seL4/include/plat/pc99/plat/Makefile : 455 B
  704. seL4/src/arch/arm/armv/armv8-a/64/user_access.c : 454 B
  705. seL4/libsel4/tools/__init__.py : 454 B
  706. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/simple_types.h : 451 B
  707. seL4/src/arch/arm/armv/armv8-a/32/machine_asm.S : 448 B
  708. seL4/src/plat/apq8064/machine/Makefile : 447 B
  709. seL4/src/plat/tk1/machine/Makefile : 446 B
  710. seL4/libsel4/arch_include/arm/sel4/arch/deprecated.h : 446 B
  711. seL4/include/arch/arm/armv/armv8-a/64/armv/debug.h : 444 B
  712. seL4/include/arch/arm/arch/32/mode/machine/fpu.h : 444 B
  713. seL4/src/plat/tx1/machine/Makefile : 442 B
  714. seL4/libsel4/arch_include/x86/sel4/arch/deprecated.h : 436 B
  715. seL4/src/arch/arm/armv/armv8-a/64/machine_asm.S : 435 B
  716. seL4/include/arch/arm/armv/armv8-a/64/armv/benchmark.h : 432 B
  717. seL4/include/arch/arm/arch/object/structures.h : 432 B
  718. seL4/manual/parts/api/debug_halt.tex : 430 B
  719. seL4/include/plat/pc99/plat/64/plat_mode/machine/Makefile : 428 B
  720. seL4/include/plat/pc99/plat/32/plat_mode/machine/Makefile : 428 B
  721. seL4/include/arch/arm/arch/machine/registerset.h : 428 B
  722. seL4/libsel4/arch_include/arm/sel4/arch/shared_types.h : 427 B
  723. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/objecttype.h : 424 B
  724. seL4/include/arch/arm/arch/32/mode/api/objecttype.h : 424 B
  725. seL4/include/64/mode/Makefile : 423 B
  726. seL4/include/32/mode/Makefile : 423 B
  727. seL4/src/inlines.c : 422 B
  728. seL4/src/arch/x86/benchmark/Makefile : 418 B
  729. seL4/src/arch/arm/benchmark/Makefile : 412 B
  730. seL4/src/arch/arm/64/kernel/Makefile : 411 B
  731. seL4/src/plat/am335x/machine/Makefile : 410 B
  732. seL4/src/plat/omap3/machine/Makefile : 409 B
  733. seL4/src/arch/x86/64/model/Makefile : 409 B
  734. seL4/src/arch/arm/32/machine/Makefile : 407 B
  735. seL4/src/plat/tx1/machine/l2cache.c : 406 B
  736. seL4/src/plat/allwinnerA20/machine/Makefile : 406 B
  737. seL4/src/plat/exynos4/machine/Makefile : 404 B
  738. seL4/include/plat/tx1/plat/machine/Makefile : 404 B
  739. seL4/include/plat/tx1/plat/Makefile : 401 B
  740. seL4/include/model/preemption.h : 401 B
  741. seL4/src/arch/arm/machine/io.c : 397 B
  742. seL4/include/arch/arm/arch/user_access.h : 394 B
  743. seL4/tools/cpp_gen.sh : 393 B
  744. seL4/src/plat/tx1/Makefile : 392 B
  745. seL4/src/machine/Makefile : 390 B
  746. seL4/src/smp/Makefile : 387 B
  747. seL4/include/api.h : 387 B
  748. seL4/src/arch/arm/object/Makefile : 379 B
  749. seL4/src/arch/arm/kernel/Makefile : 379 B
  750. seL4/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/exIPC.h : 379 B
  751. seL4/src/arch/x86/64/machine/Makefile : 378 B
  752. seL4/src/arch/x86/64/object/Makefile : 376 B
  753. seL4/src/arch/arm/64/object/Makefile : 376 B
  754. seL4/src/arch/arm/64/model/Makefile : 374 B
  755. seL4/include/arch/x86/arch/api/constants.h : 374 B
  756. seL4/include/arch/arm/arch/api/constants.h : 374 B
  757. seL4/src/plat/imx7/machine/Makefile : 373 B
  758. seL4/src/arch/arm/64/machine/capdl.c : 372 B
  759. seL4/src/arch/arm/armv/armv6/user_access.c : 371 B
  760. seL4/include/types.h : 370 B
  761. seL4/include/Makefile : 366 B
  762. seL4/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/exIPC.h : 362 B
  763. seL4/src/model/Makefile : 361 B
  764. seL4/include/machine/timer.h : 361 B
  765. seL4/include/arch/x86/arch/machine/capdl.h : 361 B
  766. seL4/include/arch/arm/arch/machine/capdl.h : 361 B
  767. seL4/include/benchmark/Makefile : 360 B
  768. seL4/include/plat/tx1/plat/machine/hardware.bf : 354 B
  769. seL4/src/plat/imx31/machine/Makefile : 353 B
  770. seL4/src/arch/arm/armv/armv8-a/64/benchmark.c : 349 B
  771. seL4/src/api/Makefile : 347 B
  772. seL4/libsel4/arch_include/x86/sel4/arch/mapping.h : 343 B
  773. seL4/libsel4/arch_include/arm/sel4/arch/mapping.h : 343 B
  774. seL4/src/plat/hikey/machine/Makefile : 342 B
  775. seL4/src/plat/exynos5/machine/l2cache.c : 341 B
  776. seL4/tools/xmllint.sh : 338 B
  777. seL4/src/arch/arm/32/kernel/Makefile : 338 B
  778. seL4/libsel4/tools/xmllint.sh : 338 B
  779. seL4/src/arch/x86/model/Makefile : 337 B
  780. seL4/src/plat/imx6/machine/Makefile : 334 B
  781. seL4/include/plat/tk1/plat/machine/Makefile : 332 B
  782. seL4/include/plat/zynq7000/plat/machine/Makefile : 331 B
  783. seL4/include/plat/omap3/plat/machine/Makefile : 331 B
  784. seL4/include/plat/imx7/plat/machine/Makefile : 331 B
  785. seL4/include/plat/imx6/plat/machine/Makefile : 331 B
  786. seL4/include/plat/imx31/plat/machine/Makefile : 331 B
  787. seL4/include/plat/exynos5/plat/machine/Makefile : 331 B
  788. seL4/include/plat/exynos4/plat/machine/Makefile : 331 B
  789. seL4/include/plat/apq8064/plat/machine/Makefile : 331 B
  790. seL4/include/plat/am335x/plat/machine/Makefile : 331 B
  791. seL4/src/arch/x86/api/Makefile : 330 B
  792. seL4/include/arch/x86/arch/object/Makefile : 330 B
  793. seL4/include/arch/arm/arch/object/Makefile : 330 B
  794. seL4/src/plat/tk1/machine/l2cache.c : 328 B
  795. seL4/src/fastpath/Makefile : 328 B
  796. seL4/include/plat/zynq7000/plat/Makefile : 328 B
  797. seL4/include/plat/tk1/plat/Makefile : 328 B
  798. seL4/include/plat/omap3/plat/Makefile : 328 B
  799. seL4/include/plat/imx7/plat/Makefile : 328 B
  800. seL4/include/plat/imx6/plat/Makefile : 328 B
  801. seL4/include/plat/imx31/plat/Makefile : 328 B
  802. seL4/include/plat/exynos5/plat/Makefile : 328 B
  803. seL4/include/plat/exynos4/plat/Makefile : 328 B
  804. seL4/include/plat/apq8064/plat/Makefile : 328 B
  805. seL4/include/plat/am335x/plat/Makefile : 328 B
  806. seL4/include/arch/x86/arch/Makefile : 327 B
  807. seL4/src/arch/arm/api/Makefile : 326 B
  808. seL4/include/arch/arm/arch/Makefile : 323 B
  809. seL4/include/plat/hikey/plat/machine/Makefile : 321 B
  810. seL4/include/plat/allwinnerA20/plat/machine/Makefile : 321 B
  811. seL4/src/plat/zynq7000/Makefile : 319 B
  812. seL4/src/plat/tk1/Makefile : 319 B
  813. seL4/src/plat/pc99/Makefile : 319 B
  814. seL4/src/plat/imx7/Makefile : 319 B
  815. seL4/src/plat/imx6/Makefile : 319 B
  816. seL4/src/plat/exynos5/Makefile : 319 B
  817. seL4/src/plat/exynos4/Makefile : 319 B
  818. seL4/src/plat/apq8064/Makefile : 319 B
  819. seL4/src/plat/am335x/Makefile : 318 B
  820. seL4/include/plat/hikey/plat/Makefile : 318 B
  821. seL4/include/plat/allwinnerA20/plat/Makefile : 318 B
  822. seL4/src/plat/omap3/Makefile : 317 B
  823. seL4/src/plat/imx31/Makefile : 317 B
  824. seL4/include/plat/bcm2837/plat/machine/Makefile : 317 B
  825. seL4/src/plat/allwinnerA20/Makefile : 314 B
  826. seL4/include/plat/bcm2837/plat/Makefile : 314 B
  827. seL4/src/plat/hikey/Makefile : 309 B
  828. seL4/include/arch/arm/arch/object/structures.bf : 308 B
  829. seL4/src/plat/bcm2837/Makefile : 305 B
  830. seL4/src/arch/x86/32/machine/Makefile : 305 B
  831. seL4/src/arch/x86/32/object/Makefile : 303 B
  832. seL4/src/arch/arm/32/object/Makefile : 303 B
  833. seL4/src/arch/x86/32/model/Makefile : 301 B
  834. seL4/src/arch/arm/32/model/Makefile : 301 B
  835. seL4/src/plat/apq8064/machine/l2cache.c : 300 B
  836. seL4/src/plat/zynq7000/machine/Makefile : 293 B
  837. seL4/include/plat/pc99/plat/machine/Makefile : 290 B
  838. seL4/src/plat/bcm2837/machine/l2cache.c : 288 B
  839. seL4/manual/extra.bib : 280 B
  840. seL4/include/plat/omap3/plat/machine/hardware.bf : 280 B
  841. seL4/include/plat/hikey/plat/machine/hardware.bf : 280 B
  842. seL4/include/plat/am335x/plat/machine/hardware.bf : 280 B
  843. seL4/include/plat/zynq7000/plat/machine/hardware.bf : 279 B
  844. seL4/include/plat/imx7/plat/machine/hardware.bf : 279 B
  845. seL4/include/plat/imx6/plat/machine/hardware.bf : 279 B
  846. seL4/include/plat/exynos5/plat/machine/hardware.bf : 279 B
  847. seL4/include/plat/exynos4/plat/machine/hardware.bf : 279 B
  848. seL4/include/plat/apq8064/plat/machine/hardware.bf : 279 B
  849. seL4/libsel4/Kbuild : 277 B
  850. seL4/include/plat/allwinnerA20/plat/machine/hardware.bf : 270 B
  851. seL4/include/plat/bcm2837/plat/machine/hardware.bf : 265 B
  852. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/pfIPC.h : 264 B
  853. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/exIPC.h : 264 B
  854. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/pfIPC.h : 264 B
  855. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/exIPC.h : 264 B
  856. seL4/libsel4/arch_include/x86/sel4/arch/pfIPC.h : 264 B
  857. seL4/libsel4/arch_include/x86/sel4/arch/exIPC.h : 264 B
  858. seL4/libsel4/arch_include/arm/sel4/arch/pfIPC.h : 264 B
  859. seL4/libsel4/arch_include/x86/sel4/arch/simple_types.h : 236 B
  860. seL4/libsel4/tools/__init__.pyc : 202 B
  861. .gitignore : 107 B
  862. .gitmodules : 68 B
  863. seL4/manual/VERSION : 5 B
  864. seL4/VERSION : 5 B