Ugly Alpha 1
sel4-sys:0.0.9

total uncompressed bytes

13.1 MB

total files

1310

Fix

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

1245 wasted files

total waste: 12.8 MB

  1. seL4/kernel_final.c : 781.6 KB
  2. seL4/kernel_all.c_pp : 781.6 KB
  3. seL4/kernel_final.c : 781.6 KB
  4. seL4/kernel_all.c_pp : 781.6 KB
  5. seL4/kernel_final.s : 582.5 KB
  6. seL4/kernel_final.s : 582.5 KB
  7. seL4/kernel_all.c : 458.0 KB
  8. seL4/kernel_all.c : 458.0 KB
  9. seL4/kernel.elf : 212.6 KB
  10. seL4/kernel.elf : 212.6 KB
  11. seL4/kernel.o : 205.3 KB
  12. seL4/kernel.o : 205.3 KB
  13. seL4/kernel.elf.strip : 193.2 KB
  14. seL4/kernel.elf.strip : 193.2 KB
  15. seL4/tools/yacc.py : 128.5 KB
  16. seL4/tools/yacc.py : 128.5 KB
  17. seL4/libsel4/tools/bitfield_gen.py : 109.3 KB
  18. seL4/tools/bitfield_gen.py : 109.3 KB
  19. seL4/libsel4/tools/bitfield_gen.py : 109.3 KB
  20. seL4/libsel4/tools/bitfield_gen.py : 109.3 KB
  21. seL4/tools/bitfield_gen.py : 109.3 KB
  22. seL4/libsel4/tools/bitfield_gen.py : 109.3 KB
  23. seL4/src/arch/arm/kernel/vspace.c : 71.3 KB
  24. seL4/src/arch/arm/kernel/vspace.c : 71.3 KB
  25. seL4/haskell/src/SEL4/Kernel/VSpace/ARM.lhs : 69.5 KB
  26. seL4/haskell/src/SEL4/Kernel/VSpace/ARM.lhs : 69.5 KB
  27. seL4/src/arch/x86/kernel/vspace.c : 68.8 KB
  28. seL4/src/arch/x86/kernel/vspace.c : 68.8 KB
  29. seL4/manual/figs/fig1-3.svg : 52.4 KB
  30. seL4/manual/figs/fig1-3.svg : 52.4 KB
  31. seL4/manual/figs/CDT.pdf : 52.1 KB
  32. seL4/manual/figs/CDT.pdf : 52.1 KB
  33. seL4/manual/figs/fig1-2.svg : 47.0 KB
  34. seL4/manual/figs/fig1-2.svg : 47.0 KB
  35. seL4/manual/figs/fig1-1.svg : 43.7 KB
  36. seL4/manual/figs/fig1-1.svg : 43.7 KB
  37. seL4/haskell/doc/lambdaTeX.sty : 41.2 KB
  38. seL4/haskell/doc/lambdaTeX.sty : 41.2 KB
  39. seL4/tools/lex.py : 40.7 KB
  40. seL4/tools/lex.py : 40.7 KB
  41. seL4/haskell/src/SEL4/Object/CNode.lhs : 39.0 KB
  42. seL4/haskell/src/SEL4/Object/CNode.lhs : 39.0 KB
  43. seL4/haskell/doc/overview.tex : 38.4 KB
  44. seL4/haskell/doc/overview.tex : 38.4 KB
  45. seL4/manual/figs/fig1-4.svg : 35.5 KB
  46. seL4/manual/figs/fig1-4.svg : 35.5 KB
  47. seL4/manual/figs/fig2-1.pdf : 34.6 KB
  48. seL4/manual/figs/fig2-1.pdf : 34.6 KB
  49. seL4/haskell/src/SEL4/Object/TCB.lhs : 34.4 KB
  50. seL4/haskell/src/SEL4/Object/TCB.lhs : 34.4 KB
  51. seL4/src/object/tcb.c : 32.8 KB
  52. seL4/src/object/tcb.c : 32.8 KB
  53. seL4/src/object/cnode.c : 28.2 KB
  54. seL4/src/object/cnode.c : 28.2 KB
  55. seL4/manual/figs/fig2-1.svg : 27.8 KB
  56. seL4/manual/figs/fig2-1.svg : 27.8 KB
  57. seL4/src/plat/apq8064/machine/hardware.c : 26.0 KB
  58. seL4/src/plat/apq8064/machine/hardware.c : 26.0 KB
  59. seL4/haskell/src/SEL4/Kernel/Thread.lhs : 25.8 KB
  60. seL4/haskell/src/SEL4/Kernel/Thread.lhs : 25.8 KB
  61. seL4/haskell/src/SEL4/Object/ObjectType.lhs : 25.2 KB
  62. seL4/haskell/src/SEL4/Object/ObjectType.lhs : 25.2 KB
  63. seL4/manual/parts/cspace.tex : 24.9 KB
  64. seL4/manual/parts/cspace.tex : 24.9 KB
  65. seL4/libsel4/tools/syscall_stub_gen.py : 24.9 KB
  66. seL4/libsel4/tools/syscall_stub_gen.py : 24.9 KB
  67. seL4/src/plat/exynos5/machine/hardware.c : 23.9 KB
  68. seL4/src/plat/exynos5/machine/hardware.c : 23.9 KB
  69. seL4/gdb-macros : 22.5 KB
  70. seL4/gdb-macros : 22.5 KB
  71. seL4/src/object/objecttype.c : 21.9 KB
  72. seL4/src/object/objecttype.c : 21.9 KB
  73. seL4/libsel4/arch_include/arm/sel4/arch/syscalls.h : 20.9 KB
  74. seL4/libsel4/arch_include/arm/sel4/arch/syscalls.h : 20.9 KB
  75. seL4/src/arch/x86/kernel/boot_sys.c : 20.9 KB
  76. seL4/src/arch/x86/kernel/boot_sys.c : 20.9 KB
  77. seL4/Makefile : 19.5 KB
  78. seL4/Makefile : 19.5 KB
  79. seL4/tools/bf_autocorres.py : 19.3 KB
  80. seL4/tools/bf_autocorres.py : 19.3 KB
  81. seL4/src/arch/x86/object/objecttype.c : 19.2 KB
  82. seL4/src/arch/x86/object/objecttype.c : 19.2 KB
  83. seL4/manual/parts/objects.tex : 19.1 KB
  84. seL4/manual/parts/objects.tex : 19.1 KB
  85. seL4/src/arch/x86/kernel/boot.c : 19.0 KB
  86. seL4/src/arch/x86/kernel/boot.c : 19.0 KB
  87. seL4/src/plat/exynos4/machine/hardware.c : 18.9 KB
  88. seL4/src/plat/exynos4/machine/hardware.c : 18.9 KB
  89. seL4/src/plat/pc99/machine/acpi.c : 17.8 KB
  90. seL4/src/plat/pc99/machine/acpi.c : 17.8 KB
  91. seL4/haskell/src/SEL4/Kernel/Init.lhs : 17.7 KB
  92. seL4/haskell/src/SEL4/Kernel/Init.lhs : 17.7 KB
  93. seL4/haskell/src/SEL4/Machine/Hardware/ARM.lhs : 17.4 KB
  94. seL4/haskell/src/SEL4/Machine/Hardware/ARM.lhs : 17.4 KB
  95. seL4/src/arch/arm/object/objecttype.c : 16.6 KB
  96. seL4/src/arch/arm/object/objecttype.c : 16.6 KB
  97. seL4/src/plat/omap3/machine/hardware.c : 16.4 KB
  98. seL4/src/plat/omap3/machine/hardware.c : 16.4 KB
  99. seL4/src/kernel/boot.c : 16.3 KB
  100. seL4/src/kernel/boot.c : 16.3 KB
  101. seL4/LICENSE_GPLv2.txt : 15.9 KB
  102. seL4/LICENSE_GPLv2.txt : 15.9 KB
  103. seL4/src/arch/x86/object/iospace.c : 15.6 KB
  104. seL4/src/arch/x86/object/iospace.c : 15.6 KB
  105. seL4/src/arch/arm/kernel/boot.c : 15.6 KB
  106. seL4/src/arch/arm/kernel/boot.c : 15.6 KB
  107. seL4/libsel4/arch_include/x86/sel4/arch/syscalls.h : 15.2 KB
  108. seL4/libsel4/arch_include/x86/sel4/arch/syscalls.h : 15.2 KB
  109. seL4/src/plat/imx6/machine/hardware.c : 15.1 KB
  110. seL4/src/plat/imx6/machine/hardware.c : 15.1 KB
  111. seL4/include/plat/apq8064/plat/machine/devices.h : 15.0 KB
  112. seL4/include/plat/apq8064/plat/machine/devices.h : 15.0 KB
  113. seL4/src/arch/x86/traps.o : 14.9 KB
  114. seL4/src/arch/x86/traps.o : 14.9 KB
  115. seL4/src/arch/x86/kernel/vspace_pae.c : 14.8 KB
  116. seL4/src/arch/x86/kernel/vspace_pae.c : 14.8 KB
  117. seL4/src/arch/x86/traps.S : 14.6 KB
  118. seL4/src/arch/x86/traps.S : 14.6 KB
  119. seL4/manual/figs/fig1-4.pdf : 14.6 KB
  120. seL4/manual/figs/fig1-4.pdf : 14.6 KB
  121. seL4/src/arch/arm/machine/l2c_310.c : 14.4 KB
  122. seL4/src/arch/arm/machine/l2c_310.c : 14.4 KB
  123. seL4/src/plat/pc99/machine/intel-vtd.c : 14.2 KB
  124. seL4/src/plat/pc99/machine/intel-vtd.c : 14.2 KB
  125. seL4/manual/parts/bootup.tex : 14.1 KB
  126. seL4/manual/parts/bootup.tex : 14.1 KB
  127. seL4/haskell/src/SEL4/Model/PSpace.lhs : 14.0 KB
  128. seL4/haskell/src/SEL4/Model/PSpace.lhs : 14.0 KB
  129. seL4/include/plat/exynos5/plat/machine/devices.h : 13.6 KB
  130. seL4/include/plat/exynos5/plat/machine/devices.h : 13.6 KB
  131. seL4/manual/parts/threads.tex : 13.5 KB
  132. seL4/manual/parts/threads.tex : 13.5 KB
  133. seL4/include/arch/x86/arch/object/structures.bf : 13.4 KB
  134. seL4/include/arch/x86/arch/object/structures.bf : 13.4 KB
  135. seL4/manual/figs/fig1-3.pdf : 13.4 KB
  136. seL4/manual/figs/fig1-3.pdf : 13.4 KB
  137. seL4/haskell/src/SEL4/Object/Structures.lhs : 13.2 KB
  138. seL4/haskell/src/SEL4/Object/Structures.lhs : 13.2 KB
  139. seL4/haskell/doc/haskell.tex : 13.2 KB
  140. seL4/haskell/doc/haskell.tex : 13.2 KB
  141. seL4/arch/object/structures.pbf : 13.2 KB
  142. seL4/arch/object/structures.pbf : 13.2 KB
  143. seL4/Kconfig : 13.1 KB
  144. seL4/Kconfig : 13.1 KB
  145. seL4/manual/parts/ipc.tex : 12.8 KB
  146. seL4/manual/parts/ipc.tex : 12.8 KB
  147. seL4/haskell/src/Simulation/FFIBindings.hs : 12.6 KB
  148. seL4/haskell/src/Simulation/FFIBindings.hs : 12.6 KB
  149. seL4/haskell/src/SEL4/Object/ObjectType/ARM.lhs : 12.5 KB
  150. seL4/haskell/src/SEL4/Object/ObjectType/ARM.lhs : 12.5 KB
  151. seL4/haskell/src/SEL4/Object/Endpoint.lhs : 12.2 KB
  152. seL4/haskell/src/SEL4/Object/Endpoint.lhs : 12.2 KB
  153. seL4/src/api/syscall.c : 12.1 KB
  154. seL4/src/api/syscall.c : 12.1 KB
  155. seL4/src/kernel/thread.c : 12.0 KB
  156. seL4/src/kernel/thread.c : 12.0 KB
  157. seL4/manual/figs/fig1-1.pdf : 12.0 KB
  158. seL4/manual/figs/fig1-1.pdf : 12.0 KB
  159. seL4/src/plat/imx31/machine/hardware.c : 11.8 KB
  160. seL4/src/plat/imx31/machine/hardware.c : 11.8 KB
  161. seL4/haskell/src/SEL4/API/Syscall.lhs : 11.3 KB
  162. seL4/haskell/src/SEL4/API/Syscall.lhs : 11.3 KB
  163. seL4/manual/figs/fig1-2.pdf : 11.3 KB
  164. seL4/manual/figs/fig1-2.pdf : 11.3 KB
  165. seL4/haskell/doc/refman.tex : 11.2 KB
  166. seL4/haskell/doc/refman.tex : 11.2 KB
  167. seL4/manual/parts/api.tex : 11.0 KB
  168. seL4/manual/parts/api.tex : 11.0 KB
  169. seL4/src/plat/am335x/machine/hardware.c : 10.8 KB
  170. seL4/src/plat/am335x/machine/hardware.c : 10.8 KB
  171. seL4/haskell/src/SEL4/Model/StateData.lhs : 10.7 KB
  172. seL4/haskell/src/SEL4/Model/StateData.lhs : 10.7 KB
  173. seL4/src/arch/x86/machine/capdl.c : 10.7 KB
  174. seL4/src/arch/x86/machine/capdl.c : 10.7 KB
  175. seL4/include/arch/arm/arch/machine.h : 10.7 KB
  176. seL4/include/arch/arm/arch/machine.h : 10.7 KB
  177. seL4/src/object/endpoint.c : 10.4 KB
  178. seL4/src/object/endpoint.c : 10.4 KB
  179. seL4/src/fastpath/fastpath.c : 10.3 KB
  180. seL4/src/fastpath/fastpath.c : 10.3 KB
  181. seL4/include/plat/imx6/plat/machine/devices.h : 10.2 KB
  182. seL4/include/plat/imx6/plat/machine/devices.h : 10.2 KB
  183. seL4/include/arch/x86/arch/machine.h : 10.2 KB
  184. seL4/include/arch/x86/arch/machine.h : 10.2 KB
  185. seL4/src/object/untyped.c : 9.8 KB
  186. seL4/src/object/untyped.c : 9.8 KB
  187. seL4/manual/export.bst : 9.7 KB
  188. seL4/manual/export.bst : 9.7 KB
  189. seL4/src/arch/arm/machine/gic_pl390.c : 9.6 KB
  190. seL4/src/arch/arm/machine/gic_pl390.c : 9.6 KB
  191. seL4/manual/parts/vspace.tex : 9.2 KB
  192. seL4/manual/parts/vspace.tex : 9.2 KB
  193. seL4/manual/parts/io.tex : 9.1 KB
  194. seL4/manual/parts/io.tex : 9.1 KB
  195. seL4/haskell/src/SEL4/Machine/Hardware.lhs : 9.1 KB
  196. seL4/haskell/src/SEL4/Machine/Hardware.lhs : 9.1 KB
  197. seL4/haskell/src/SEL4/Object/Notification.lhs : 9.1 KB
  198. seL4/haskell/src/SEL4/Object/Notification.lhs : 9.1 KB
  199. seL4/manual/references.bib : 8.9 KB
  200. seL4/manual/references.bib : 8.9 KB
  201. seL4/haskell/src/SEL4/Object/Interrupt.lhs : 8.8 KB
  202. seL4/haskell/src/SEL4/Object/Interrupt.lhs : 8.8 KB
  203. seL4/src/arch/arm/machine/capdl.c : 8.8 KB
  204. seL4/src/arch/arm/machine/capdl.c : 8.8 KB
  205. seL4/src/plat/zynq7000/machine/hardware.c : 8.7 KB
  206. seL4/src/plat/zynq7000/machine/hardware.c : 8.7 KB
  207. seL4/include/arch/arm/arch/object/structures.h : 8.7 KB
  208. seL4/include/arch/arm/arch/object/structures.h : 8.7 KB
  209. seL4/include/object/structures.h : 8.5 KB
  210. seL4/include/object/structures.h : 8.5 KB
  211. seL4/haskell/src/SEL4/API/Types.lhs : 8.5 KB
  212. seL4/haskell/src/SEL4/API/Types.lhs : 8.5 KB
  213. seL4/include/plat/exynos4/plat/machine/devices.h : 8.3 KB
  214. seL4/include/plat/exynos4/plat/machine/devices.h : 8.3 KB
  215. seL4/haskell/src/SEL4/Object/Untyped.lhs : 8.3 KB
  216. seL4/haskell/src/SEL4/Object/Untyped.lhs : 8.3 KB
  217. seL4/haskell/src/SEL4/Machine/RegisterSet.lhs : 8.1 KB
  218. seL4/haskell/src/SEL4/Machine/RegisterSet.lhs : 8.1 KB
  219. seL4/src/arch/x86/kernel/apic.c : 8.1 KB
  220. seL4/src/arch/x86/kernel/apic.c : 8.1 KB
  221. seL4/haskell/src/SEL4/API/Invocation.lhs : 7.9 KB
  222. seL4/haskell/src/SEL4/API/Invocation.lhs : 7.9 KB
  223. seL4/haskell/src/SEL4/Kernel/CSpace.lhs : 7.8 KB
  224. seL4/haskell/src/SEL4/Kernel/CSpace.lhs : 7.8 KB
  225. seL4/src/arch/arm/traps.S : 7.7 KB
  226. seL4/src/arch/arm/traps.S : 7.7 KB
  227. seL4/src/arch/x86/kernel/vspace_32.c : 7.5 KB
  228. seL4/src/arch/x86/kernel/vspace_32.c : 7.5 KB
  229. seL4/src/plat/pc99/machine/pci.c : 7.4 KB
  230. seL4/src/plat/pc99/machine/pci.c : 7.4 KB
  231. seL4/src/object/interrupt.c : 7.4 KB
  232. seL4/src/object/interrupt.c : 7.4 KB
  233. seL4/include/plat/exynos5/plat/machine.h : 6.8 KB
  234. seL4/include/plat/exynos5/plat/machine.h : 6.8 KB
  235. seL4/src/object/notification.c : 6.7 KB
  236. seL4/src/object/notification.c : 6.7 KB
  237. seL4/manual/Makefile : 6.7 KB
  238. seL4/manual/Makefile : 6.7 KB
  239. seL4/include/plat/exynos4/plat/machine.h : 6.6 KB
  240. seL4/include/plat/exynos4/plat/machine.h : 6.6 KB
  241. seL4/include/arch/x86/arch/object/structures.h : 6.6 KB
  242. seL4/include/arch/x86/arch/object/structures.h : 6.6 KB
  243. seL4/haskell/src/SEL4/Machine/Hardware/ARM/QEmu.hs : 6.6 KB
  244. seL4/haskell/src/SEL4/Machine/Hardware/ARM/QEmu.hs : 6.6 KB
  245. seL4/src/plat/pc99/machine/ioapic.c : 6.3 KB
  246. seL4/src/plat/pc99/machine/ioapic.c : 6.3 KB
  247. seL4/src/plat/exynos_common/mct.c : 6.3 KB
  248. seL4/src/plat/exynos_common/mct.c : 6.3 KB
  249. seL4/src/arch/arm/machine/cache.c : 6.3 KB
  250. seL4/src/arch/arm/machine/cache.c : 6.3 KB
  251. seL4/include/arch/arm/arch/machine/debug.h : 6.2 KB
  252. seL4/include/arch/arm/arch/machine/debug.h : 6.2 KB
  253. seL4/include/plat/imx6/plat/machine.h : 6.2 KB
  254. seL4/include/plat/imx6/plat/machine.h : 6.2 KB
  255. seL4/haskell/src/SEL4/Kernel/BootInfo.lhs : 6.2 KB
  256. seL4/haskell/src/SEL4/Kernel/BootInfo.lhs : 6.2 KB
  257. seL4/manual/parts/api/untyped_retype.tex : 6.2 KB
  258. seL4/manual/parts/api/untyped_retype.tex : 6.2 KB
  259. seL4/include/arch/x86/arch/fastpath/fastpath.h : 6.1 KB
  260. seL4/include/arch/x86/arch/fastpath/fastpath.h : 6.1 KB
  261. seL4/src/arch/x86/object/tcb.c : 6.1 KB
  262. seL4/src/arch/x86/object/tcb.c : 6.1 KB
  263. seL4/src/arch/arm/object/tcb.c : 6.0 KB
  264. seL4/src/arch/arm/object/tcb.c : 6.0 KB
  265. seL4/src/kernel/cspace.c : 6.0 KB
  266. seL4/src/kernel/cspace.c : 6.0 KB
  267. seL4/src/machine/io.c : 6.0 KB
  268. seL4/src/machine/io.c : 6.0 KB
  269. seL4/haskell/src/SEL4/Object/Instances.lhs : 6.0 KB
  270. seL4/haskell/src/SEL4/Object/Instances.lhs : 6.0 KB
  271. seL4/include/plat/omap3/plat/machine/devices.h : 5.9 KB
  272. seL4/include/plat/omap3/plat/machine/devices.h : 5.9 KB
  273. seL4/src/arch/x86/c_traps.c : 5.7 KB
  274. seL4/src/arch/x86/c_traps.c : 5.7 KB
  275. seL4/src/arch/x86/kernel/cmdline.c : 5.7 KB
  276. seL4/src/arch/x86/kernel/cmdline.c : 5.7 KB
  277. seL4/libsel4/tools/syscall_header_gen.py : 5.4 KB
  278. seL4/tools/syscall_header_gen.py : 5.4 KB
  279. seL4/libsel4/tools/syscall_header_gen.py : 5.4 KB
  280. seL4/libsel4/tools/syscall_header_gen.py : 5.4 KB
  281. seL4/tools/syscall_header_gen.py : 5.4 KB
  282. seL4/libsel4/tools/syscall_header_gen.py : 5.4 KB
  283. seL4/src/arch/x86/object/ioport.c : 5.2 KB
  284. seL4/src/arch/x86/object/ioport.c : 5.2 KB
  285. seL4/haskell/src/SEL4/API/Failures.lhs : 5.2 KB
  286. seL4/haskell/src/SEL4/API/Failures.lhs : 5.2 KB
  287. seL4/include/object/structures.bf : 5.1 KB
  288. seL4/include/object/structures.bf : 5.1 KB
  289. seL4/haskell/src/SEL4/Model/Failures.lhs : 4.9 KB
  290. seL4/haskell/src/SEL4/Model/Failures.lhs : 4.9 KB
  291. seL4/haskell/doc/disy.sty : 4.9 KB
  292. seL4/haskell/doc/disy.sty : 4.9 KB
  293. seL4/src/arch/x86/head.S : 4.9 KB
  294. seL4/src/arch/x86/head.S : 4.9 KB
  295. seL4/include/arch/arm/arch/object/structures.bf : 4.8 KB
  296. seL4/include/arch/arm/arch/object/structures.bf : 4.8 KB
  297. seL4/manual/disy.sty : 4.8 KB
  298. seL4/manual/disy.sty : 4.8 KB
  299. seL4/src/machine/profiler.c : 4.5 KB
  300. seL4/src/machine/profiler.c : 4.5 KB
  301. seL4/src/plat/allwinnerA20/machine/hardware.c : 4.5 KB
  302. seL4/src/plat/allwinnerA20/machine/hardware.c : 4.5 KB
  303. seL4/include/object/tcb.h : 4.2 KB
  304. seL4/include/object/tcb.h : 4.2 KB
  305. seL4/libsel4/arch_include/x86/interfaces/sel4arch.xml : 4.2 KB
  306. seL4/libsel4/arch_include/x86/interfaces/sel4arch.xml : 4.2 KB
  307. seL4/parsetab.py : 4.2 KB
  308. seL4/parsetab.py : 4.2 KB
  309. seL4/haskell/SEL4-ARM.cabal : 4.2 KB
  310. seL4/haskell/SEL4-ARM.cabal : 4.2 KB
  311. seL4/manual/manual.tex : 4.1 KB
  312. seL4/manual/manual.tex : 4.1 KB
  313. seL4/include/arch/arm/arch/kernel/vspace.h : 4.0 KB
  314. seL4/include/arch/arm/arch/kernel/vspace.h : 4.0 KB
  315. seL4/src/arch/arm/machine/debug.c : 4.0 KB
  316. seL4/src/arch/arm/machine/debug.c : 4.0 KB
  317. seL4/src/arch/x86/api/faults.c : 3.9 KB
  318. seL4/src/arch/x86/api/faults.c : 3.9 KB
  319. seL4/libsel4/arch_include/arm/interfaces/sel4arch.xml : 3.9 KB
  320. seL4/libsel4/arch_include/arm/interfaces/sel4arch.xml : 3.9 KB
  321. seL4/include/plat/zynq7000/plat/machine.h : 3.8 KB
  322. seL4/include/plat/zynq7000/plat/machine.h : 3.8 KB
  323. seL4/include/plat/allwinnerA20/plat/machine.h : 3.8 KB
  324. seL4/include/plat/allwinnerA20/plat/machine.h : 3.8 KB
  325. seL4/haskell/src/SEL4/Kernel/FaultHandler.lhs : 3.7 KB
  326. seL4/haskell/src/SEL4/Kernel/FaultHandler.lhs : 3.7 KB
  327. seL4/include/plat/zynq7000/plat/machine/devices.h : 3.7 KB
  328. seL4/include/plat/zynq7000/plat/machine/devices.h : 3.7 KB
  329. seL4/include/arch/arm/arch/machine/hardware.h : 3.7 KB
  330. seL4/include/arch/arm/arch/machine/hardware.h : 3.7 KB
  331. seL4/haskell/src/SEL4/Kernel/VSpace.lhs : 3.6 KB
  332. seL4/haskell/src/SEL4/Kernel/VSpace.lhs : 3.6 KB
  333. seL4/manual/parts/notifications.tex : 3.6 KB
  334. seL4/manual/parts/notifications.tex : 3.6 KB
  335. seL4/haskell/src/SEL4/API/Invocation/ARM.lhs : 3.5 KB
  336. seL4/haskell/src/SEL4/API/Invocation/ARM.lhs : 3.5 KB
  337. seL4/src/kernel/faulthandler.c : 3.5 KB
  338. seL4/src/kernel/faulthandler.c : 3.5 KB
  339. seL4/src/arch/arm/head.S : 3.5 KB
  340. seL4/src/arch/arm/head.S : 3.5 KB
  341. seL4/src/arch/arm/armv/armv7-a/cache.c : 3.4 KB
  342. seL4/src/arch/arm/armv/armv7-a/cache.c : 3.4 KB
  343. seL4/include/arch/arm/arch/fastpath/fastpath.h : 3.3 KB
  344. seL4/include/arch/arm/arch/fastpath/fastpath.h : 3.3 KB
  345. seL4/libsel4/Makefile : 3.3 KB
  346. seL4/libsel4/Makefile : 3.3 KB
  347. seL4/include/plat/exynos5/autoconf.h : 3.3 KB
  348. seL4/include/plat/exynos5/autoconf.h : 3.3 KB
  349. seL4/include/plat/apq8064/autoconf.h : 3.3 KB
  350. seL4/include/plat/apq8064/autoconf.h : 3.3 KB
  351. seL4/haskell/src/SEL4/Object/Structures/ARM.lhs : 3.3 KB
  352. seL4/haskell/src/SEL4/Object/Structures/ARM.lhs : 3.3 KB
  353. seL4/include/bootinfo.h : 3.3 KB
  354. seL4/include/bootinfo.h : 3.3 KB
  355. seL4/haskell/src/SEL4/Model/StateData/ARM.lhs : 3.3 KB
  356. seL4/haskell/src/SEL4/Model/StateData/ARM.lhs : 3.3 KB
  357. seL4/autoconf.h : 3.2 KB
  358. seL4/include/plat/pc99/autoconf.h : 3.2 KB
  359. seL4/autoconf.h : 3.2 KB
  360. seL4/include/plat/pc99/autoconf.h : 3.2 KB
  361. seL4/include/plat/zynq7000/autoconf.h : 3.2 KB
  362. seL4/include/plat/zynq7000/autoconf.h : 3.2 KB
  363. seL4/include/plat/exynos4/autoconf.h : 3.2 KB
  364. seL4/include/plat/exynos4/autoconf.h : 3.2 KB
  365. seL4/src/arch/x86/machine/hardware.c : 3.2 KB
  366. seL4/include/plat/am335x/autoconf.h : 3.2 KB
  367. seL4/src/arch/x86/machine/hardware.c : 3.2 KB
  368. seL4/include/plat/am335x/autoconf.h : 3.2 KB
  369. seL4/include/plat/omap3/autoconf.h : 3.2 KB
  370. seL4/include/plat/omap3/autoconf.h : 3.2 KB
  371. seL4/include/plat/imx6/autoconf.h : 3.2 KB
  372. seL4/include/plat/imx6/autoconf.h : 3.2 KB
  373. seL4/include/plat/imx31/autoconf.h : 3.1 KB
  374. seL4/include/plat/imx31/autoconf.h : 3.1 KB
  375. seL4/src/plat/pc99/machine/hardware.c : 3.1 KB
  376. seL4/src/plat/pc99/machine/hardware.c : 3.1 KB
  377. seL4/include/plat/omap3/plat/machine.h : 3.1 KB
  378. seL4/include/plat/omap3/plat/machine.h : 3.1 KB
  379. seL4/libsel4/tools/invocation_header_gen.py : 3.1 KB
  380. seL4/tools/invocation_header_gen.py : 3.1 KB
  381. seL4/libsel4/tools/invocation_header_gen.py : 3.1 KB
  382. seL4/libsel4/tools/invocation_header_gen.py : 3.1 KB
  383. seL4/tools/invocation_header_gen.py : 3.1 KB
  384. seL4/libsel4/tools/invocation_header_gen.py : 3.1 KB
  385. seL4/include/arch/arm/arch/machine/registerset.h : 3.1 KB
  386. seL4/include/arch/arm/arch/machine/registerset.h : 3.1 KB
  387. seL4/haskell/src/Data/BinaryTree.hs : 3.0 KB
  388. seL4/haskell/src/Data/BinaryTree.hs : 3.0 KB
  389. seL4/tools/umm.py : 3.0 KB
  390. seL4/tools/umm.py : 3.0 KB
  391. seL4/haskell/src/SEL4/API/Faults.lhs : 3.0 KB
  392. seL4/haskell/src/SEL4/API/Faults.lhs : 3.0 KB
  393. seL4/src/util.c : 2.9 KB
  394. seL4/src/util.c : 2.9 KB
  395. seL4/include/arch/x86/arch/machine/registerset.h : 2.9 KB
  396. seL4/include/arch/x86/arch/machine/registerset.h : 2.9 KB
  397. seL4/libsel4/arch_include/x86/sel4/arch/functions.h : 2.9 KB
  398. seL4/libsel4/arch_include/x86/sel4/arch/functions.h : 2.9 KB
  399. seL4/src/plat/pc99/machine/pic.c : 2.9 KB
  400. seL4/src/plat/pc99/machine/pic.c : 2.9 KB
  401. seL4/manual/figs/CDT.graffle : 2.9 KB
  402. seL4/manual/figs/CDT.graffle : 2.9 KB
  403. seL4/CAVEATS-generic.txt : 2.8 KB
  404. seL4/CAVEATS-generic.txt : 2.8 KB
  405. seL4/include/fastpath/fastpath.h : 2.8 KB
  406. seL4/include/arch/x86/arch/kernel/vspace.h : 2.8 KB
  407. seL4/include/fastpath/fastpath.h : 2.8 KB
  408. seL4/include/arch/x86/arch/kernel/vspace.h : 2.8 KB
  409. seL4/include/util.h : 2.7 KB
  410. seL4/include/util.h : 2.7 KB
  411. seL4/include/config.h : 2.6 KB
  412. seL4/include/config.h : 2.6 KB
  413. seL4/README.md : 2.5 KB
  414. seL4/README.md : 2.5 KB
  415. seL4/include/plat/pc99/plat/machine.h : 2.5 KB
  416. seL4/include/plat/pc99/plat/machine.h : 2.5 KB
  417. seL4/src/arch/x86/machine/fpu.c : 2.5 KB
  418. seL4/src/arch/x86/machine/fpu.c : 2.5 KB
  419. seL4/src/arch/arm/armv/armv7-a/machine_asm.S : 2.5 KB
  420. seL4/src/arch/arm/armv/armv7-a/machine_asm.S : 2.5 KB
  421. seL4/include/kernel/boot.h : 2.4 KB
  422. seL4/include/kernel/boot.h : 2.4 KB
  423. seL4/include/plat/omap3/plat/machine/hardware.h : 2.4 KB
  424. seL4/include/plat/am335x/plat/machine/hardware.h : 2.4 KB
  425. seL4/haskell/src/SEL4/API/Types/ARM.lhs : 2.4 KB
  426. seL4/include/plat/omap3/plat/machine/hardware.h : 2.4 KB
  427. seL4/include/plat/am335x/plat/machine/hardware.h : 2.4 KB
  428. seL4/haskell/src/SEL4/API/Types/ARM.lhs : 2.4 KB
  429. seL4/include/plat/imx31/plat/machine/hardware.h : 2.4 KB
  430. seL4/include/plat/imx31/plat/machine/hardware.h : 2.4 KB
  431. seL4/src/arch/arm/machine/errata.c : 2.4 KB
  432. seL4/include/plat/exynos5/plat/machine/hardware.h : 2.4 KB
  433. seL4/src/arch/arm/machine/errata.c : 2.4 KB
  434. seL4/include/plat/exynos5/plat/machine/hardware.h : 2.4 KB
  435. seL4/libsel4/arch_include/x86/sel4/arch/exIPC.h : 2.4 KB
  436. seL4/libsel4/arch_include/x86/sel4/arch/exIPC.h : 2.4 KB
  437. seL4/haskell/src/SEL4/Model/Preemption.lhs : 2.3 KB
  438. seL4/haskell/src/SEL4/Model/Preemption.lhs : 2.3 KB
  439. seL4/src/arch/x86/machine/registerset.c : 2.2 KB
  440. seL4/src/arch/x86/machine/registerset.c : 2.2 KB
  441. seL4/include/arch/x86/arch/kernel/elf.h : 2.2 KB
  442. seL4/include/arch/x86/arch/kernel/elf.h : 2.2 KB
  443. seL4/src/plat/pc99/linker.lds : 2.2 KB
  444. seL4/src/plat/pc99/linker.lds : 2.2 KB
  445. seL4/haskell/doc/figures/ipctransfer.mp : 2.2 KB
  446. seL4/haskell/doc/figures/ipctransfer.mp : 2.2 KB
  447. seL4/libsel4/arch_include/arm/sel4/arch/functions.h : 2.2 KB
  448. seL4/libsel4/arch_include/arm/sel4/arch/functions.h : 2.2 KB
  449. seL4/include/arch/x86/arch/machine/hardware.h : 2.2 KB
  450. seL4/include/arch/x86/arch/machine/hardware.h : 2.2 KB
  451. seL4/include/plat/apq8064/plat/machine/hardware.h : 2.1 KB
  452. seL4/include/plat/apq8064/plat/machine/hardware.h : 2.1 KB
  453. seL4/haskell/src/SEL4/Kernel/Thread/ARM.lhs : 2.1 KB
  454. seL4/haskell/src/SEL4/Kernel/Thread/ARM.lhs : 2.1 KB
  455. seL4/src/arch/arm/api/faults.c : 2.1 KB
  456. seL4/src/arch/arm/api/faults.c : 2.1 KB
  457. seL4/include/plat/exynos4/plat/machine/hardware.h : 2.1 KB
  458. seL4/include/plat/exynos4/plat/machine/hardware.h : 2.1 KB
  459. seL4/src/arch/x86/kernel/elf.c : 2.1 KB
  460. seL4/src/arch/x86/kernel/elf.c : 2.1 KB
  461. seL4/haskell/doc/pubs.bib : 2.1 KB
  462. seL4/haskell/doc/pubs.bib : 2.1 KB
  463. seL4/include/plat/allwinnerA20/plat/machine/hardware.h : 2.1 KB
  464. seL4/include/plat/allwinnerA20/plat/machine/hardware.h : 2.1 KB
  465. seL4/include/machine/profiler.h : 2.1 KB
  466. seL4/include/machine/profiler.h : 2.1 KB
  467. seL4/include/plat/zynq7000/plat/machine/hardware.h : 2.1 KB
  468. seL4/include/plat/imx6/plat/machine/hardware.h : 2.1 KB
  469. seL4/include/plat/zynq7000/plat/machine/hardware.h : 2.1 KB
  470. seL4/include/plat/imx6/plat/machine/hardware.h : 2.1 KB
  471. seL4/include/object/objecttype.h : 2.1 KB
  472. seL4/include/object/objecttype.h : 2.1 KB
  473. seL4/haskell/src/SEL4.lhs : 2.1 KB
  474. seL4/haskell/src/SEL4.lhs : 2.1 KB
  475. seL4/src/plat/apq8064/machine/timer.c : 2.1 KB
  476. seL4/src/plat/apq8064/machine/timer.c : 2.1 KB
  477. seL4/include/arch/x86/arch/machine/cpu_registers.h : 2.1 KB
  478. seL4/include/arch/x86/arch/machine/cpu_registers.h : 2.1 KB
  479. seL4/manual/parts/intro.tex : 2.0 KB
  480. seL4/manual/parts/intro.tex : 2.0 KB
  481. seL4/include/object/cnode.h : 2.0 KB
  482. seL4/include/object/cnode.h : 2.0 KB
  483. seL4/include/kernel/cspace.h : 2.0 KB
  484. seL4/include/kernel/cspace.h : 2.0 KB
  485. seL4/include/plat/pc99/plat/machine/hardware.h : 2.0 KB
  486. seL4/include/plat/pc99/plat/machine/hardware.h : 2.0 KB
  487. seL4/include/kernel/thread.h : 2.0 KB
  488. seL4/include/kernel/thread.h : 2.0 KB
  489. seL4/haskell/doc/figures/clientserver.mp : 2.0 KB
  490. seL4/haskell/doc/figures/clientserver.mp : 2.0 KB
  491. seL4/libsel4/arch_include/x86/sel4/arch/types.h : 2.0 KB
  492. seL4/libsel4/arch_include/x86/sel4/arch/types.h : 2.0 KB
  493. seL4/haskell/mkhsboot.pl : 1.9 KB
  494. seL4/haskell/mkhsboot.pl : 1.9 KB
  495. seL4/src/arch/x86/model/statedata.c : 1.9 KB
  496. seL4/src/arch/x86/model/statedata.c : 1.9 KB
  497. seL4/include/benchmark.h : 1.9 KB
  498. seL4/include/benchmark.h : 1.9 KB
  499. seL4/libsel4/arch_include/x86/sel4/arch/pfIPC.h : 1.9 KB
  500. seL4/libsel4/arch_include/x86/sel4/arch/pfIPC.h : 1.9 KB
  501. seL4/include/plat/imx31/plat/machine/devices.h : 1.8 KB
  502. seL4/include/plat/imx31/plat/machine/devices.h : 1.8 KB
  503. seL4/src/arch/x86/kernel/thread.c : 1.8 KB
  504. seL4/src/arch/x86/kernel/thread.c : 1.8 KB
  505. seL4/manual/parts/api/cnode_rotate.tex : 1.8 KB
  506. seL4/include/plat/apq8064/plat/machine.h : 1.8 KB
  507. seL4/manual/parts/api/cnode_rotate.tex : 1.8 KB
  508. seL4/include/plat/apq8064/plat/machine.h : 1.8 KB
  509. seL4/libsel4/include/api/syscall.xsd : 1.8 KB
  510. seL4/libsel4/include/api/syscall.xsd : 1.8 KB
  511. seL4/src/arch/x86/machine_asm.S : 1.8 KB
  512. seL4/src/arch/x86/machine_asm.S : 1.8 KB
  513. seL4/src/plat/imx31/machine/io.c : 1.8 KB
  514. seL4/src/plat/imx31/machine/io.c : 1.8 KB
  515. seL4/include/plat/pc99/plat/machine/hardware.bf : 1.8 KB
  516. seL4/include/plat/pc99/plat/machine/hardware.bf : 1.8 KB
  517. seL4/src/plat/imx6/machine/io.c : 1.7 KB
  518. seL4/src/plat/imx6/machine/io.c : 1.7 KB
  519. seL4/haskell/src/SEL4/Config.lhs : 1.7 KB
  520. seL4/haskell/src/SEL4/Config.lhs : 1.7 KB
  521. seL4/src/plat/exynos_common/io.c : 1.7 KB
  522. seL4/src/plat/exynos_common/io.c : 1.7 KB
  523. seL4/src/plat/zynq7000/linker.lds : 1.7 KB
  524. seL4/src/plat/omap3/linker.lds : 1.7 KB
  525. seL4/src/plat/imx6/linker.lds : 1.7 KB
  526. seL4/src/plat/imx31/linker.lds : 1.7 KB
  527. seL4/src/plat/exynos5/linker.lds : 1.7 KB
  528. seL4/src/plat/exynos4/linker.lds : 1.7 KB
  529. seL4/src/plat/apq8064/linker.lds : 1.7 KB
  530. seL4/src/plat/am335x/linker.lds : 1.7 KB
  531. seL4/src/plat/zynq7000/linker.lds : 1.7 KB
  532. seL4/src/plat/omap3/linker.lds : 1.7 KB
  533. seL4/src/plat/imx6/linker.lds : 1.7 KB
  534. seL4/src/plat/imx31/linker.lds : 1.7 KB
  535. seL4/src/plat/exynos5/linker.lds : 1.7 KB
  536. seL4/src/plat/exynos4/linker.lds : 1.7 KB
  537. seL4/src/plat/apq8064/linker.lds : 1.7 KB
  538. seL4/src/plat/am335x/linker.lds : 1.7 KB
  539. seL4/src/plat/allwinnerA20/linker.lds : 1.7 KB
  540. seL4/src/plat/allwinnerA20/linker.lds : 1.7 KB
  541. seL4/haskell/doc/figures/clientkernel.mp : 1.7 KB
  542. seL4/haskell/doc/figures/clientkernel.mp : 1.7 KB
  543. seL4/include/arch/x86/arch/kernel/boot.h : 1.7 KB
  544. seL4/include/arch/x86/arch/kernel/boot.h : 1.7 KB
  545. seL4/src/plat/zynq7000/machine/io.c : 1.7 KB
  546. seL4/src/plat/zynq7000/machine/io.c : 1.7 KB
  547. seL4/src/plat/pc99/machine/io.c : 1.7 KB
  548. seL4/src/plat/pc99/machine/io.c : 1.7 KB
  549. seL4/haskell/doc/mkmodulesgraph.pl : 1.7 KB
  550. seL4/haskell/doc/mkmodulesgraph.pl : 1.7 KB
  551. seL4/libsel4/Kconfig : 1.6 KB
  552. seL4/libsel4/Kconfig : 1.6 KB
  553. seL4/haskell/src/SEL4/Model/Syscall.lhs : 1.6 KB
  554. seL4/haskell/src/SEL4/Model/Syscall.lhs : 1.6 KB
  555. seL4/include/arch/x86/arch/machine/fpu.h : 1.6 KB
  556. seL4/include/arch/x86/arch/machine/fpu.h : 1.6 KB
  557. seL4/libsel4/include/api/syscall.xml : 1.6 KB
  558. seL4/libsel4/include/api/syscall.xml : 1.6 KB
  559. seL4/include/arch/arm/armv/armv7-a/armv/context_switch.h : 1.6 KB
  560. seL4/include/arch/arm/armv/armv7-a/armv/context_switch.h : 1.6 KB
  561. seL4/libsel4/arch_include/arm/sel4/arch/exIPC.h : 1.6 KB
  562. seL4/libsel4/arch_include/arm/sel4/arch/exIPC.h : 1.6 KB
  563. seL4/src/plat/pc99/Kconfig : 1.6 KB
  564. seL4/src/plat/pc99/Kconfig : 1.6 KB
  565. seL4/LICENSE_BSD2.txt : 1.5 KB
  566. seL4/LICENSE_BSD2.txt : 1.5 KB
  567. LICENSE_BSD2.txt : 1.5 KB
  568. seL4/src/model/statedata.c : 1.5 KB
  569. seL4/CONTRIBUTORS.md : 1.5 KB
  570. seL4/src/model/statedata.c : 1.5 KB
  571. seL4/CONTRIBUTORS.md : 1.5 KB
  572. seL4/manual/README : 1.5 KB
  573. seL4/manual/README : 1.5 KB
  574. seL4/libsel4/arch_include/arm/sel4/arch/types.h : 1.5 KB
  575. seL4/libsel4/arch_include/arm/sel4/arch/types.h : 1.5 KB
  576. seL4/haskell/doc/mkfunctions.pl : 1.4 KB
  577. seL4/haskell/doc/mkfunctions.pl : 1.4 KB
  578. seL4/libsel4/arch_include/x86/sel4/arch/constants.h : 1.4 KB
  579. seL4/libsel4/arch_include/x86/sel4/arch/constants.h : 1.4 KB
  580. seL4/include/plat/pc99/plat/machine/acpi.h : 1.4 KB
  581. seL4/CONTRIBUTING.md : 1.4 KB
  582. seL4/include/plat/pc99/plat/machine/acpi.h : 1.4 KB
  583. seL4/CONTRIBUTING.md : 1.4 KB
  584. seL4/src/arch/arm/machine/priv_timer.c : 1.4 KB
  585. seL4/src/arch/arm/machine/priv_timer.c : 1.4 KB
  586. seL4/src/arch/x86/head.o : 1.4 KB
  587. seL4/src/arch/x86/head.o : 1.4 KB
  588. seL4/include/object/interrupt.h : 1.4 KB
  589. seL4/include/object/interrupt.h : 1.4 KB
  590. seL4/src/arch/arm/armv/armv7-a/user_access.c : 1.3 KB
  591. seL4/src/arch/arm/armv/armv7-a/user_access.c : 1.3 KB
  592. seL4/include/arch/arm/arch/object/objecttype.h : 1.3 KB
  593. seL4/include/arch/arm/arch/object/objecttype.h : 1.3 KB
  594. seL4/haskell/src/SEL4/Object/Instances/ARM.lhs : 1.3 KB
  595. seL4/haskell/src/SEL4/Object/Instances/ARM.lhs : 1.3 KB
  596. seL4/include/machine/io.h : 1.3 KB
  597. seL4/include/machine/io.h : 1.3 KB
  598. seL4/include/object/untyped.h : 1.3 KB
  599. seL4/include/object/untyped.h : 1.3 KB
  600. seL4/arch/api/syscall.h : 1.3 KB
  601. seL4/arch/api/syscall.h : 1.3 KB
  602. seL4/haskell/src/SEL4/API/Types/Universal.lhs : 1.3 KB
  603. seL4/haskell/src/SEL4/API/Types/Universal.lhs : 1.3 KB
  604. seL4/include/arch/x86/arch/model/statedata.h : 1.3 KB
  605. seL4/include/arch/x86/arch/model/statedata.h : 1.3 KB
  606. seL4/haskell/doc/Makefile : 1.3 KB
  607. seL4/haskell/doc/Makefile : 1.3 KB
  608. seL4/include/arch/x86/arch/object/objecttype.h : 1.3 KB
  609. seL4/include/arch/x86/arch/object/objecttype.h : 1.3 KB
  610. seL4/haskell/doc/figures/truncation.mp : 1.3 KB
  611. seL4/haskell/doc/figures/truncation.mp : 1.3 KB
  612. seL4/include/plat/allwinnerA20/plat/machine/devices.h : 1.3 KB
  613. seL4/include/plat/allwinnerA20/plat/machine/devices.h : 1.3 KB
  614. seL4/arch/api/invocation.h : 1.3 KB
  615. seL4/haskell/README.md : 1.3 KB
  616. seL4/arch/api/invocation.h : 1.3 KB
  617. seL4/haskell/README.md : 1.3 KB
  618. seL4/include/model/statedata.h : 1.3 KB
  619. seL4/include/model/statedata.h : 1.3 KB
  620. seL4/src/arch/arm/Kconfig : 1.2 KB
  621. seL4/src/arch/arm/Kconfig : 1.2 KB
  622. seL4/manual/tools/gen_env.py : 1.2 KB
  623. seL4/manual/tools/gen_env.py : 1.2 KB
  624. seL4/plat/machine/hardware.pbf : 1.2 KB
  625. seL4/plat/machine/hardware.pbf : 1.2 KB
  626. seL4/haskell/src/SEL4/Machine/RegisterSet/ARM.lhs : 1.2 KB
  627. seL4/haskell/src/SEL4/Machine/RegisterSet/ARM.lhs : 1.2 KB
  628. seL4/linker.lds_pp : 1.2 KB
  629. seL4/linker.lds_pp : 1.2 KB
  630. seL4/src/plat/pc99/machine/pit.c : 1.2 KB
  631. seL4/include/plat/pc99/plat/machine/io.h : 1.2 KB
  632. seL4/src/plat/pc99/machine/pit.c : 1.2 KB
  633. seL4/include/plat/pc99/plat/machine/io.h : 1.2 KB
  634. seL4/src/model/preemption.c : 1.2 KB
  635. seL4/src/model/preemption.c : 1.2 KB
  636. seL4/src/arch/arm/armv/armv6/machine_asm.S : 1.2 KB
  637. seL4/src/arch/arm/armv/armv6/machine_asm.S : 1.2 KB
  638. seL4/src/string.c : 1.2 KB
  639. seL4/src/string.c : 1.2 KB
  640. seL4/manual/parts/api/cnode_recycle.tex : 1.2 KB
  641. seL4/manual/parts/api/cnode_recycle.tex : 1.2 KB
  642. seL4/libsel4/arch_include/arm/sel4/arch/pfIPC.h : 1.2 KB
  643. seL4/libsel4/arch_include/arm/sel4/arch/pfIPC.h : 1.2 KB
  644. seL4/include/arch/x86/arch/object/iospace.h : 1.1 KB
  645. seL4/include/arch/x86/arch/object/iospace.h : 1.1 KB
  646. seL4/src/plat/apq8064/machine/io.c : 1.1 KB
  647. seL4/src/plat/apq8064/machine/io.c : 1.1 KB
  648. seL4/manual/parts/api/tcb_copyregisters.tex : 1.1 KB
  649. seL4/manual/parts/api/tcb_copyregisters.tex : 1.1 KB
  650. seL4/libsel4/tools/changed.sh : 1.1 KB
  651. seL4/tools/changed.sh : 1.1 KB
  652. seL4/libsel4/tools/changed.sh : 1.1 KB
  653. seL4/libsel4/tools/changed.sh : 1.1 KB
  654. seL4/tools/changed.sh : 1.1 KB
  655. seL4/libsel4/tools/changed.sh : 1.1 KB
  656. seL4/haskell/src/SEL4/Object/TCB/ARM.lhs : 1.1 KB
  657. seL4/haskell/src/SEL4/Object/TCB/ARM.lhs : 1.1 KB
  658. seL4/include/machine/assembler.h : 1.1 KB
  659. seL4/include/machine/assembler.h : 1.1 KB
  660. seL4/include/arch/x86/arch/kernel/multiboot.h : 1.1 KB
  661. seL4/include/arch/x86/arch/kernel/multiboot.h : 1.1 KB
  662. seL4/src/arch/arm/model/statedata.c : 1.1 KB
  663. seL4/src/arch/arm/model/statedata.c : 1.1 KB
  664. seL4/haskell/doc/figures/derive.mp : 1.0 KB
  665. seL4/haskell/doc/figures/derive.mp : 1.0 KB
  666. seL4/include/arch/x86/arch/benchmark.h : 1.0 KB
  667. seL4/include/arch/x86/arch/benchmark.h : 1.0 KB
  668. seL4/haskell/src/SEL4/Object.lhs : 1.0 KB
  669. seL4/haskell/src/SEL4/Object.lhs : 1.0 KB
  670. seL4/include/assert.h : 1.0 KB
  671. seL4/include/assert.h : 1.0 KB
  672. seL4/include/plat/pc99/plat/machine/devices.h : 1.0 KB
  673. seL4/include/plat/pc99/plat/machine/devices.h : 1.0 KB
  674. seL4/src/plat/allwinnerA20/machine/io.c : 994 B
  675. seL4/src/plat/allwinnerA20/machine/io.c : 994 B
  676. seL4/src/plat/omap3/machine/io.c : 991 B
  677. seL4/src/plat/omap3/machine/io.c : 991 B
  678. seL4/include/arch/arm/arch/machine/gic_pl390.h : 988 B
  679. seL4/include/arch/arm/arch/machine/gic_pl390.h : 988 B
  680. seL4/src/arch/x86/machine_asm.o : 984 B
  681. seL4/src/arch/x86/machine_asm.o : 984 B
  682. .travis.yml : 981 B
  683. seL4/include/plat/am335x/plat/machine/devices.h : 965 B
  684. seL4/include/plat/am335x/plat/machine/devices.h : 965 B
  685. seL4/src/arch/arm/machine/Makefile : 950 B
  686. seL4/src/arch/arm/machine/Makefile : 950 B
  687. seL4/include/machine/capdl.h : 945 B
  688. seL4/include/machine/capdl.h : 945 B
  689. seL4/include/arch/x86/arch/linker.h : 936 B
  690. seL4/include/arch/x86/arch/linker.h : 936 B
  691. seL4/include/arch/x86/arch/api/objecttype.h : 934 B
  692. seL4/include/arch/x86/arch/api/objecttype.h : 934 B
  693. seL4/src/plat/am335x/machine/io.c : 933 B
  694. seL4/src/arch/arm/armv/armv7-a/benchmark.c : 933 B
  695. seL4/src/plat/am335x/machine/io.c : 933 B
  696. seL4/src/arch/arm/armv/armv7-a/benchmark.c : 933 B
  697. seL4/manual/parts/api/cnode_savecaller.tex : 917 B
  698. seL4/manual/parts/api/cnode_savecaller.tex : 917 B
  699. seL4/manual/parts/api/tcb_configure.tex : 909 B
  700. seL4/manual/parts/api/tcb_configure.tex : 909 B
  701. seL4/src/plat/omap3/machine/l2cache.c : 908 B
  702. seL4/src/plat/am335x/machine/l2cache.c : 908 B
  703. seL4/src/plat/omap3/machine/l2cache.c : 908 B
  704. seL4/src/plat/am335x/machine/l2cache.c : 908 B
  705. seL4/libsel4/arch_include/x86/sel4/arch/objecttype.h : 902 B
  706. seL4/libsel4/arch_include/x86/sel4/arch/objecttype.h : 902 B
  707. seL4/src/plat/allwinnerA20/machine/l2cache.c : 898 B
  708. seL4/src/plat/allwinnerA20/machine/l2cache.c : 898 B
  709. seL4/src/assert.c : 897 B
  710. seL4/src/assert.c : 897 B
  711. seL4/include/arch/x86/arch/kernel/lock.h : 893 B
  712. seL4/include/arch/x86/arch/kernel/lock.h : 893 B
  713. seL4/api/invocation.h : 887 B
  714. seL4/api/invocation.h : 887 B
  715. seL4/src/arch/arm/kernel/thread.c : 877 B
  716. seL4/src/arch/arm/kernel/thread.c : 877 B
  717. seL4/include/arch/arm/armv/armv6/armv/context_switch.h : 862 B
  718. seL4/include/arch/arm/armv/armv6/armv/context_switch.h : 862 B
  719. seL4/libsel4/arch_include/arm/sel4/arch/deprecated.h : 856 B
  720. seL4/libsel4/arch_include/arm/sel4/arch/deprecated.h : 856 B
  721. seL4/haskell/src/SEL4/Object/Interrupt/ARM.lhs : 846 B
  722. seL4/haskell/src/SEL4/Object/Interrupt/ARM.lhs : 846 B
  723. seL4/include/object/notification.h : 837 B
  724. seL4/include/object/notification.h : 837 B
  725. seL4/manual/parts/api/cnode_mint.tex : 830 B
  726. seL4/manual/parts/api/cnode_mint.tex : 830 B
  727. seL4/manual/parts/api/ia32_ASID_controlmakepool.tex : 829 B
  728. seL4/manual/parts/api/ia32_ASID_controlmakepool.tex : 829 B
  729. seL4/manual/parts/api/arm_asidcontrol_makepool.tex : 823 B
  730. seL4/manual/parts/api/arm_asidcontrol_makepool.tex : 823 B
  731. seL4/libsel4/arch_include/x86/sel4/arch/deprecated.h : 813 B
  732. seL4/libsel4/arch_include/x86/sel4/arch/deprecated.h : 813 B
  733. seL4/manual/parts/api/sel4_poll.tex : 803 B
  734. seL4/manual/parts/api/sel4_poll.tex : 803 B
  735. seL4/include/compound_types.h : 802 B
  736. seL4/include/compound_types.h : 802 B
  737. seL4/include/basic_types.h : 800 B
  738. seL4/include/basic_types.h : 800 B
  739. seL4/manual/parts/api/tcb_writeregisters.tex : 797 B
  740. seL4/include/arch/arm/armv/armv7-a/armv/benchmark.h : 797 B
  741. seL4/manual/parts/api/tcb_writeregisters.tex : 797 B
  742. seL4/include/arch/arm/armv/armv7-a/armv/benchmark.h : 797 B
  743. seL4/include/object/endpoint.h : 793 B
  744. seL4/include/object/endpoint.h : 793 B
  745. seL4/manual/parts/api/tcb_readregisters.tex : 788 B
  746. seL4/manual/parts/api/tcb_readregisters.tex : 788 B
  747. seL4/manual/parts/api/tcb_setspace.tex : 787 B
  748. seL4/manual/parts/api/tcb_setspace.tex : 787 B
  749. seL4/include/arch/arm/armv/armv6/armv/machine.h : 782 B
  750. seL4/include/arch/arm/armv/armv6/armv/machine.h : 782 B
  751. seL4/include/arch/arm/arch/model/statedata.h : 781 B
  752. seL4/include/arch/arm/arch/model/statedata.h : 781 B
  753. seL4/include/arch/arm/arch/machine/l2c_310.h : 777 B
  754. seL4/include/arch/arm/arch/machine/l2c_310.h : 777 B
  755. seL4/manual/parts/api/cnode_copy.tex : 776 B
  756. seL4/manual/parts/api/cnode_copy.tex : 776 B
  757. seL4/manual/parts/api/cnode_mutate.tex : 772 B
  758. seL4/manual/parts/api/cnode_mutate.tex : 772 B
  759. seL4/include/arch/arm/arch/linker.h : 768 B
  760. seL4/include/arch/arm/arch/linker.h : 768 B
  761. seL4/tools/bf.vim : 765 B
  762. seL4/tools/bf.vim : 765 B
  763. seL4/CAVEATS-ia32.txt : 756 B
  764. seL4/CAVEATS-ia32.txt : 756 B
  765. seL4/include/arch/arm/arch/object/tcb.h : 748 B
  766. seL4/include/arch/arm/arch/object/tcb.h : 748 B
  767. seL4/manual/parts/api/irq_controlget.tex : 740 B
  768. seL4/include/arch/x86/arch/kernel/cmdline.h : 740 B
  769. seL4/manual/parts/api/irq_controlget.tex : 740 B
  770. seL4/include/arch/x86/arch/kernel/cmdline.h : 740 B
  771. seL4/src/arch/x86/kernel/Makefile : 738 B
  772. seL4/src/arch/x86/kernel/Makefile : 738 B
  773. seL4/include/arch/x86/arch/kernel/boot_sys.h : 733 B
  774. seL4/include/arch/x86/arch/kernel/boot_sys.h : 733 B
  775. seL4/src/arch/arm/machine/registerset.c : 732 B
  776. seL4/src/arch/arm/machine/registerset.c : 732 B
  777. seL4/libsel4/tools/sel4_idl.dtd : 730 B
  778. seL4/libsel4/tools/sel4_idl.dtd : 730 B
  779. seL4/src/arch/x86/api/benchmark.c : 725 B
  780. seL4/manual/parts/api/sel4_wait.tex : 725 B
  781. seL4/src/arch/x86/api/benchmark.c : 725 B
  782. seL4/manual/parts/api/sel4_wait.tex : 725 B
  783. seL4/haskell/Makefile : 723 B
  784. seL4/haskell/Makefile : 723 B
  785. seL4/src/arch/x86/Makefile : 720 B
  786. seL4/src/arch/x86/Makefile : 720 B
  787. seL4/include/arch/x86/arch/kernel/apic.h : 719 B
  788. seL4/include/arch/x86/arch/kernel/apic.h : 719 B
  789. seL4/include/plat/pc99/plat/machine/pic.h : 715 B
  790. seL4/include/plat/pc99/plat/machine/pic.h : 715 B
  791. seL4/manual/parts/api/ia32_page_mapio.tex : 712 B
  792. seL4/manual/parts/api/ia32_page_mapio.tex : 712 B
  793. seL4/src/plat/pc99/machine/Makefile : 709 B
  794. seL4/manual/parts/api/sel4_signal.tex : 709 B
  795. seL4/src/plat/pc99/machine/Makefile : 709 B
  796. seL4/manual/parts/api/sel4_signal.tex : 709 B
  797. seL4/manual/parts/api/ia32_io_pagetable_map.tex : 707 B
  798. seL4/manual/parts/api/ia32_io_pagetable_map.tex : 707 B
  799. seL4/include/machine/registerset.h : 699 B
  800. seL4/include/machine/registerset.h : 699 B
  801. seL4/src/arch/arm/idle.S : 697 B
  802. seL4/src/arch/arm/idle.S : 697 B
  803. seL4/haskell/doc/packages : 692 B
  804. seL4/haskell/doc/packages : 692 B
  805. seL4/manual/parts/api/irq_handlersetnotification.tex : 690 B
  806. seL4/manual/parts/api/irq_handlersetnotification.tex : 690 B
  807. seL4/src/arch/arm/Makefile : 689 B
  808. seL4/manual/parts/api/cnode_move.tex : 689 B
  809. seL4/src/arch/arm/Makefile : 689 B
  810. seL4/manual/parts/api/cnode_move.tex : 689 B
  811. seL4/src/plat/pc99/machine/debug_helpers.c : 686 B
  812. seL4/src/plat/pc99/machine/debug_helpers.c : 686 B
  813. seL4/manual/parts/api/arm_pagetable_map.tex : 683 B
  814. seL4/include/arch/x86/arch/object/tcb.h : 683 B
  815. seL4/manual/parts/api/arm_pagetable_map.tex : 683 B
  816. seL4/include/arch/x86/arch/object/tcb.h : 683 B
  817. seL4/include/arch/arm/arch/api/objecttype.h : 678 B
  818. seL4/include/arch/arm/arch/api/objecttype.h : 678 B
  819. seL4/manual/parts/api/ia32_pagetable_map.tex : 677 B
  820. seL4/manual/parts/api/ia32_pagetable_map.tex : 677 B
  821. seL4/manual/parts/api/ia32_page_map.tex : 676 B
  822. seL4/manual/parts/api/ia32_page_map.tex : 676 B
  823. seL4/manual/parts/api/arm_page_map.tex : 669 B
  824. seL4/include/arch/arm/arch/kernel/boot.h : 669 B
  825. seL4/manual/parts/api/arm_page_map.tex : 669 B
  826. seL4/include/arch/arm/arch/kernel/boot.h : 669 B
  827. seL4/haskell/doc/figures/modules.dot : 658 B
  828. seL4/haskell/doc/figures/modules.dot : 658 B
  829. seL4/libsel4/src/sel4_bootinfo.c : 656 B
  830. seL4/libsel4/src/sel4_bootinfo.c : 656 B
  831. seL4/include/plat/pc99/plat/machine/ioapic.h : 648 B
  832. seL4/include/plat/pc99/plat/machine/ioapic.h : 648 B
  833. seL4/libsel4/arch_include/arm/sel4/arch/objecttype.h : 645 B
  834. seL4/libsel4/arch_include/arm/sel4/arch/objecttype.h : 645 B
  835. seL4/src/arch/arm/armv/armv6/cache.c : 638 B
  836. seL4/src/arch/arm/armv/armv6/cache.c : 638 B
  837. seL4/manual/parts/api/arm_page_remap.tex : 637 B
  838. seL4/manual/parts/api/arm_page_remap.tex : 637 B
  839. seL4/libsel4/arch_include/x86/sel4/arch/simple_types.h : 636 B
  840. seL4/include/plat/apq8064/plat/machine/io.h : 636 B
  841. seL4/haskell/src/SEL4/Model.lhs : 636 B
  842. seL4/libsel4/arch_include/x86/sel4/arch/simple_types.h : 636 B
  843. seL4/include/plat/apq8064/plat/machine/io.h : 636 B
  844. seL4/haskell/src/SEL4/Model.lhs : 636 B
  845. seL4/include/plat/exynos5/plat/machine/io.h : 634 B
  846. seL4/include/plat/exynos4/plat/machine/io.h : 634 B
  847. seL4/include/plat/exynos5/plat/machine/io.h : 634 B
  848. seL4/include/plat/exynos4/plat/machine/io.h : 634 B
  849. seL4/libsel4/arch_include/arm/sel4/arch/simple_types.h : 632 B
  850. seL4/libsel4/arch_include/arm/sel4/arch/simple_types.h : 632 B
  851. seL4/src/arch/arm/api/benchmark.c : 631 B
  852. seL4/src/arch/arm/api/benchmark.c : 631 B
  853. seL4/src/Makefile : 630 B
  854. seL4/include/plat/zynq7000/plat/machine/io.h : 630 B
  855. seL4/include/plat/imx6/plat/machine/io.h : 630 B
  856. seL4/src/Makefile : 630 B
  857. seL4/include/plat/zynq7000/plat/machine/io.h : 630 B
  858. seL4/include/plat/imx6/plat/machine/io.h : 630 B
  859. seL4/manual/parts/api/ia32_page_remap.tex : 625 B
  860. seL4/manual/parts/api/ia32_page_remap.tex : 625 B
  861. seL4/src/arch/arm/halt.S : 624 B
  862. seL4/include/arch/x86/arch/machine/pat.h : 624 B
  863. seL4/src/arch/arm/halt.S : 624 B
  864. seL4/include/arch/x86/arch/machine/pat.h : 624 B
  865. seL4/include/arch/arm/armv/armv7-a/armv/machine.h : 623 B
  866. seL4/include/arch/arm/armv/armv7-a/armv/machine.h : 623 B
  867. seL4/manual/parts/api/ia32_IO_portin32.tex : 619 B
  868. seL4/manual/parts/api/ia32_IO_portin16.tex : 619 B
  869. seL4/manual/parts/api/ia32_IO_portin32.tex : 619 B
  870. seL4/manual/parts/api/ia32_IO_portin16.tex : 619 B
  871. seL4/include/plat/pc99/plat/machine/intel-vtd.h : 618 B
  872. seL4/include/plat/pc99/plat/machine/intel-vtd.h : 618 B
  873. seL4/manual/parts/api/ia32_page_getaddress.tex : 615 B
  874. seL4/manual/parts/api/ia32_page_getaddress.tex : 615 B
  875. seL4/manual/parts/api/ia32_IO_portin8.tex : 614 B
  876. seL4/haskell/src/SEL4/Kernel.lhs : 614 B
  877. seL4/manual/parts/api/ia32_IO_portin8.tex : 614 B
  878. seL4/haskell/src/SEL4/Kernel.lhs : 614 B
  879. seL4/include/object.h : 613 B
  880. seL4/haskell/src/SEL4/Machine/Target.lhs : 613 B
  881. seL4/include/object.h : 613 B
  882. seL4/haskell/src/SEL4/Machine/Target.lhs : 613 B
  883. seL4/manual/parts/api/arm_page_getaddress.tex : 609 B
  884. seL4/manual/parts/api/arm_page_getaddress.tex : 609 B
  885. seL4/manual/parts/api/sel4_replyrecv.tex : 608 B
  886. seL4/manual/parts/api/sel4_replyrecv.tex : 608 B
  887. seL4/manual/parts/api/tcb_setipcbuffer.tex : 607 B
  888. seL4/manual/parts/api/tcb_setipcbuffer.tex : 607 B
  889. seL4/include/plat/imx31/plat/machine.h : 606 B
  890. seL4/include/plat/imx31/plat/machine.h : 606 B
  891. seL4/include/plat/allwinnerA20/plat/machine/io.h : 605 B
  892. seL4/.gitignore : 605 B
  893. seL4/include/plat/allwinnerA20/plat/machine/io.h : 605 B
  894. seL4/.gitignore : 605 B
  895. seL4/include/plat/am335x/plat/machine/io.h : 603 B
  896. seL4/include/plat/am335x/plat/machine/io.h : 603 B
  897. seL4/include/plat/omap3/plat/machine/io.h : 601 B
  898. seL4/include/plat/imx31/plat/machine/io.h : 601 B
  899. seL4/include/plat/omap3/plat/machine/io.h : 601 B
  900. seL4/include/plat/imx31/plat/machine/io.h : 601 B
  901. seL4/include/arch/x86/arch/object/ioport.h : 600 B
  902. seL4/include/arch/x86/arch/object/ioport.h : 600 B
  903. seL4/src/plat/exynos5/machine/Makefile : 583 B
  904. seL4/src/plat/exynos5/machine/Makefile : 583 B
  905. seL4/include/plat/am335x/plat/machine.h : 579 B
  906. seL4/include/plat/am335x/plat/machine.h : 579 B
  907. seL4/manual/parts/api/sel4_nbrecv.tex : 577 B
  908. seL4/manual/parts/api/ia32_IO_portout32.tex : 577 B
  909. seL4/manual/parts/api/ia32_IO_portout16.tex : 577 B
  910. seL4/manual/parts/api/sel4_nbrecv.tex : 577 B
  911. seL4/manual/parts/api/ia32_IO_portout32.tex : 577 B
  912. seL4/manual/parts/api/ia32_IO_portout16.tex : 577 B
  913. seL4/include/stdint.h : 574 B
  914. seL4/include/arch/arm/arch/types.h : 574 B
  915. seL4/include/stdint.h : 574 B
  916. seL4/include/arch/arm/arch/types.h : 574 B
  917. seL4/manual/parts/api/tcb_bindnotification.tex : 573 B
  918. seL4/manual/parts/api/tcb_bindnotification.tex : 573 B
  919. seL4/manual/parts/api/ia32_IO_portout8.tex : 572 B
  920. seL4/manual/parts/api/ia32_IO_portout8.tex : 572 B
  921. seL4/include/plat/pc99/plat/machine/pci.h : 571 B
  922. seL4/include/plat/pc99/plat/machine/pci.h : 571 B
  923. seL4/include/arch/x86/arch/api/types.h : 569 B
  924. seL4/include/arch/x86/arch/api/types.h : 569 B
  925. seL4/src/arch/x86/object/interrupt.c : 568 B
  926. seL4/src/arch/x86/object/interrupt.c : 568 B
  927. seL4/manual/parts/api/arm_pagetable_unmap.tex : 565 B
  928. seL4/manual/parts/api/arm_pagetable_unmap.tex : 565 B
  929. seL4/manual/parts/api/cnode_revoke.tex : 561 B
  930. seL4/manual/parts/api/cnode_revoke.tex : 561 B
  931. seL4/include/string.h : 560 B
  932. seL4/include/string.h : 560 B
  933. seL4/manual/parts/api/ia32_ASID_poolassign.tex : 558 B
  934. seL4/manual/parts/api/ia32_ASID_poolassign.tex : 558 B
  935. seL4/manual/parts/api/arm_asidpool_assign.tex : 557 B
  936. seL4/manual/parts/api/arm_asidpool_assign.tex : 557 B
  937. seL4/manual/parts/api/ia32_pagetable_unmap.tex : 556 B
  938. seL4/manual/parts/api/ia32_pagetable_unmap.tex : 556 B
  939. seL4/manual/parts/api/domainset_set.tex : 552 B
  940. seL4/include/arch/arm/arch/object/interrupt.h : 552 B
  941. seL4/include/arch/arm/arch/api/types.h : 552 B
  942. seL4/manual/parts/api/domainset_set.tex : 552 B
  943. seL4/include/arch/arm/arch/object/interrupt.h : 552 B
  944. seL4/include/arch/arm/arch/api/types.h : 552 B
  945. seL4/api/types.pbf : 547 B
  946. seL4/include/arch/arm/armv/armv6/armv/benchmark.h : 547 B
  947. seL4/api/types.pbf : 547 B
  948. seL4/include/arch/arm/armv/armv6/armv/benchmark.h : 547 B
  949. seL4/src/plat/exynos4/machine/Makefile : 545 B
  950. seL4/src/plat/exynos4/machine/Makefile : 545 B
  951. seL4/include/plat/imx31/plat/machine/hardware.bf : 542 B
  952. seL4/include/plat/imx31/plat/machine/hardware.bf : 542 B
  953. seL4/haskell/src/Data/Helpers.hs : 541 B
  954. seL4/haskell/src/Data/Helpers.hs : 541 B
  955. seL4/src/arch/arm/object/interrupt.c : 535 B
  956. seL4/manual/parts/api/cnode_delete.tex : 535 B
  957. seL4/src/arch/arm/object/interrupt.c : 535 B
  958. seL4/manual/parts/api/cnode_delete.tex : 535 B
  959. seL4/manual/parts/api/irq_handleracknowledge.tex : 533 B
  960. seL4/manual/parts/api/irq_handleracknowledge.tex : 533 B
  961. seL4/src/arch/x86/idle.o : 532 B
  962. seL4/src/plat/apq8064/machine/Makefile : 532 B
  963. seL4/include/arch/x86/arch/types.h : 532 B
  964. seL4/haskell/src/SEL4/API.lhs : 532 B
  965. seL4/src/arch/x86/idle.o : 532 B
  966. seL4/src/plat/apq8064/machine/Makefile : 532 B
  967. seL4/include/arch/x86/arch/types.h : 532 B
  968. seL4/haskell/src/SEL4/API.lhs : 532 B
  969. seL4/include/arch/x86/arch/kernel/thread.h : 529 B
  970. seL4/include/arch/arm/arch/kernel/thread.h : 529 B
  971. seL4/include/arch/x86/arch/kernel/thread.h : 529 B
  972. seL4/include/arch/arm/arch/kernel/thread.h : 529 B
  973. seL4/manual/parts/api/tcb_unbindnotification.tex : 528 B
  974. seL4/manual/parts/api/tcb_unbindnotification.tex : 528 B
  975. seL4/src/arch/arm/machine/hardware.c : 526 B
  976. seL4/src/arch/arm/machine/hardware.c : 526 B
  977. seL4/manual/parts/api/sel4_recv.tex : 525 B
  978. seL4/manual/parts/api/sel4_recv.tex : 525 B
  979. seL4/src/arch/x86/halt.o : 524 B
  980. seL4/include/arch/arm/arch/benchmark.h : 524 B
  981. seL4/src/arch/x86/halt.o : 524 B
  982. seL4/include/arch/arm/arch/benchmark.h : 524 B
  983. seL4/src/config/default_domain.c : 520 B
  984. seL4/src/config/default_domain.c : 520 B
  985. seL4/manual/parts/api/sel4_nbsend.tex : 516 B
  986. seL4/manual/parts/api/sel4_nbsend.tex : 516 B
  987. seL4/manual/parts/api/tcb_setpriority.tex : 515 B
  988. seL4/manual/parts/api/tcb_setpriority.tex : 515 B
  989. seL4/manual/parts/api/arm_page_flushcaches.tex : 514 B
  990. seL4/manual/parts/api/arm_page_flushcaches.tex : 514 B
  991. seL4/manual/parts/api/irq_handlerclear.tex : 512 B
  992. seL4/include/arch/x86/arch/object/interrupt.h : 512 B
  993. seL4/manual/parts/api/irq_handlerclear.tex : 512 B
  994. seL4/include/arch/x86/arch/object/interrupt.h : 512 B
  995. seL4/manual/parts/api/sel4_call.tex : 511 B
  996. seL4/manual/parts/api/sel4_call.tex : 511 B
  997. seL4/manual/parts/api/sel4_reply.tex : 509 B
  998. seL4/manual/parts/api/sel4_reply.tex : 509 B
  999. seL4/manual/parts/api/debug_putchar.tex : 507 B
  1000. seL4/libsel4/arch_include/arm/sel4/arch/constants.h : 507 B
  1001. seL4/manual/parts/api/debug_putchar.tex : 507 B
  1002. seL4/libsel4/arch_include/arm/sel4/arch/constants.h : 507 B
  1003. seL4/src/object/Makefile : 499 B
  1004. seL4/src/object/Makefile : 499 B
  1005. seL4/src/plat/am335x/machine/Makefile : 493 B
  1006. seL4/src/plat/am335x/machine/Makefile : 493 B
  1007. seL4/src/plat/omap3/machine/Makefile : 492 B
  1008. seL4/src/plat/omap3/machine/Makefile : 492 B
  1009. seL4/src/plat/allwinnerA20/machine/Makefile : 489 B
  1010. seL4/src/plat/allwinnerA20/machine/Makefile : 489 B
  1011. seL4/include/kernel/faulthandler.h : 486 B
  1012. seL4/include/kernel/faulthandler.h : 486 B
  1013. seL4/src/arch/x86/object/Makefile : 485 B
  1014. seL4/src/arch/x86/object/Makefile : 485 B
  1015. seL4/manual/parts/api/sel4_send.tex : 484 B
  1016. seL4/manual/parts/api/ia32_page_unmap.tex : 484 B
  1017. seL4/manual/parts/api/sel4_send.tex : 484 B
  1018. seL4/manual/parts/api/ia32_page_unmap.tex : 484 B
  1019. seL4/manual/parts/api/arm_page_unmap.tex : 481 B
  1020. seL4/manual/parts/api/arm_page_unmap.tex : 481 B
  1021. seL4/include/stdarg.h : 480 B
  1022. seL4/include/stdarg.h : 480 B
  1023. seL4/src/arch/arm/armv/armv7-a/Makefile : 478 B
  1024. seL4/src/arch/arm/armv/armv6/Makefile : 478 B
  1025. seL4/src/arch/arm/armv/armv7-a/Makefile : 478 B
  1026. seL4/src/arch/arm/armv/armv6/Makefile : 478 B
  1027. seL4/include/arch/x86/arch/api/constants.h : 474 B
  1028. seL4/include/arch/x86/arch/api/constants.h : 474 B
  1029. seL4/src/arch/x86/machine/Makefile : 473 B
  1030. seL4/include/plat/pc99/plat/machine/pit.h : 473 B
  1031. seL4/src/arch/x86/machine/Makefile : 473 B
  1032. seL4/include/plat/pc99/plat/machine/pit.h : 473 B
  1033. seL4/manual/parts/api/tcb_suspend.tex : 461 B
  1034. seL4/manual/parts/api/tcb_suspend.tex : 461 B
  1035. seL4/include/arch/arm/arch/api/constants.h : 459 B
  1036. seL4/include/arch/arm/arch/api/constants.h : 459 B
  1037. seL4/src/plat/imx6/machine/Makefile : 457 B
  1038. seL4/src/plat/imx6/machine/Makefile : 457 B
  1039. seL4/src/plat/imx31/machine/Makefile : 456 B
  1040. seL4/src/plat/imx31/machine/Makefile : 456 B
  1041. seL4/src/arch/arm/armv/armv6/benchmark.c : 451 B
  1042. seL4/src/arch/arm/armv/armv6/benchmark.c : 451 B
  1043. seL4/manual/parts/api/sel4_yield.tex : 450 B
  1044. seL4/haskell/src/SEL4/Machine.lhs : 450 B
  1045. seL4/manual/parts/api/sel4_yield.tex : 450 B
  1046. seL4/haskell/src/SEL4/Machine.lhs : 450 B
  1047. seL4/src/arch/x86/kernel/lock.c : 445 B
  1048. seL4/manual/parts/api/tcb_resume.tex : 445 B
  1049. seL4/src/arch/x86/kernel/lock.c : 445 B
  1050. seL4/manual/parts/api/tcb_resume.tex : 445 B
  1051. seL4/include/machine.h : 436 B
  1052. seL4/include/machine.h : 436 B
  1053. seL4/src/kernel/Makefile : 431 B
  1054. seL4/src/kernel/Makefile : 431 B
  1055. seL4/manual/parts/api/debug_halt.tex : 430 B
  1056. seL4/include/plat/pc99/plat/machine/debug_helpers.h : 430 B
  1057. seL4/manual/parts/api/debug_halt.tex : 430 B
  1058. seL4/include/plat/pc99/plat/machine/debug_helpers.h : 430 B
  1059. seL4/include/plat/zynq7000/plat/machine/debug_helpers.h : 428 B
  1060. seL4/include/plat/imx6/plat/machine/debug_helpers.h : 428 B
  1061. seL4/include/plat/exynos5/plat/machine/debug_helpers.h : 428 B
  1062. seL4/include/plat/exynos4/plat/machine/debug_helpers.h : 428 B
  1063. seL4/include/plat/apq8064/plat/machine/debug_helpers.h : 428 B
  1064. seL4/include/machine/hardware.h : 428 B
  1065. seL4/include/plat/zynq7000/plat/machine/debug_helpers.h : 428 B
  1066. seL4/include/plat/imx6/plat/machine/debug_helpers.h : 428 B
  1067. seL4/include/plat/exynos5/plat/machine/debug_helpers.h : 428 B
  1068. seL4/include/plat/exynos4/plat/machine/debug_helpers.h : 428 B
  1069. seL4/include/plat/apq8064/plat/machine/debug_helpers.h : 428 B
  1070. seL4/include/machine/hardware.h : 428 B
  1071. seL4/src/arch/arm/kernel/Makefile : 426 B
  1072. seL4/src/arch/arm/kernel/Makefile : 426 B
  1073. seL4/src/inlines.c : 417 B
  1074. seL4/src/inlines.c : 417 B
  1075. seL4/src/plat/zynq7000/machine/Makefile : 416 B
  1076. seL4/src/plat/zynq7000/machine/Makefile : 416 B
  1077. seL4/src/machine/Makefile : 401 B
  1078. seL4/include/model/preemption.h : 401 B
  1079. seL4/src/machine/Makefile : 401 B
  1080. seL4/include/model/preemption.h : 401 B
  1081. seL4/haskell/include/sel4model.h : 395 B
  1082. seL4/haskell/include/sel4model.h : 395 B
  1083. seL4/src/arch/x86/idle.S : 394 B
  1084. seL4/include/arch/arm/arch/user_access.h : 394 B
  1085. seL4/src/arch/x86/idle.S : 394 B
  1086. seL4/include/arch/arm/arch/user_access.h : 394 B
  1087. seL4/tools/cpp_gen.sh : 393 B
  1088. seL4/tools/cpp_gen.sh : 393 B
  1089. seL4/include/plat/omap3/plat/machine/debug_helpers.h : 389 B
  1090. seL4/include/plat/imx31/plat/machine/debug_helpers.h : 389 B
  1091. seL4/include/plat/am335x/plat/machine/debug_helpers.h : 389 B
  1092. seL4/include/plat/omap3/plat/machine/debug_helpers.h : 389 B
  1093. seL4/include/plat/imx31/plat/machine/debug_helpers.h : 389 B
  1094. seL4/include/plat/am335x/plat/machine/debug_helpers.h : 389 B
  1095. seL4/src/arch/x86/halt.S : 387 B
  1096. seL4/include/api.h : 387 B
  1097. seL4/src/arch/x86/halt.S : 387 B
  1098. seL4/include/api.h : 387 B
  1099. seL4/include/plat/allwinnerA20/plat/machine/debug_helpers.h : 379 B
  1100. seL4/include/plat/allwinnerA20/plat/machine/debug_helpers.h : 379 B
  1101. seL4/src/arch/arm/armv/armv6/user_access.c : 371 B
  1102. seL4/src/arch/arm/armv/armv6/user_access.c : 371 B
  1103. seL4/include/types.h : 370 B
  1104. seL4/include/types.h : 370 B
  1105. seL4/src/arch/arm/object/Makefile : 368 B
  1106. seL4/src/arch/arm/object/Makefile : 368 B
  1107. seL4/include/machine/debug.h : 365 B
  1108. seL4/include/kernel/vspace.h : 365 B
  1109. seL4/include/machine/debug.h : 365 B
  1110. seL4/include/kernel/vspace.h : 365 B
  1111. seL4/src/model/Makefile : 361 B
  1112. seL4/include/arch/x86/arch/machine/capdl.h : 361 B
  1113. seL4/include/arch/arm/arch/machine/capdl.h : 361 B
  1114. seL4/src/model/Makefile : 361 B
  1115. seL4/include/arch/x86/arch/machine/capdl.h : 361 B
  1116. seL4/include/arch/arm/arch/machine/capdl.h : 361 B
  1117. seL4/include/arch/arm/arch/machine/priv_timer.h : 360 B
  1118. seL4/include/arch/arm/arch/machine/priv_timer.h : 360 B
  1119. targets/i686-sel4-unknown.json : 350 B
  1120. seL4/src/arch/x86/api/Makefile : 346 B
  1121. seL4/src/arch/x86/api/Makefile : 346 B
  1122. seL4/src/arch/arm/api/Makefile : 342 B
  1123. seL4/src/arch/arm/api/Makefile : 342 B
  1124. seL4/libsel4/tools/xmllint.sh : 338 B
  1125. seL4/tools/xmllint.sh : 338 B
  1126. seL4/libsel4/tools/xmllint.sh : 338 B
  1127. seL4/libsel4/tools/xmllint.sh : 338 B
  1128. seL4/tools/xmllint.sh : 338 B
  1129. seL4/libsel4/tools/xmllint.sh : 338 B
  1130. seL4/src/arch/x86/model/Makefile : 337 B
  1131. seL4/src/arch/x86/model/Makefile : 337 B
  1132. seL4/src/arch/arm/model/Makefile : 333 B
  1133. seL4/src/arch/arm/model/Makefile : 333 B
  1134. seL4/include/plat/zynq7000/plat/machine/Makefile : 331 B
  1135. seL4/include/plat/omap3/plat/machine/Makefile : 331 B
  1136. seL4/include/plat/imx6/plat/machine/Makefile : 331 B
  1137. seL4/include/plat/imx31/plat/machine/Makefile : 331 B
  1138. seL4/include/plat/exynos5/plat/machine/Makefile : 331 B
  1139. seL4/include/plat/exynos4/plat/machine/Makefile : 331 B
  1140. seL4/include/plat/apq8064/plat/machine/Makefile : 331 B
  1141. seL4/include/plat/am335x/plat/machine/Makefile : 331 B
  1142. seL4/include/plat/zynq7000/plat/machine/Makefile : 331 B
  1143. seL4/include/plat/omap3/plat/machine/Makefile : 331 B
  1144. seL4/include/plat/imx6/plat/machine/Makefile : 331 B
  1145. seL4/include/plat/imx31/plat/machine/Makefile : 331 B
  1146. seL4/include/plat/exynos5/plat/machine/Makefile : 331 B
  1147. seL4/include/plat/exynos4/plat/machine/Makefile : 331 B
  1148. seL4/include/plat/apq8064/plat/machine/Makefile : 331 B
  1149. seL4/include/plat/am335x/plat/machine/Makefile : 331 B
  1150. seL4/include/plat/pc99/plat/machine/Makefile : 330 B
  1151. seL4/include/arch/x86/arch/object/Makefile : 330 B
  1152. seL4/include/arch/arm/arch/object/Makefile : 330 B
  1153. seL4/include/plat/pc99/plat/machine/Makefile : 330 B
  1154. seL4/include/arch/x86/arch/object/Makefile : 330 B
  1155. seL4/include/arch/arm/arch/object/Makefile : 330 B
  1156. seL4/src/fastpath/Makefile : 328 B
  1157. seL4/include/plat/zynq7000/plat/Makefile : 328 B
  1158. seL4/include/plat/pc99/plat/Makefile : 328 B
  1159. seL4/include/plat/omap3/plat/Makefile : 328 B
  1160. seL4/include/plat/imx6/plat/Makefile : 328 B
  1161. seL4/include/plat/imx31/plat/Makefile : 328 B
  1162. seL4/include/plat/exynos5/plat/Makefile : 328 B
  1163. seL4/include/plat/exynos4/plat/Makefile : 328 B
  1164. seL4/include/plat/apq8064/plat/Makefile : 328 B
  1165. seL4/include/plat/am335x/plat/Makefile : 328 B
  1166. seL4/src/fastpath/Makefile : 328 B
  1167. seL4/include/plat/zynq7000/plat/Makefile : 328 B
  1168. seL4/include/plat/pc99/plat/Makefile : 328 B
  1169. seL4/include/plat/omap3/plat/Makefile : 328 B
  1170. seL4/include/plat/imx6/plat/Makefile : 328 B
  1171. seL4/include/plat/imx31/plat/Makefile : 328 B
  1172. seL4/include/plat/exynos5/plat/Makefile : 328 B
  1173. seL4/include/plat/exynos4/plat/Makefile : 328 B
  1174. seL4/include/plat/apq8064/plat/Makefile : 328 B
  1175. seL4/include/plat/am335x/plat/Makefile : 328 B
  1176. seL4/include/arch/x86/arch/Makefile : 327 B
  1177. seL4/include/arch/x86/arch/Makefile : 327 B
  1178. seL4/include/arch/arm/arch/Makefile : 323 B
  1179. seL4/include/arch/arm/arch/Makefile : 323 B
  1180. seL4/include/plat/allwinnerA20/plat/machine/Makefile : 321 B
  1181. seL4/include/plat/allwinnerA20/plat/machine/Makefile : 321 B
  1182. seL4/src/plat/zynq7000/Makefile : 319 B
  1183. seL4/src/plat/pc99/Makefile : 319 B
  1184. seL4/src/plat/imx6/Makefile : 319 B
  1185. seL4/src/plat/exynos5/Makefile : 319 B
  1186. seL4/src/plat/exynos4/Makefile : 319 B
  1187. seL4/src/plat/apq8064/Makefile : 319 B
  1188. seL4/src/plat/zynq7000/Makefile : 319 B
  1189. seL4/src/plat/pc99/Makefile : 319 B
  1190. seL4/src/plat/imx6/Makefile : 319 B
  1191. seL4/src/plat/exynos5/Makefile : 319 B
  1192. seL4/src/plat/exynos4/Makefile : 319 B
  1193. seL4/src/plat/apq8064/Makefile : 319 B
  1194. seL4/src/plat/am335x/Makefile : 318 B
  1195. seL4/include/plat/allwinnerA20/plat/Makefile : 318 B
  1196. seL4/src/plat/am335x/Makefile : 318 B
  1197. seL4/include/plat/allwinnerA20/plat/Makefile : 318 B
  1198. seL4/src/plat/omap3/Makefile : 317 B
  1199. seL4/src/plat/imx31/Makefile : 317 B
  1200. seL4/src/api/Makefile : 317 B
  1201. seL4/src/plat/omap3/Makefile : 317 B
  1202. seL4/src/plat/imx31/Makefile : 317 B
  1203. seL4/src/api/Makefile : 317 B
  1204. seL4/src/plat/allwinnerA20/Makefile : 314 B
  1205. seL4/src/plat/allwinnerA20/Makefile : 314 B
  1206. seL4/include/Makefile : 306 B
  1207. seL4/include/Makefile : 306 B
  1208. seL4/haskell/doc/README : 301 B
  1209. seL4/haskell/doc/README : 301 B
  1210. seL4/src/plat/apq8064/machine/l2cache.c : 300 B
  1211. seL4/src/plat/apq8064/machine/l2cache.c : 300 B
  1212. seL4/src/plat/exynos5/machine/l2cache.c : 299 B
  1213. seL4/src/plat/exynos5/machine/l2cache.c : 299 B
  1214. seL4/haskell/.gitignore : 295 B
  1215. seL4/haskell/.gitignore : 295 B
  1216. seL4/manual/extra.bib : 280 B
  1217. seL4/include/plat/omap3/plat/machine/hardware.bf : 280 B
  1218. seL4/include/plat/am335x/plat/machine/hardware.bf : 280 B
  1219. seL4/manual/extra.bib : 280 B
  1220. seL4/include/plat/omap3/plat/machine/hardware.bf : 280 B
  1221. seL4/include/plat/am335x/plat/machine/hardware.bf : 280 B
  1222. seL4/include/plat/zynq7000/plat/machine/hardware.bf : 279 B
  1223. seL4/include/plat/imx6/plat/machine/hardware.bf : 279 B
  1224. seL4/include/plat/exynos5/plat/machine/hardware.bf : 279 B
  1225. seL4/include/plat/exynos4/plat/machine/hardware.bf : 279 B
  1226. seL4/include/plat/apq8064/plat/machine/hardware.bf : 279 B
  1227. seL4/include/plat/zynq7000/plat/machine/hardware.bf : 279 B
  1228. seL4/include/plat/imx6/plat/machine/hardware.bf : 279 B
  1229. seL4/include/plat/exynos5/plat/machine/hardware.bf : 279 B
  1230. seL4/include/plat/exynos4/plat/machine/hardware.bf : 279 B
  1231. seL4/include/plat/apq8064/plat/machine/hardware.bf : 279 B
  1232. seL4/libsel4/Kbuild : 277 B
  1233. seL4/libsel4/Kbuild : 277 B
  1234. seL4/include/plat/allwinnerA20/plat/machine/hardware.bf : 270 B
  1235. seL4/include/plat/allwinnerA20/plat/machine/hardware.bf : 270 B
  1236. targets/arm-sel4-gnueabihf.json : 262 B
  1237. targets/arm-sel4-gnueabi.json : 258 B
  1238. .gitignore : 107 B
  1239. .gitmodules : 68 B
  1240. seL4/VERSION : 6 B
  1241. seL4/VERSION : 6 B
  1242. seL4/manual/VERSION : 4 B
  1243. seL4/manual/VERSION : 4 B
  1244. seL4/sources_list_updated : 0 B
  1245. seL4/sources_list_updated : 0 B