Axel Heider
Axel Heider
- risc-v/hifive: adapt to post-v0.9 OpenSBI - riscv: provide wrapper for new (extended) SBI interface Test with seL4/sel4test-manifest#13 It seems `sifive/fu540` is no longer a valid OpenSBI platform, all this...
- The cache maintenance is needed on `AARCH32`, so check explicitly for this architecture instead of doing this everywhere except `AARCH64`. - Do nothing on `AARCH64` and add a build...
- Describe the SMP lock variable mechanism detail. - Add checks that the lock state is valid, this will catch potential kernel loader problems. This might catch some porting issues,...
The helper functions hides the details about the ELF symbols and return the physical address of the kernel image. This removes some hard dependencies of the code on ELF images...
This build on top of PR https://github.com/seL4/seL4/pull/651 With the changes the we can simplify boot code recycling and make this quite generic, there is no need to pass a parameter...
I wonder if we can finally remove some deprecated libsel4 headers: - `sel4/messages.h` - Seems deprecated since 2016 already. - In https://github.com/seL4/seL4_projects_libs/pull/36 another legacy usage has been removed . -...
Follow-up from https://github.com/seL4/seL4/pull/804 We have a branch `riscv_he_v0.6`, but there is also an older branch `riscv_hyp` now. Is `riscv_hyp` obsolete now since `riscv_he_v0.6` is the latest and greatest? Is this...
Inlining `provide_untyped_cap()` into `create_untypeds_for_region()` makes the code easier to understand. This also allows printing better error and debug messages to troubleshoot memory issues during porting.
Follow up from comment https://github.com/seL4/seL4/pull/727#discussion_r795253445: > The CortexA55 is an ArmV8.2 core. The OdroidC4 was already added to the kernel as the first CortexA55 platform. At some point we should...