Ugly Alpha 1
sel4-sys:0.0.22

total uncompressed bytes

3.1 MB

total files

725

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, }

674 wasted files

total waste: 2.7 MB

  1. seL4/tools/yacc.py : 128.1 KB
  2. seL4/tools/bitfield_gen.py : 109.7 KB
  3. seL4/libsel4/tools/bitfield_gen.py : 109.7 KB
  4. seL4/src/arch/arm/32/kernel/vspace.c : 96.1 KB
  5. seL4/manual/figs/fig1-3.svg : 52.4 KB
  6. seL4/manual/figs/CDT.pdf : 52.1 KB
  7. seL4/manual/figs/fig1-2.svg : 47.0 KB
  8. seL4/src/arch/x86/kernel/vspace.c : 46.0 KB
  9. seL4/manual/figs/fig1-1.svg : 43.7 KB
  10. seL4/tools/lex.py : 40.7 KB
  11. seL4/manual/figs/fig1-4.svg : 35.5 KB
  12. seL4/manual/figs/fig2-1.pdf : 34.6 KB
  13. seL4/src/object/tcb.c : 32.6 KB
  14. seL4/src/arch/x86/32/kernel/vspace.c : 30.1 KB
  15. seL4/src/object/cnode.c : 28.2 KB
  16. seL4/libsel4/tools/syscall_stub_gen.py : 28.0 KB
  17. seL4/manual/figs/fig2-1.svg : 27.8 KB
  18. seL4/src/plat/apq8064/machine/hardware.c : 26.0 KB
  19. seL4/src/plat/exynos5/machine/hardware.c : 25.6 KB
  20. seL4/manual/parts/cspace.tex : 25.2 KB
  21. seL4/gdb-macros : 22.5 KB
  22. seL4/src/object/objecttype.c : 22.0 KB
  23. seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/syscalls.h : 21.6 KB
  24. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/syscalls.h : 21.6 KB
  25. seL4/src/arch/arm/32/object/objecttype.c : 21.4 KB
  26. seL4/Makefile : 21.2 KB
  27. seL4/manual/parts/objects.tex : 19.2 KB
  28. seL4/src/plat/exynos4/machine/hardware.c : 18.7 KB
  29. seL4/Kconfig : 17.9 KB
  30. seL4/src/plat/pc99/machine/acpi.c : 17.0 KB
  31. seL4/src/arch/arm/object/vcpu.c : 16.8 KB
  32. seL4/src/plat/pc99/machine/intel-vtd.c : 16.2 KB
  33. seL4/src/kernel/boot.c : 16.2 KB
  34. seL4/src/api/syscall.c : 16.1 KB
  35. seL4/LICENSE_GPLv2.txt : 15.9 KB
  36. seL4/src/plat/omap3/machine/hardware.c : 15.8 KB
  37. seL4/src/arch/x86/kernel/boot_sys.c : 15.8 KB
  38. seL4/src/arch/x86/object/iospace.c : 15.7 KB
  39. seL4/src/plat/imx6/machine/hardware.c : 15.7 KB
  40. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/syscalls.h : 15.5 KB
  41. seL4/src/arch/x86/32/kernel/vspace_pae.c : 15.3 KB
  42. seL4/manual/parts/bootup.tex : 15.1 KB
  43. seL4/src/arch/arm/object/iospace.c : 15.1 KB
  44. seL4/include/plat/apq8064/plat/machine/devices.h : 15.0 KB
  45. seL4/src/arch/x86/32/traps.S : 14.6 KB
  46. seL4/manual/figs/fig1-4.pdf : 14.6 KB
  47. seL4/src/arch/arm/machine/l2c_310.c : 14.4 KB
  48. seL4/src/arch/x86/object/objecttype.c : 14.0 KB
  49. seL4/manual/parts/threads.tex : 13.5 KB
  50. seL4/manual/figs/fig1-3.pdf : 13.4 KB
  51. seL4/manual/parts/ipc.tex : 12.8 KB
  52. seL4/src/arch/x86/32/kernel/vspace_32paging.c : 12.4 KB
  53. seL4/src/plat/tk1/machine/hardware.c : 12.4 KB
  54. seL4/src/kernel/thread.c : 12.0 KB
  55. seL4/manual/figs/fig1-1.pdf : 12.0 KB
  56. seL4/src/plat/imx31/machine/hardware.c : 11.9 KB
  57. seL4/include/arch/x86/arch/32/mode/object/structures.bf : 11.4 KB
  58. seL4/manual/parts/api.tex : 11.4 KB
  59. seL4/manual/figs/fig1-2.pdf : 11.3 KB
  60. seL4/src/fastpath/fastpath.c : 11.2 KB
  61. seL4/src/arch/x86/kernel/boot.c : 11.1 KB
  62. seL4/src/arch/arm/kernel/boot.c : 11.1 KB
  63. seL4/include/arch/arm/arch/32/mode/object/structures.h : 11.0 KB
  64. seL4/include/plat/exynos5/plat/machine/devices.h : 10.9 KB
  65. seL4/src/plat/am335x/machine/hardware.c : 10.8 KB
  66. seL4/src/plat/tk1/machine/smmu.c : 10.7 KB
  67. seL4/src/arch/arm/machine/gic_pl390.c : 10.7 KB
  68. seL4/src/arch/arm/32/hyp_traps.S : 10.6 KB
  69. seL4/src/arch/x86/machine/capdl.c : 10.5 KB
  70. seL4/include/plat/imx6/plat/machine/devices.h : 10.3 KB
  71. seL4/include/arch/arm/arch/32/mode/machine.h : 10.3 KB
  72. seL4/include/arch/x86/arch/machine.h : 10.2 KB
  73. seL4/src/object/endpoint.c : 10.1 KB
  74. seL4/src/object/untyped.c : 9.8 KB
  75. seL4/manual/export.bst : 9.7 KB
  76. seL4/include/arch/arm/arch/32/mode/object/structures.bf : 9.6 KB
  77. seL4/include/object/structures.h : 9.3 KB
  78. seL4/include/plat/tk1/plat/machine.h : 9.3 KB
  79. seL4/manual/parts/vspace.tex : 9.2 KB
  80. seL4/src/arch/arm/machine/capdl.c : 9.2 KB
  81. seL4/manual/parts/io.tex : 9.1 KB
  82. seL4/include/plat/tk1/plat/machine/devices.h : 9.1 KB
  83. seL4/manual/references.bib : 8.9 KB
  84. seL4/src/plat/zynq7000/machine/hardware.c : 8.7 KB
  85. seL4/include/plat/exynos4/plat/machine/devices.h : 8.3 KB
  86. seL4/include/arch/x86/arch/32/mode/object/structures.h : 8.3 KB
  87. seL4/src/arch/x86/object/interrupt.c : 8.1 KB
  88. seL4/src/arch/x86/kernel/apic.c : 7.8 KB
  89. seL4/src/plat/pc99/machine/ioapic.c : 7.6 KB
  90. seL4/src/plat/imx7/machine/hardware.c : 7.4 KB
  91. seL4/include/plat/exynos5/plat/machine.h : 7.4 KB
  92. seL4/src/plat/pc99/machine/pci.c : 7.2 KB
  93. seL4/src/arch/arm/32/traps.S : 7.1 KB
  94. CONTRIBUTING.md : 7.1 KB
  95. seL4/src/object/interrupt.c : 7.0 KB
  96. seL4/src/arch/arm/object/tcb.c : 6.8 KB
  97. seL4/include/plat/hikey/plat/machine.h : 6.8 KB
  98. seL4/src/object/notification.c : 6.7 KB
  99. seL4/src/arch/x86/32/object/objecttype.c : 6.7 KB
  100. seL4/src/plat/exynos_common/mct.c : 6.7 KB
  101. seL4/manual/Makefile : 6.7 KB
  102. seL4/include/plat/exynos4/plat/machine.h : 6.6 KB
  103. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/deprecated.h : 6.4 KB
  104. seL4/src/machine/io.c : 6.3 KB
  105. seL4/include/plat/imx6/plat/machine.h : 6.3 KB
  106. seL4/include/plat/tk1/plat/machine/smmu.h : 6.3 KB
  107. seL4/src/arch/arm/machine/cache.c : 6.3 KB
  108. seL4/include/arch/arm/arch/32/mode/machine/debug.h : 6.2 KB
  109. seL4/src/arch/x86/object/tcb.c : 6.1 KB
  110. seL4/manual/parts/api/untyped_retype.tex : 6.0 KB
  111. seL4/src/kernel/cspace.c : 6.0 KB
  112. seL4/include/plat/omap3/plat/machine/devices.h : 5.9 KB
  113. seL4/libsel4/arch_include/x86/interfaces/sel4arch.xml : 5.7 KB
  114. seL4/tools/syscall_header_gen.py : 5.5 KB
  115. seL4/libsel4/tools/syscall_header_gen.py : 5.5 KB
  116. seL4/include/arch/x86/arch/32/mode/fastpath/fastpath.h : 5.5 KB
  117. seL4/src/arch/x86/object/ioport.c : 5.3 KB
  118. seL4/include/arch/x86/arch/kernel/vspace.h : 5.2 KB
  119. seL4/src/arch/x86/kernel/cmdline.c : 5.1 KB
  120. seL4/include/object/structures_32.bf : 5.0 KB
  121. seL4/src/plat/pc99/Kconfig : 5.0 KB
  122. seL4/src/arch/x86/machine/fpu.c : 4.9 KB
  123. seL4/manual/disy.sty : 4.8 KB
  124. seL4/src/arch/x86/32/head.S : 4.6 KB
  125. seL4/tools/invocation_header_gen.py : 4.6 KB
  126. seL4/libsel4/tools/invocation_header_gen.py : 4.6 KB
  127. seL4/include/arch/arm/arch/32/mode/machine_pl2.h : 4.5 KB
  128. seL4/src/machine/profiler.c : 4.5 KB
  129. seL4/src/plat/allwinnerA20/machine/hardware.c : 4.3 KB
  130. seL4/libsel4/Makefile : 4.3 KB
  131. seL4/include/arch/arm/arch/32/mode/machine/hardware.h : 4.3 KB
  132. seL4/src/arch/arm/32/head.S : 4.2 KB
  133. seL4/src/arch/x86/32/c_traps.c : 4.2 KB
  134. seL4/include/arch/arm/arch/32/mode/machine/registerset.h : 4.2 KB
  135. seL4/include/object/tcb.h : 4.1 KB
  136. seL4/manual/manual.tex : 4.1 KB
  137. seL4/src/arch/arm/machine/debug.c : 4.0 KB
  138. seL4/include/plat/zynq7000/plat/machine.h : 3.9 KB
  139. seL4/src/arch/x86/api/faults.c : 3.9 KB
  140. seL4/include/plat/allwinnerA20/plat/machine.h : 3.8 KB
  141. seL4/include/plat/zynq7000/plat/machine/devices.h : 3.7 KB
  142. seL4/manual/parts/notifications.tex : 3.6 KB
  143. seL4/src/kernel/faulthandler.c : 3.6 KB
  144. seL4/include/arch/arm/arch/kernel/vspace.h : 3.5 KB
  145. seL4/src/arch/arm/armv/armv8-a/aarch32/cache.c : 3.5 KB
  146. seL4/src/arch/arm/armv/armv7-a/cache.c : 3.5 KB
  147. seL4/include/plat/hikey/autoconf.h : 3.3 KB
  148. seL4/include/plat/pc99/autoconf.h : 3.3 KB
  149. seL4/src/plat/hikey/machine/hardware.c : 3.3 KB
  150. seL4/include/plat/exynos5/autoconf.h : 3.3 KB
  151. seL4/libsel4/arch_include/arm/interfaces/sel4arch.xml : 3.3 KB
  152. seL4/include/plat/imx7/plat/machine/devices.h : 3.3 KB
  153. seL4/include/plat/apq8064/autoconf.h : 3.3 KB
  154. seL4/src/arch/x86/machine/hardware.c : 3.3 KB
  155. seL4/include/util.h : 3.2 KB
  156. seL4/include/plat/imx6/autoconf.h : 3.2 KB
  157. seL4/include/plat/zynq7000/autoconf.h : 3.2 KB
  158. seL4/include/plat/exynos4/autoconf.h : 3.2 KB
  159. seL4/include/plat/am335x/autoconf.h : 3.2 KB
  160. seL4/include/plat/omap3/autoconf.h : 3.2 KB
  161. seL4/include/plat/imx7/autoconf.h : 3.2 KB
  162. seL4/include/plat/imx31/autoconf.h : 3.2 KB
  163. seL4/include/arch/arm/arch/32/mode/fastpath/fastpath.h : 3.1 KB
  164. seL4/src/util.c : 3.1 KB
  165. seL4/include/plat/omap3/plat/machine.h : 3.1 KB
  166. seL4/include/arch/x86/arch/machine/fpu.h : 3.1 KB
  167. seL4/include/arch/x86/arch/32/mode/machine.h : 3.0 KB
  168. seL4/tools/umm.py : 3.0 KB
  169. seL4/include/arch/x86/arch/object/structures.bf : 2.9 KB
  170. seL4/src/plat/pc99/machine/pic.c : 2.9 KB
  171. seL4/manual/figs/CDT.graffle : 2.9 KB
  172. seL4/CAVEATS-generic.txt : 2.8 KB
  173. seL4/include/fastpath/fastpath.h : 2.8 KB
  174. seL4/include/plat/imx7/plat/machine.h : 2.7 KB
  175. seL4/README.md : 2.6 KB
  176. seL4/libsel4/arch_include/x86/sel4/arch/functions.h : 2.6 KB
  177. seL4/src/arch/arm/armv/armv7-a/machine_asm.S : 2.6 KB
  178. seL4/include/kernel/boot.h : 2.5 KB
  179. seL4/libsel4/sel4_arch_include/arm_hyp/interfaces/sel4arch.xml : 2.5 KB
  180. seL4/libsel4/sel4_arch_include/aarch32/interfaces/sel4arch.xml : 2.5 KB
  181. seL4/include/config.h : 2.5 KB
  182. seL4/src/arch/arm/machine/errata.c : 2.4 KB
  183. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/exIPC.h : 2.4 KB
  184. seL4/src/arch/x86/c_traps.c : 2.4 KB
  185. seL4/include/benchmark_utilisation.h : 2.3 KB
  186. seL4/src/arch/arm/api/faults.c : 2.3 KB
  187. seL4/include/arch/arm/arch/object/vcpu.h : 2.3 KB
  188. seL4/include/arch/arm/arch/machine.h : 2.3 KB
  189. seL4/include/arch/x86/arch/kernel/elf.h : 2.2 KB
  190. seL4/src/arch/x86/32/machine/registerset.c : 2.2 KB
  191. seL4/include/arch/x86/arch/machine/hardware.h : 2.2 KB
  192. seL4/libsel4/arch_include/arm/sel4/arch/functions.h : 2.2 KB
  193. seL4/src/plat/pc99/machine/hardware.c : 2.2 KB
  194. seL4/src/arch/x86/kernel/elf.c : 2.1 KB
  195. seL4/include/benchmark.h : 2.1 KB
  196. seL4/include/machine/profiler.h : 2.1 KB
  197. seL4/include/object/objecttype.h : 2.1 KB
  198. seL4/src/plat/apq8064/machine/timer.c : 2.1 KB
  199. seL4/manual/parts/intro.tex : 2.0 KB
  200. seL4/include/object/cnode.h : 2.0 KB
  201. seL4/src/arch/x86/32/machine_asm.S : 2.0 KB
  202. seL4/include/kernel/cspace.h : 2.0 KB
  203. seL4/include/benchmark_track.h : 2.0 KB
  204. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/functions.h : 2.0 KB
  205. seL4/include/kernel/thread.h : 1.9 KB
  206. seL4/include/arch/x86/arch/32/mode/machine/registerset.h : 1.9 KB
  207. seL4/include/arch/arm/arch/object/iospace.h : 1.9 KB
  208. seL4/src/plat/imx31/machine/io.c : 1.9 KB
  209. seL4/include/plat/pc99/plat/machine.h : 1.9 KB
  210. seL4/include/arch/x86/arch/object/objecttype.h : 1.9 KB
  211. seL4/libsel4/arch_include/x86/sel4/arch/pfIPC.h : 1.9 KB
  212. seL4/src/plat/imx7/machine/io.c : 1.9 KB
  213. seL4/src/plat/imx6/machine/io.c : 1.9 KB
  214. seL4/src/plat/exynos_common/io.c : 1.9 KB
  215. seL4/include/plat/imx31/plat/machine/devices.h : 1.8 KB
  216. seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/exIPC.h : 1.8 KB
  217. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/exIPC.h : 1.8 KB
  218. seL4/src/arch/x86/model/statedata.c : 1.8 KB
  219. seL4/manual/parts/api/cnode_rotate.tex : 1.8 KB
  220. seL4/include/plat/apq8064/plat/machine.h : 1.8 KB
  221. seL4/libsel4/include/api/syscall.xsd : 1.8 KB
  222. seL4/include/arch/arm/armv/armv8-a/armv/context_switch.h : 1.8 KB
  223. seL4/include/arch/arm/armv/armv7-a/armv/context_switch.h : 1.8 KB
  224. seL4/libsel4/include/api/syscall.xml : 1.8 KB
  225. seL4/src/plat/zynq7000/machine/io.c : 1.8 KB
  226. seL4/include/arch/x86/arch/object/structures.h : 1.8 KB
  227. seL4/include/arch/x86/arch/kernel/multiboot.h : 1.8 KB
  228. seL4/src/model/statedata.c : 1.7 KB
  229. seL4/include/plat/pc99/plat/machine/hardware.bf : 1.7 KB
  230. seL4/src/benchmark_utilisation.c : 1.7 KB
  231. seL4/src/plat/zynq7000/linker.lds : 1.7 KB
  232. seL4/src/plat/tk1/linker.lds : 1.7 KB
  233. seL4/src/plat/omap3/linker.lds : 1.7 KB
  234. seL4/src/plat/imx6/linker.lds : 1.7 KB
  235. seL4/src/plat/imx31/linker.lds : 1.7 KB
  236. seL4/src/plat/exynos5/linker.lds : 1.7 KB
  237. seL4/src/plat/exynos4/linker.lds : 1.7 KB
  238. seL4/src/plat/apq8064/linker.lds : 1.7 KB
  239. seL4/src/plat/am335x/linker.lds : 1.7 KB
  240. seL4/src/plat/imx7/linker.lds : 1.7 KB
  241. seL4/src/plat/pc99/linker.lds : 1.7 KB
  242. seL4/src/plat/hikey/linker.lds : 1.7 KB
  243. seL4/src/plat/allwinnerA20/linker.lds : 1.7 KB
  244. seL4/src/arch/arm/32/model/statedata.c : 1.7 KB
  245. .signing-exceptions : 1.7 KB
  246. seL4/src/benchmark_track.c : 1.7 KB
  247. seL4/src/arch/arm/32/idle.S : 1.6 KB
  248. seL4/include/benchmark_track_types.h : 1.6 KB
  249. seL4/include/plat/tk1/autoconf.h : 1.6 KB
  250. seL4/src/plat/pc99/machine/io.c : 1.5 KB
  251. seL4/include/plat/pc99/plat/32/plat_mode/machine/hardware.h : 1.5 KB
  252. seL4/include/plat/pc99/plat/machine/acpi.h : 1.5 KB
  253. seL4/include/arch/x86/arch/kernel/boot.h : 1.5 KB
  254. seL4/LICENSE_BSD2.txt : 1.5 KB
  255. LICENSE_BSD2.txt : 1.5 KB
  256. seL4/CONTRIBUTORS.md : 1.5 KB
  257. seL4/manual/README : 1.5 KB
  258. seL4/include/plat/tk1/plat/machine/hardware.bf : 1.5 KB
  259. seL4/src/arch/arm/armv/armv8-a/aarch32/user_access.c : 1.4 KB
  260. seL4/src/arch/arm/armv/armv7-a/user_access.c : 1.4 KB
  261. seL4/include/arch/x86/arch/model/statedata.h : 1.4 KB
  262. seL4/src/arch/x86/32/kernel/thread.c : 1.4 KB
  263. seL4/CONTRIBUTING.md : 1.4 KB
  264. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/constants.h : 1.4 KB
  265. seL4/include/arch/x86/arch/32/mode/api/constants.h : 1.4 KB
  266. seL4/include/arch/arm/arch/fastpath/fastpath.h : 1.4 KB
  267. seL4/include/arch/x86/arch/machine/cpu_registers.h : 1.4 KB
  268. seL4/src/arch/arm/machine/priv_timer.c : 1.4 KB
  269. seL4/include/arch/x86/arch/32/mode/machine/cpu_registers.h : 1.4 KB
  270. seL4/libsel4/Kconfig : 1.4 KB
  271. seL4/src/arch/arm/armv/armv8-a/aarch32/benchmark.c : 1.3 KB
  272. seL4/src/arch/arm/armv/armv7-a/benchmark.c : 1.3 KB
  273. seL4/include/arch/arm/arch/object/objecttype.h : 1.3 KB
  274. seL4/include/object/untyped.h : 1.3 KB
  275. seL4/include/model/statedata.h : 1.3 KB
  276. seL4/include/arch/x86/arch/object/iospace.h : 1.3 KB
  277. seL4/include/plat/hikey/plat/machine/devices.h : 1.3 KB
  278. seL4/include/plat/allwinnerA20/plat/machine/devices.h : 1.3 KB
  279. seL4/src/arch/arm/Kconfig : 1.2 KB
  280. seL4/include/object/interrupt.h : 1.2 KB
  281. seL4/manual/tools/gen_env.py : 1.2 KB
  282. seL4/src/plat/apq8064/machine/io.c : 1.2 KB
  283. seL4/src/model/preemption.c : 1.2 KB
  284. seL4/src/string.c : 1.2 KB
  285. seL4/src/arch/arm/armv/armv6/machine_asm.S : 1.2 KB
  286. seL4/manual/parts/api/cnode_recycle.tex : 1.2 KB
  287. seL4/src/plat/pc99/machine/pit.c : 1.2 KB
  288. seL4/libsel4/arch_include/arm/sel4/arch/pfIPC.h : 1.2 KB
  289. seL4/include/arch/x86/arch/machine/registerset.h : 1.2 KB
  290. seL4/include/arch/arm/armv/armv8-a/armv/benchmark.h : 1.1 KB
  291. seL4/include/arch/arm/armv/armv7-a/armv/benchmark.h : 1.1 KB
  292. seL4/include/arch/x86/arch/benchmark.h : 1.1 KB
  293. seL4/manual/parts/api/tcb_copyregisters.tex : 1.1 KB
  294. seL4/tools/changed.sh : 1.1 KB
  295. seL4/libsel4/tools/changed.sh : 1.1 KB
  296. seL4/include/machine/assembler.h : 1.1 KB
  297. seL4/libsel4/arch_include/x86/sel4/arch/constants.h : 1.0 KB
  298. seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/constants.h : 1.0 KB
  299. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/constants.h : 1.0 KB
  300. seL4/include/arch/arm/arch/32/mode/api/constants.h : 1.0 KB
  301. seL4/include/machine.h : 1.0 KB
  302. seL4/src/plat/am335x/machine/io.c : 1.0 KB
  303. seL4/manual/parts/api/arm_page_invalidatedata.tex : 1.0 KB
  304. seL4/src/plat/allwinnerA20/machine/io.c : 1.0 KB
  305. seL4/src/plat/omap3/machine/io.c : 1.0 KB
  306. seL4/src/arch/arm/armv/armv6/benchmark.c : 1.0 KB
  307. seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/types.h : 1.0 KB
  308. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/types.h : 1.0 KB
  309. seL4/libsel4/arch_include/x86/sel4/arch/types.h : 1.0 KB
  310. seL4/include/machine/io.h : 1.0 KB
  311. seL4/include/assert.h : 1.0 KB
  312. seL4/src/plat/hikey/machine/io.c : 1.0 KB
  313. seL4/include/plat/pc99/plat/machine/ioapic.h : 1.0 KB
  314. seL4/libsel4/arch_include/arm/sel4/arch/objecttype.h : 997 B
  315. seL4/include/arch/arm/arch/api/objecttype.h : 997 B
  316. .travis.yml : 981 B
  317. seL4/include/plat/am335x/plat/machine/devices.h : 965 B
  318. seL4/include/arch/arm/arch/object/interrupt.h : 955 B
  319. seL4/include/machine/capdl.h : 945 B
  320. seL4/src/plat/tk1/machine/io.c : 941 B
  321. seL4/include/arch/arm/arch/types.h : 941 B
  322. seL4/manual/parts/api/arm_page_unifyinstruction.tex : 932 B
  323. seL4/src/arch/arm/32/c_traps.c : 931 B
  324. seL4/manual/parts/api/cnode_savecaller.tex : 917 B
  325. seL4/include/plat/zynq7000/plat/machine/hardware.h : 912 B
  326. seL4/include/plat/imx7/plat/machine/hardware.h : 912 B
  327. seL4/include/plat/imx6/plat/machine/hardware.h : 912 B
  328. seL4/include/plat/exynos5/plat/machine/hardware.h : 912 B
  329. seL4/include/plat/exynos4/plat/machine/hardware.h : 912 B
  330. seL4/manual/parts/api/tcb_configure.tex : 909 B
  331. seL4/src/plat/omap3/machine/l2cache.c : 908 B
  332. seL4/src/plat/am335x/machine/l2cache.c : 908 B
  333. seL4/src/arch/arm/machine/Makefile : 908 B
  334. seL4/include/arch/x86/arch/kernel/lock.h : 903 B
  335. seL4/src/plat/allwinnerA20/machine/l2cache.c : 898 B
  336. seL4/src/assert.c : 897 B
  337. seL4/include/arch/x86/arch/types.h : 894 B
  338. seL4/include/plat/pc99/plat/machine/io.h : 882 B
  339. seL4/src/arch/arm/32/kernel/thread.c : 872 B
  340. seL4/manual/parts/api/arm_page_cleaninvalidatedata.tex : 866 B
  341. seL4/include/arch/arm/arch/model/statedata.h : 863 B
  342. seL4/include/arch/arm/armv/armv6/armv/context_switch.h : 862 B
  343. seL4/libsel4/arch_include/arm/sel4/arch/deprecated.h : 856 B
  344. seL4/include/object/notification.h : 837 B
  345. seL4/manual/parts/api/cnode_mint.tex : 830 B
  346. seL4/manual/parts/api/ia32_ASID_controlmakepool.tex : 829 B
  347. seL4/manual/parts/api/arm_asidcontrol_makepool.tex : 823 B
  348. seL4/include/arch/arm/arch/32/mode/model/statedata.h : 821 B
  349. seL4/libsel4/arch_include/x86/sel4/arch/deprecated.h : 819 B
  350. seL4/include/arch/arm/armv/armv6/armv/benchmark.h : 806 B
  351. seL4/manual/parts/api/sel4_poll.tex : 803 B
  352. seL4/include/arch/x86/arch/object/interrupt.h : 800 B
  353. .gitlab-ci.yml : 799 B
  354. seL4/include/basic_types.h : 798 B
  355. seL4/manual/parts/api/tcb_writeregisters.tex : 797 B
  356. seL4/include/object/endpoint.h : 793 B
  357. seL4/include/compound_types.h : 790 B
  358. seL4/manual/parts/api/tcb_readregisters.tex : 788 B
  359. seL4/manual/parts/api/tcb_setspace.tex : 787 B
  360. seL4/include/arch/arm/armv/armv6/armv/machine.h : 782 B
  361. seL4/include/arch/arm/arch/machine/l2c_310.h : 777 B
  362. seL4/manual/parts/api/cnode_copy.tex : 776 B
  363. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/types.h : 774 B
  364. seL4/manual/parts/api/cnode_mutate.tex : 772 B
  365. seL4/libsel4/tools/sel4_idl.dtd : 770 B
  366. seL4/include/arch/arm/arch/linker.h : 768 B
  367. seL4/manual/parts/api/arm_page_cleandata.tex : 766 B
  368. seL4/tools/bf.vim : 765 B
  369. seL4/include/plat/apq8064/plat/machine/io.h : 757 B
  370. seL4/CAVEATS-ia32.txt : 756 B
  371. seL4/include/plat/exynos5/plat/machine/io.h : 755 B
  372. seL4/include/plat/exynos4/plat/machine/io.h : 755 B
  373. seL4/include/plat/zynq7000/plat/machine/io.h : 751 B
  374. seL4/include/plat/imx7/plat/machine/io.h : 751 B
  375. seL4/include/plat/imx6/plat/machine/io.h : 751 B
  376. seL4/libsel4/arch_include/x86/sel4/arch/objecttype.h : 743 B
  377. seL4/include/arch/x86/arch/api/objecttype.h : 743 B
  378. seL4/manual/parts/api/irq_controlget.tex : 740 B
  379. seL4/include/machine/hardware.h : 736 B
  380. seL4/src/arch/arm/32/Makefile : 733 B
  381. seL4/src/arch/arm/32/machine/registerset.c : 732 B
  382. seL4/include/arch/x86/arch/linker.h : 732 B
  383. seL4/include/arch/arm/arch/object/tcb.h : 730 B
  384. seL4/manual/parts/api/ia32_pagedirectory_getstatusbits.tex : 728 B
  385. seL4/include/arch/arm/armv/armv6/armv/benchmark_irqHandler.h : 726 B
  386. seL4/.gitignore : 726 B
  387. seL4/manual/parts/api/sel4_wait.tex : 725 B
  388. seL4/include/arch/arm/arch/benchmark_overflowHandler.h : 724 B
  389. seL4/src/arch/arm/Makefile : 721 B
  390. seL4/include/plat/allwinnerA20/plat/machine/io.h : 716 B
  391. seL4/libsel4/sel4_arch_include/ia32/interfaces/sel4arch.xml : 715 B
  392. seL4/include/plat/am335x/plat/machine/io.h : 714 B
  393. seL4/manual/parts/api/ia32_page_mapio.tex : 712 B
  394. seL4/include/plat/omap3/plat/machine/io.h : 712 B
  395. seL4/include/plat/imx31/plat/machine/io.h : 712 B
  396. seL4/src/Makefile : 710 B
  397. seL4/manual/parts/api/sel4_signal.tex : 709 B
  398. seL4/include/plat/tk1/plat/machine/io.h : 708 B
  399. seL4/src/arch/x86/Makefile : 707 B
  400. seL4/manual/parts/api/ia32_io_pagetable_map.tex : 707 B
  401. seL4/libsel4/arch_include/arm/sel4/arch/types.h : 700 B
  402. seL4/include/machine/registerset.h : 699 B
  403. seL4/include/bootinfo.h : 697 B
  404. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/objecttype.h : 692 B
  405. seL4/include/plat/hikey/plat/machine/io.h : 692 B
  406. seL4/include/arch/x86/arch/32/mode/api/objecttype.h : 692 B
  407. seL4/manual/parts/api/irq_handlersetnotification.tex : 689 B
  408. seL4/manual/parts/api/cnode_move.tex : 689 B
  409. seL4/src/plat/pc99/machine/debug_helpers.c : 687 B
  410. seL4/include/plat/pc99/plat/machine/pic.h : 684 B
  411. seL4/manual/parts/api/arm_pagetable_map.tex : 683 B
  412. seL4/manual/parts/api/ia32_pagetable_map.tex : 677 B
  413. seL4/manual/parts/api/ia32_page_map.tex : 676 B
  414. seL4/include/arch/x86/arch/object/tcb.h : 671 B
  415. seL4/src/arch/x86/32/model/statedata.c : 670 B
  416. seL4/manual/parts/api/arm_page_map.tex : 669 B
  417. seL4/include/arch/arm/arch/kernel/boot.h : 669 B
  418. seL4/src/arch/x86/32/Makefile : 668 B
  419. seL4/include/benchmark_utilisation_types.h : 667 B
  420. seL4/include/arch/x86/arch/fastpath/fastpath.h : 667 B
  421. seL4/src/plat/pc99/machine/Makefile : 664 B
  422. seL4/src/arch/arm/32/halt.S : 664 B
  423. seL4/libsel4/src/sel4_bootinfo.c : 656 B
  424. seL4/include/arch/arm/armv/armv8-a/armv/benchmark_irqHandler.h : 655 B
  425. seL4/include/arch/arm/armv/armv7-a/armv/benchmark_irqHandler.h : 655 B
  426. seL4/include/arch/x86/arch/kernel/apic.h : 652 B
  427. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/simple_types.h : 651 B
  428. seL4/include/plat/tk1/plat/machine/hardware.h : 645 B
  429. seL4/src/arch/x86/api/benchmark.c : 644 B
  430. seL4/libsel4/arch_include/x86/sel4/arch/syscalls.h : 644 B
  431. seL4/libsel4/arch_include/arm/sel4/arch/syscalls.h : 644 B
  432. seL4/src/arch/arm/object/interrupt.c : 643 B
  433. seL4/include/plat/imx31/plat/machine.h : 642 B
  434. seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/mapping.h : 640 B
  435. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/mapping.h : 640 B
  436. seL4/include/plat/apq8064/plat/machine/hardware.h : 639 B
  437. seL4/include/arch/x86/arch/api/types.h : 639 B
  438. seL4/src/arch/arm/armv/armv6/cache.c : 638 B
  439. seL4/manual/parts/api/arm_page_remap.tex : 637 B
  440. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/mapping.h : 636 B
  441. seL4/libsel4/arch_include/arm/sel4/arch/simple_types.h : 632 B
  442. seL4/include/plat/pc99/plat/machine/pci.h : 632 B
  443. seL4/include/plat/pc99/plat/machine/devices.h : 631 B
  444. seL4/manual/parts/api/ia32_page_remap.tex : 625 B
  445. seL4/include/arch/x86/arch/kernel/cmdline.h : 625 B
  446. seL4/include/arch/x86/arch/machine/pat.h : 624 B
  447. seL4/include/arch/arm/armv/armv8-a/armv/machine.h : 623 B
  448. seL4/include/arch/arm/armv/armv7-a/armv/machine.h : 623 B
  449. seL4/include/arch/arm/arch/api/types.h : 622 B
  450. seL4/manual/parts/api/ia32_IO_portin32.tex : 619 B
  451. seL4/manual/parts/api/ia32_IO_portin16.tex : 619 B
  452. seL4/manual/parts/api/ia32_page_getaddress.tex : 614 B
  453. seL4/manual/parts/api/ia32_IO_portin8.tex : 614 B
  454. seL4/include/object.h : 613 B
  455. seL4/manual/parts/api/sel4_replyrecv.tex : 611 B
  456. seL4/src/arch/arm/api/benchmark.c : 610 B
  457. seL4/manual/parts/api/tcb_setipcbuffer.tex : 607 B
  458. seL4/include/plat/omap3/plat/machine/hardware.h : 605 B
  459. seL4/include/plat/imx31/plat/machine/hardware.h : 605 B
  460. seL4/include/plat/hikey/plat/machine/hardware.h : 605 B
  461. seL4/include/plat/am335x/plat/machine/hardware.h : 605 B
  462. seL4/manual/parts/api/arm_page_getaddress.tex : 599 B
  463. seL4/include/plat/allwinnerA20/plat/machine/hardware.h : 595 B
  464. seL4/include/arch/x86/arch/object/ioport.h : 594 B
  465. seL4/include/string.h : 592 B
  466. seL4/include/arch/x86/arch/kernel/traps.h : 591 B
  467. seL4/include/arch/x86/arch/32/mode/model/statedata.h : 588 B
  468. seL4/include/plat/pc99/plat/machine/hardware.h : 579 B
  469. seL4/include/plat/am335x/plat/machine.h : 579 B
  470. seL4/manual/parts/api/sel4_nbrecv.tex : 577 B
  471. seL4/manual/parts/api/ia32_IO_portout32.tex : 577 B
  472. seL4/manual/parts/api/ia32_IO_portout16.tex : 577 B
  473. seL4/manual/parts/api/tcb_bindnotification.tex : 573 B
  474. seL4/manual/parts/api/ia32_IO_portout8.tex : 572 B
  475. seL4/include/stdint.h : 572 B
  476. seL4/manual/parts/api/arm_pagetable_unmap.tex : 565 B
  477. seL4/manual/parts/api/cnode_revoke.tex : 561 B
  478. seL4/manual/parts/api/ia32_ASID_poolassign.tex : 558 B
  479. seL4/manual/parts/api/arm_asidpool_assign.tex : 557 B
  480. seL4/manual/parts/api/ia32_pagetable_unmap.tex : 556 B
  481. seL4/manual/parts/api/domainset_set.tex : 552 B
  482. seL4/include/arch/x86/arch/kernel/boot_sys.h : 552 B
  483. seL4/src/arch/x86/kernel/Makefile : 546 B
  484. seL4/include/plat/pc99/plat/machine/intel-vtd.h : 545 B
  485. seL4/src/arch/arm/armv/armv8-a/Makefile : 543 B
  486. seL4/include/plat/imx31/plat/machine/hardware.bf : 542 B
  487. seL4/manual/parts/api/cnode_delete.tex : 535 B
  488. seL4/manual/parts/api/irq_handleracknowledge.tex : 533 B
  489. seL4/include/arch/arm/arch/benchmark.h : 533 B
  490. seL4/include/arch/x86/arch/kernel/thread.h : 529 B
  491. seL4/include/arch/arm/arch/kernel/thread.h : 529 B
  492. seL4/manual/parts/api/tcb_unbindnotification.tex : 528 B
  493. seL4/src/arch/arm/32/machine/hardware.c : 526 B
  494. seL4/manual/parts/api/sel4_recv.tex : 525 B
  495. seL4/manual/parts/api/sel4_nbsend.tex : 516 B
  496. seL4/manual/parts/api/tcb_setpriority.tex : 515 B
  497. seL4/src/config/default_domain.c : 514 B
  498. seL4/manual/parts/api/irq_handlerclear.tex : 512 B
  499. seL4/manual/parts/api/sel4_call.tex : 511 B
  500. seL4/manual/parts/api/sel4_reply.tex : 509 B
  501. seL4/include/arch/arm/arch/machine/gic_pl390.h : 509 B
  502. seL4/include/arch/arm/arch/kernel/traps.h : 509 B
  503. seL4/manual/parts/api/debug_putchar.tex : 507 B
  504. seL4/src/arch/arm/armv/armv8-a/aarch32/machine_asm.S : 500 B
  505. seL4/src/object/Makefile : 499 B
  506. seL4/include/kernel/faulthandler.h : 486 B
  507. seL4/src/arch/x86/object/Makefile : 485 B
  508. seL4/manual/parts/api/sel4_send.tex : 484 B
  509. seL4/manual/parts/api/ia32_page_unmap.tex : 484 B
  510. seL4/manual/parts/api/arm_page_unmap.tex : 481 B
  511. seL4/src/plat/exynos5/machine/Makefile : 480 B
  512. seL4/include/stdarg.h : 480 B
  513. seL4/src/arch/arm/armv/armv7-a/Makefile : 478 B
  514. seL4/src/arch/arm/armv/armv6/Makefile : 478 B
  515. seL4/include/plat/pc99/plat/machine/pit.h : 473 B
  516. seL4/manual/parts/api/tcb_suspend.tex : 461 B
  517. seL4/manual/parts/api/sel4_yield.tex : 450 B
  518. seL4/src/plat/apq8064/machine/Makefile : 447 B
  519. seL4/src/plat/tk1/machine/Makefile : 446 B
  520. seL4/src/arch/x86/kernel/lock.c : 445 B
  521. seL4/manual/parts/api/tcb_resume.tex : 445 B
  522. seL4/src/plat/hikey/machine/Makefile : 444 B
  523. seL4/src/plat/exynos4/machine/Makefile : 442 B
  524. seL4/src/kernel/Makefile : 431 B
  525. seL4/src/arch/x86/machine/Makefile : 431 B
  526. seL4/manual/parts/api/debug_halt.tex : 430 B
  527. seL4/include/plat/pc99/plat/machine/debug_helpers.h : 430 B
  528. seL4/src/arch/x86/32/kernel/Makefile : 429 B
  529. seL4/include/plat/zynq7000/plat/machine/debug_helpers.h : 428 B
  530. seL4/include/plat/imx7/plat/machine/debug_helpers.h : 428 B
  531. seL4/include/plat/imx6/plat/machine/debug_helpers.h : 428 B
  532. seL4/include/plat/exynos5/plat/machine/debug_helpers.h : 428 B
  533. seL4/include/plat/exynos4/plat/machine/debug_helpers.h : 428 B
  534. seL4/include/plat/apq8064/plat/machine/debug_helpers.h : 428 B
  535. seL4/include/arch/arm/arch/machine/registerset.h : 428 B
  536. seL4/libsel4/arch_include/arm/sel4/arch/constants.h : 427 B
  537. seL4/include/arch/x86/arch/32/mode/api/shared_types.bf : 425 B
  538. seL4/include/arch/arm/arch/32/mode/api/shared_types.bf : 425 B
  539. seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/objecttype.h : 424 B
  540. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/objecttype.h : 424 B
  541. seL4/include/arch/arm/arch/32/mode/api/objecttype.h : 424 B
  542. seL4/src/inlines.c : 417 B
  543. seL4/include/arch/arm/arch/machine/hardware.h : 417 B
  544. seL4/src/plat/am335x/machine/Makefile : 410 B
  545. seL4/src/plat/omap3/machine/Makefile : 409 B
  546. seL4/src/plat/allwinnerA20/machine/Makefile : 406 B
  547. seL4/include/arch/arm/arch/machine/debug.h : 405 B
  548. seL4/include/machine/timer.h : 403 B
  549. seL4/include/model/preemption.h : 401 B
  550. seL4/src/arch/x86/idle.S : 394 B
  551. seL4/include/arch/arm/arch/user_access.h : 394 B
  552. seL4/tools/cpp_gen.sh : 393 B
  553. seL4/include/plat/tk1/plat/machine/debug_helpers.h : 389 B
  554. seL4/include/plat/omap3/plat/machine/debug_helpers.h : 389 B
  555. seL4/include/plat/imx31/plat/machine/debug_helpers.h : 389 B
  556. seL4/include/plat/hikey/plat/machine/debug_helpers.h : 389 B
  557. seL4/include/plat/am335x/plat/machine/debug_helpers.h : 389 B
  558. seL4/include/arch/x86/arch/Makefile : 389 B
  559. seL4/src/arch/x86/halt.S : 387 B
  560. seL4/include/arch/arm/arch/object/structures.h : 387 B
  561. seL4/include/api.h : 387 B
  562. seL4/include/arch/arm/arch/Makefile : 381 B
  563. seL4/src/arch/arm/object/Makefile : 379 B
  564. seL4/include/plat/allwinnerA20/plat/machine/debug_helpers.h : 379 B
  565. seL4/include/arch/x86/arch/api/constants.h : 374 B
  566. seL4/include/arch/arm/arch/api/constants.h : 374 B
  567. seL4/src/plat/imx7/machine/Makefile : 373 B
  568. seL4/src/plat/imx6/machine/Makefile : 373 B
  569. seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/simple_types.h : 372 B
  570. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/simple_types.h : 372 B
  571. seL4/src/arch/arm/armv/armv6/user_access.c : 371 B
  572. seL4/include/types.h : 370 B
  573. seL4/include/machine/debug.h : 365 B
  574. seL4/include/kernel/vspace.h : 365 B
  575. seL4/src/model/Makefile : 361 B
  576. seL4/include/arch/x86/arch/machine/capdl.h : 361 B
  577. seL4/include/arch/arm/arch/machine/capdl.h : 361 B
  578. seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/deprecated.h : 354 B
  579. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/deprecated.h : 354 B
  580. seL4/src/plat/imx31/machine/Makefile : 353 B
  581. seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/functions.h : 353 B
  582. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/functions.h : 353 B
  583. seL4/libsel4/arch_include/x86/sel4/arch/exIPC.h : 353 B
  584. seL4/libsel4/arch_include/arm/sel4/arch/exIPC.h : 353 B
  585. seL4/src/arch/arm/32/machine/Makefile : 347 B
  586. seL4/src/arch/x86/api/Makefile : 346 B
  587. seL4/libsel4/arch_include/x86/sel4/arch/mapping.h : 343 B
  588. seL4/libsel4/arch_include/arm/sel4/arch/mapping.h : 343 B
  589. seL4/src/arch/arm/api/Makefile : 342 B
  590. seL4/tools/xmllint.sh : 338 B
  591. seL4/src/arch/arm/kernel/Makefile : 338 B
  592. seL4/src/arch/arm/32/kernel/Makefile : 338 B
  593. seL4/libsel4/tools/xmllint.sh : 338 B
  594. seL4/src/arch/x86/model/Makefile : 337 B
  595. seL4/include/plat/tk1/plat/machine/Makefile : 332 B
  596. seL4/include/plat/zynq7000/plat/machine/Makefile : 331 B
  597. seL4/include/plat/omap3/plat/machine/Makefile : 331 B
  598. seL4/include/plat/imx7/plat/machine/Makefile : 331 B
  599. seL4/include/plat/imx6/plat/machine/Makefile : 331 B
  600. seL4/include/plat/imx31/plat/machine/Makefile : 331 B
  601. seL4/include/plat/exynos5/plat/machine/Makefile : 331 B
  602. seL4/include/plat/exynos4/plat/machine/Makefile : 331 B
  603. seL4/include/plat/apq8064/plat/machine/Makefile : 331 B
  604. seL4/include/plat/am335x/plat/machine/Makefile : 331 B
  605. seL4/include/plat/pc99/plat/machine/Makefile : 330 B
  606. seL4/include/arch/x86/arch/object/Makefile : 330 B
  607. seL4/include/arch/arm/arch/object/Makefile : 330 B
  608. seL4/src/plat/tk1/machine/l2cache.c : 328 B
  609. seL4/src/fastpath/Makefile : 328 B
  610. seL4/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/pfIPC.h : 328 B
  611. seL4/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/pfIPC.h : 328 B
  612. seL4/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/pfIPC.h : 328 B
  613. seL4/include/plat/zynq7000/plat/Makefile : 328 B
  614. seL4/include/plat/tk1/plat/Makefile : 328 B
  615. seL4/include/plat/pc99/plat/Makefile : 328 B
  616. seL4/include/plat/omap3/plat/Makefile : 328 B
  617. seL4/include/plat/imx7/plat/Makefile : 328 B
  618. seL4/include/plat/imx6/plat/Makefile : 328 B
  619. seL4/include/plat/imx31/plat/Makefile : 328 B
  620. seL4/include/plat/exynos5/plat/Makefile : 328 B
  621. seL4/include/plat/exynos4/plat/Makefile : 328 B
  622. seL4/include/plat/apq8064/plat/Makefile : 328 B
  623. seL4/include/plat/am335x/plat/Makefile : 328 B
  624. seL4/include/plat/hikey/plat/machine/Makefile : 321 B
  625. seL4/include/plat/allwinnerA20/plat/machine/Makefile : 321 B
  626. seL4/src/machine/Makefile : 320 B
  627. seL4/src/plat/zynq7000/Makefile : 319 B
  628. seL4/src/plat/tk1/Makefile : 319 B
  629. seL4/src/plat/pc99/Makefile : 319 B
  630. seL4/src/plat/imx7/Makefile : 319 B
  631. seL4/src/plat/imx6/Makefile : 319 B
  632. seL4/src/plat/exynos5/Makefile : 319 B
  633. seL4/src/plat/exynos4/Makefile : 319 B
  634. seL4/src/plat/apq8064/Makefile : 319 B
  635. seL4/src/plat/am335x/Makefile : 318 B
  636. seL4/include/plat/hikey/plat/Makefile : 318 B
  637. seL4/include/plat/allwinnerA20/plat/Makefile : 318 B
  638. seL4/src/plat/omap3/Makefile : 317 B
  639. seL4/src/plat/imx31/Makefile : 317 B
  640. seL4/src/api/Makefile : 317 B
  641. seL4/src/plat/allwinnerA20/Makefile : 314 B
  642. seL4/src/plat/zynq7000/machine/Makefile : 312 B
  643. seL4/src/plat/hikey/Makefile : 309 B
  644. seL4/include/arch/arm/arch/object/structures.bf : 308 B
  645. seL4/include/arch/x86/arch/api/shared_types.bf : 307 B
  646. seL4/include/arch/arm/arch/api/shared_types.bf : 307 B
  647. seL4/include/Makefile : 306 B
  648. seL4/src/arch/x86/32/machine/Makefile : 305 B
  649. seL4/src/arch/x86/32/object/Makefile : 303 B
  650. seL4/src/arch/arm/32/object/Makefile : 303 B
  651. seL4/include/arch/x86/arch/api/Makefile : 302 B
  652. seL4/include/arch/arm/arch/api/Makefile : 302 B
  653. seL4/src/arch/x86/32/model/Makefile : 301 B
  654. seL4/src/arch/arm/32/model/Makefile : 301 B
  655. seL4/src/plat/apq8064/machine/l2cache.c : 300 B
  656. seL4/src/plat/exynos5/machine/l2cache.c : 299 B
  657. seL4/src/arch/arm/model/Makefile : 296 B
  658. seL4/manual/extra.bib : 280 B
  659. seL4/include/plat/omap3/plat/machine/hardware.bf : 280 B
  660. seL4/include/plat/hikey/plat/machine/hardware.bf : 280 B
  661. seL4/include/plat/am335x/plat/machine/hardware.bf : 280 B
  662. seL4/include/plat/zynq7000/plat/machine/hardware.bf : 279 B
  663. seL4/include/plat/imx7/plat/machine/hardware.bf : 279 B
  664. seL4/include/plat/imx6/plat/machine/hardware.bf : 279 B
  665. seL4/include/plat/exynos5/plat/machine/hardware.bf : 279 B
  666. seL4/include/plat/exynos4/plat/machine/hardware.bf : 279 B
  667. seL4/include/plat/apq8064/plat/machine/hardware.bf : 279 B
  668. seL4/libsel4/Kbuild : 277 B
  669. seL4/include/plat/allwinnerA20/plat/machine/hardware.bf : 270 B
  670. seL4/libsel4/arch_include/x86/sel4/arch/simple_types.h : 236 B
  671. .gitignore : 107 B
  672. .gitmodules : 68 B
  673. seL4/manual/VERSION : 6 B
  674. seL4/VERSION : 6 B