Google Git
Sign in
opensecura / 3p / sel4 / sel4 / HEAD
  1. b52062f Replace deprecated pkg_resources usage by Cindy Liu · 8 months ago master
  2. fef2126 kernel/shodan: increase plic irq config for i2s by Sam Leffler · 9 months ago
  3. 39ad846 security: Stop using FullLoader with PyYAML by June Tate-Gans · 9 months ago
  4. 6c9264a shodan: Adjust the max number of IRQ devices by June Tate-Gans · 9 months ago
  5. 2471655 kernel/nexus: remove the cpio archive memory carve-out by Sam Leffler · 11 months ago
  6. cbd9ee1 kernel/nexus: more irq fallout by Sam Leffler · 12 months ago
  7. a692b49 kernel/nexus: track move of timer_smc_sw irq by Sam Leffler · 12 months ago
  8. 19916e8 nexus: Partial revert of 'nexus: Fix UART receiving' by June Tate-Gans · 12 months ago
  9. 2c4b908 nexus: Fix UART receiving by June Tate-Gans · 1 year ago
  10. ce219fa kernel: nexus/Ibex trap-related changes by Sam Leffler · 1 year ago
  11. 3f4d922 kernel: more nexus changes by Sam Leffler · 1 year ago
  12. 4f8f9f8 kernel: correct nexus uart base clock frequency by Sam Leffler · 1 year ago
  13. 6404fb1 kernel: add nexus support by June Tate-Gans · 1 year ago
  14. 60d2a1a nexus: Adjust platform config to use nexus-specific names by June Tate-Gans · 1 year, 1 month ago
  15. e674329 nexus: Duplicate shodan platform to nexus by June Tate-Gans · 1 year, 1 month ago
  16. a719989 kernel: shrink the default Shodan memory config to 4MiB by Sam Leffler · 1 year, 6 months ago
  17. b7bc288 Custom DTS overlay file support by Indan Zupancic · 2 years, 9 months ago
  18. 2b9545c shodan: Change a comment to match KataOS's new name by June Tate-Gans · 1 year, 8 months ago
  19. 8468d5c shodan: disable inclusion of OpenSBI firmware by Sam Leffler · 1 year, 10 months ago
  20. dacd1d7 Allow Lazy SC Rebind by Indan Zupancic · 2 years, 11 months ago
  21. 9a9ab52 budget >= MIN_BUDGET by Indan Zupancic · 2 years, 9 months ago
  22. e935501 libsel4: allow for overriding libsel4 with external library by Sam Leffler · 1 year, 10 months ago
  23. 9a31dbf Bypass yapf preupload check by Shaked Flur · 1 year, 10 months ago
  24. 1855ac3 kata:kernel: Disable builtin clang-format preupload check by Cindy Liu · 2 years ago
  25. 6027aa8 kernel: fix section type mismatch on aarch64 by Sam Leffler · 2 years ago
  26. 260a505 kernel: convert aarch64 rootserver setup to use untypeds by Sam Leffler · 2 years ago
  27. 7412f5d kernel: handle early use of ksCurThread by Sam Leffler · 2 years ago
  28. 8c03742 kernel: clear underlying memory of kernel-used untyped objects by Marcin Witkowski · 2 years ago
  29. d8bc511 kernel: add kernel reserved memory size to BootInfo by Sam Leffler · 2 years ago
  30. c347071 kernel: portability fixes by Sam Leffler · 2 years ago
  31. 0435e51 python: make Region parameter owner optional by Axel Heider · 2 years, 9 months ago
  32. aa0f36a Merge "kernel: reclaim userImage region" by Sam Leffler · 2 years ago
  33. f3d79c3 kernel.elf: Add NOLOAD attribute to .bss sections by Kent McLeod · 2 years ago
  34. cfaa1a7 riscv: mark ._idle_thread as NOLOAD in linker file by Kent McLeod · 2 years ago
  35. b6d7d1f riscv: Add .boot.bss to the .boot section at link by Kent McLeod · 2 years ago
  36. 4ce3250 kernel: reclaim userImage region by Marcin Witkowski · 2 years ago
  37. 117cbcc kernel: add syscall to dump the contents of a CNode by Sam Leffler · 2 years, 1 month ago
  38. d860c42 kernel: add syscall for describing untyped objects by Marcin Witkowski · 2 years, 2 months ago
  39. 9e41fc4 kernel: add isTainted member to UntypedDesc by Marcin Witkowski · 2 years, 2 months ago
  40. d59ba81 kernel: allocate rootserver objects from untyped memory by Marcin Witkowski · 2 years, 2 months ago
  41. ec6f57f Merge "[PATCH] RISC-V: reserve memory for SBI in device tree" by Sam Leffler · 2 years ago
  42. 6556609 Add PREUPLOAD.cfg to disable cpplint and pylint by Cindy Liu · 2 years ago
  43. 93d368b [PATCH] RISC-V: reserve memory for SBI in device tree by Kent McLeod · 2 years, 1 month ago
  44. a24450e Tweak preboot.c to use the updated mailbox protocol - first DWORD is message size in bytes. by Austin Appleby · 2 years, 2 months ago
  45. 3cf0f37 Move the SMC PLIC to the address specified in top_matcha.h by Austin Appleby · 2 years, 3 months ago
  46. b51363b Increase # of SMC PLIC interrupt lines to 32 in Renode and move the SMC software interrupt to #31 until it gets a hardware interrupt # assigned by Austin Appleby · 2 years, 3 months ago
  47. d6dec40 Revert "Make PLIC_MAX_NUM_INT match top_matcha.h" by Adam Jesionowski · 2 years, 3 months ago
  48. 2b3fc1e Make PLIC_MAX_NUM_INT match top_matcha.h by Austin Appleby · 2 years, 3 months ago
  49. 5dea7fc Update SMC mailbox base address for seL4 preboot by Austin Appleby · 2 years, 3 months ago
  50. abd8ee2 Merge "Add Kata SW timer to device tree." by Adam Jesionowski · 2 years, 4 months ago
  51. 1f8cd6d Add Kata SW timer to device tree. by Adam Jesionowski · 2 years, 4 months ago
  52. 1fd6d83 Add SEL4_BOOTINFO_HEADER_BOOTINFO for frames to be filled with BootInfo. by Sam Leffler · 2 years, 5 months ago
  53. 250ee76 Merge "Make preboot use the real mailbox register map" by Austin Appleby · 2 years, 6 months ago
  54. dd64b93 Merge "add configuration options to shodan" by Austin Appleby · 2 years, 6 months ago
  55. 34a4fb2 Merge "risc-v: update to upstream opentitan uart" by June Tate-Gans · 2 years, 6 months ago
  56. 57e47fd add configuration options to shodan by Wojciech Sipak · 2 years, 6 months ago
  57. ca363cd Fix offsets for setting priority and silence warns by Adam Jesionowski · 2 years, 6 months ago
  58. 88e6d0d Remove custom ctrl offset. by Adam Jesionowski · 2 years, 6 months ago
  59. 6377ba3 Fix seL4 timer address by Cindy Liu · 2 years, 6 months ago
  60. 9d79615 Update SMC to use mostly standard PLIC. by Adam Jesionowski · 2 years, 6 months ago
  61. bae0aa9 Make preboot use the real mailbox register map by Austin Appleby · 2 years, 8 months ago
  62. eea7275 risc-v: update to upstream opentitan uart by Marcin Witkowski · 2 years, 7 months ago
  63. 468e078 Fix getMaxUsToTicks function in RISC-V timer.h by Marcin Witkowski · 2 years, 8 months ago
  64. b07a3ad Update kata kernel preinit to get its app addresses from the mailbox. by Austin Appleby · 2 years, 9 months ago
  65. a4aadad Set mstatus in the machine-to-supervisor trampoline so we _always_ enter supervisor mode with interrupts _disabled_ (or sel4 will crash on boot) by Austin Appleby · 2 years, 9 months ago
  66. 8f4c04a Increase number of sources in PLIC to 183. by Henry Herman · 2 years, 10 months ago
  67. 2a76b11 seL4 PLIC lazy interrupt enable by Matt Harvey · 2 years, 11 months ago
  68. 4e0d2fe Revert "Stops clearing PLIC hart0 registers on seL4 boot" by Matt Harvey · 2 years, 11 months ago
  69. be8b375 Stops clearing PLIC hart0 registers on seL4 boot by Matt Harvey · 2 years, 11 months ago
  70. 8e2b95a Do not search for circular includes from depth 0 by Matt Harvey · 2 years, 11 months ago
  71. 70e75f9 32-bit frequencies initializing OpenTitan timer by Matt Harvey · 2 years, 11 months ago
  72. 4b33c93 Removes calls to sync OpenTitan timer with rdtime by Matt Harvey · 2 years, 11 months ago
  73. d0aba1e sbi_set_timer implemented by OpenTitan timer by Matt Harvey · 2 years, 11 months ago
  74. f2336b7 Merge "Switches timer hart index to 0" by Matt Harvey · 2 years, 11 months ago
  75. 8558580 Changes UART base address to 0x40010000 by Matt Harvey · 2 years, 11 months ago
  76. 6a01174 Switches timer hart index to 0 by Matt Harvey · 2 years, 11 months ago
  77. ea604ce Merge "Implements all seL4 timer methods in OpenTitan driver" by Matt Harvey · 2 years, 11 months ago
  78. 95d7588 Removes hard-coded offset from PLIC driver by Matt Harvey · 3 years ago
  79. 5eef2f5 Merge tag '12.1.0' by June Tate-Gans · 2 years, 11 months ago
  80. e7e8962 Implements all seL4 timer methods in OpenTitan driver by Matt Harvey · 3 years ago
  81. 5ea970a Merge "Mark temp workaround for memory bloat with trackable TODO." by Sam Leffler · 3 years ago
  82. b304901 Mark temp workaround for memory bloat with trackable TODO. by Sam Leffler · 3 years ago
  83. 8fc53ef Merge "OpenTitan timer driver" by Matt Harvey · 3 years ago
  84. 44b15fb Merge "Makes shodan.dts consistent with Renode platform" by Matt Harvey · 3 years ago
  85. 770c781 OpenTitan timer driver by Matt Harvey · 3 years ago
  86. 1f1cea2 Makes shodan.dts consistent with Renode platform by Matt Harvey · 3 years ago
  87. 125ebfd No hard-coded offset for KERNEL_ELF_PADDR_BASE by Matt Harvey · 3 years ago
  88. 8fe8529 Merge "Adds SBI_SHUTDOWN and mcause check for SBI calls" by Matt Harvey · 3 years ago
  89. 3bf4bd2 Ports machine_uart to OpenTitan by Matt Harvey · 3 years ago
  90. 56e58a9 Adds SBI_SHUTDOWN and mcause check for SBI calls by Matt Harvey · 3 years ago
  91. 361cadb Implements a Shodan PLIC driver for seL4 by Matt Harvey · 3 years ago
  92. a6f7993 Increase memory config to 64M for bloated rust components. by Sam Leffler · 3 years, 1 month ago
  93. 7dfe5a6 Changes to remove BBL & Elfloader from our startup path. by Austin Appleby · 3 years, 2 months ago
  94. 21c1a2c Release 12.1.0 by Bamboo · 3 years, 2 months ago
  95. 7b0602c cmake: Apply KernelAArch64SErrorIgnore setting by Kent McLeod · 3 years, 2 months ago
  96. 1d57348 ARM64: Add option to ignore SErrors by Indan Zupancic · 3 years, 2 months ago
  97. e1e26c7 CMake: cleanup KernelSel4ArchArmHyp by Axel Heider · 3 years, 2 months ago
  98. 9a4d3ae CMake/autoconf: remove unused AUTOCONF_INCLUDED by Axel Heider · 3 years, 2 months ago
  99. 3f45ab3 use "#pragma once" include guard by Axel Heider · 3 years, 2 months ago
  100. db7bb41 trivial: Extend !__ASSEMBLER__ preprocessor flag by Damon Lee · 3 years, 2 months ago