Axel Heider

icon location Munich, DE icon location Axel is an engineer interested in how stuff actually works, e.g. kernels and operating systems, processors and hardware architectures, cryptography ...

Results 270 comments of Axel Heider
trafficstars

elfloader: factor out check_hash()

Any chance to get this merged?

elfloader: improve stability

The simulation on ARMv8 fails now, could you have a look at this? Maybe you should split this PR even further up, so we can merge the trivial things faster.

elfloader/riscv: always pass hart/core information

Is there a chance to get this merged?

libsel4camkes: Add markdown documentation

nice work!

cmake: Add `make_cpio`, a script for generating reproducible cpio(5) archives

Recently I've been running in a few issues with missing features and flexibility of `MakeCPIO()` also and was wondering if it would be worth making script. I also consider the...

camkes-vm-linux: pick up proper kernel config

What's left to be done to merge this?

IMAGE_START_ADDR vs actual start address on RISC-V

There are some pending branches (https://github.com/seL4/seL4_tools/pull/135) that try to remove all these RISC-V hacks/quirks, I just did not find enough time recently to review/sync/upstream all this. We might be just...

Add support for Pine64 Star64

What does is mean "most stable"? Can you make this a bit more specific, is it the OpenSBI build/boot flow that works better? Or the U-Boot boot flow? Or the...

Using -DKERNEL_PATH=<path/to/kernel> does not work

Indeed, this is broken. Are you using this feature - and could you propose a patch to fix this?

Update capabilities.md

My understanding is that the `BIT()` should be used in the code. For docs, I consider using 2^n a bit nicer. Or something that renders to superscript, which some renderers...