Axel Heider
Axel Heider
Ah yes, it's set there eventually for all errors.
@yyshen Could you have a look is this issue still exists or if it can be closed?
This seem to be a general issue then that other code might also run into. Thus, I wonder if we should provide a version of `seL4_ReplyRecv()` that returns all both...
Given this is all internal static functions, it seems fine. But I wonder if the variables should be made static at least? What is the state about the approach suggested...
> make the changes to return structs It would break the API, so that might be a tough step. If we add a new set of functions with the new...
The file has been moved to `projects/camkes-arm-vm/index.md`, but the content later went to https://github.com/seL4/camkes-arm-vm, which is deprecated by now and https://github.com/seL4/camkes-vm/blob/master/README.md seem a potential new place for such a description...
> It'd be good to record that reasoning in the commit message (i.e. that `tp` was used for thread-local storage before and since that is gone, the special handling is...
I have a pending branch https://github.com/axel-h/seL4/pull/94 that allows simply increasing `BI_FRAME_PAGES` to provide more space for untyped caps array. Changing `seL4_BootInfoFrameBits` is still not possible due to the static order...
> But I guess all PLIC interrupts are external interrupts and those used by the kernel are not handled by the PLIC at all? I think this depends on the...