Jimmy Brush

Document seL4_TruncatedMessage error when missing IPC buffer in kernel object API

1

_Background: This issue was identified during a review of #528_ Kernel object invocations that need to access the IPC buffer can return a seL4_TruncatedMessage error if the calling thread does...

Separate documentation for common error codes in kernel object API

4

_Background: This issue was identified during a review of #528_ Currently, all error codes that can be returned from kernel object invocations when using the libsel4-provided invocation stubs are individually...

_Background: This issue was identified during a review of #528_ Currently, the text description of possible causes for each error code are documented on each kernel object method in the...

Add pine64 star64 platform

2

This adds a timer and serial driver to libplatsupport. Co-developed with @Ivan-Velickovic. **Purpose**: Ready to merge. **Context**: Needed to allow sel4test to run on star64. **Testing performed**: Tested with WIP...

libsel4simple-default,riscv: implement irq_trigger

2

Wire up simple->irq_trigger to seL4_IRQControl_GetTrigger on risc-v. This allows risc-v drivers in libplatsupport to register edge-triggered interrupts. **Purpose**: Ready to merge **Context**: Needed for the [star64 timer driver](https://github.com/Ivan-Velickovic/util_libs/tree/star64/libplatsupport/src/plat/star64/ltimer.c) that will...