Ivan Velickovic

Would anyone be able to help me solve this bug? If it's quite non-trivial I can wait for someone familiar with the Zig compiler to fix it, but if someone's...

Great, thank you. I will do some digging then.

I believe the reason `out_dep_path` is null is from the call here https://github.com/ziglang/zig/blob/956f53beb09c07925970453d4c178c6feb53ba70/src/Compilation.zig#L4604 where `clangSupportsDepFile` will return false since it's an assembly file. I guess it is a bug with...

Looks like there is already an open issue https://github.com/llvm/llvm-project/issues/54996.

Thank you for the reply @mateusz-holenko. I am also trying to run seL4 on Renode and was able to get UART output with your command. It seems that there is...

Ah cool, it looks like I was missing some stuff as well so it might have been that the MMU was working the whole time, sel4test now at least boots....

Is this a duplicate of https://github.com/seL4/seL4/issues/540?

> * [Microkit's libvmm](https://github.com/au-ts/libvmm/blob/a6e3070cacc5afc060e6b5325a29932197dc5c0f/src/arch/aarch64/vcpu.c#L51)'s needs to set it correctly for both SMP and unicore, now it sets it to 0 for SMP only. Thanks for pointing that out, I will...

The only use case of these files (that I can find) is in https://github.com/seL4/seL4_tools/blob/master/cmake-tool/helpers/shoehorn.py but it only looks at the `memory` field and so that's probably why this has not...

> My solution was to pass in the config options to the invocation of the script: Thanks. Main problem I see is it breaking once we add something new to...