Skip to content

Pull requests: axel-h/seL4

New pull request New
61 Open 106 Closed
61 Open 106 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

[patch-axel-62]
#167 opened Jul 1, 2024 by axel-h Loading…
[patch-axel-52] hw-build
#166 opened Jun 28, 2024 by axel-h Loading…
KernelFWholeProgram=On hw-bench hw-build
#165 opened Apr 16, 2024 by axel-h • Draft
[patch-axel-101a] CMake: cleanup
#163 opened Apr 8, 2024 by axel-h • Draft
[patch-axel-63] RISC-V A730
#160 opened Mar 12, 2024 by axel-h • Draft
[patch-axel-71a] CI experimenting
#159 opened Mar 3, 2024 by axel-h • Draft
[patch-axel-25] CI: add mypy for type checking of python scripts
#156 opened Feb 26, 2024 by axel-h • Draft
[patch-axel-11b] MyPi native
#155 opened Feb 26, 2024 by axel-h • Draft
[patch-axel-11a] MyPy
#154 opened Feb 25, 2024 by axel-h • Draft
[patch-axel-16b] improve debug
#152 opened Feb 22, 2024 by axel-h • Draft
[patch-axel-47] remove autoconf.h
#151 opened Feb 17, 2024 by axel-h • Draft
[patch-axel-76a] WIP cleanup syscall_stub_gen.py
#149 opened Feb 16, 2024 by axel-h • Draft
[patch-axel-76] cleanup syscall_stub_gen.py
#148 opened Feb 16, 2024 by axel-h • Draft
[patch-axel-ci-test] dummy change hw-bench hw-build hw-test
#147 opened Feb 15, 2024 by axel-h • Draft
[patch-axel-19] add a700 hw-build
#144 opened Feb 12, 2024 by axel-h • Draft
[patch-axel-18] CMake stuff and QEMU stuff
#141 opened Feb 7, 2024 by axel-h • Draft
[patch-axel-89_base <- patch-axel-89] CI hw-build hw-test
#138 opened Jan 12, 2024 by axel-h • Draft
[patch-axel-31] RISC-V stuff
#135 opened Jan 7, 2024 by axel-h • Draft
[patch-axel-58] fastpath cleanup
#133 opened Jan 7, 2024 by axel-h • Draft
[patch-axel-91] python clenaup
#130 opened Jan 2, 2024 by axel-h • Draft
[patch-axel-56] arm/gic cleanup
#129 opened Dec 27, 2023 by axel-h • Draft
[patch-axel-79] hw-build
#128 opened Dec 19, 2023 by axel-h • Draft
[patch-axel-26] inline RESET_CYCLES
#125 opened Nov 29, 2023 by axel-h Loading…
[patch-axel-86a] handle timer and ticks properly
#124 opened Nov 29, 2023 by axel-h Loading…
[patch-axel-43] risc-v: consolidate wrapper functions
#123 opened Nov 28, 2023 by axel-h Loading…
ProTip! Updated in the last three days: updated:>2025-01-29.