Gabriel Parmer issues

Results 36 issues of


                                            Gabriel Parmer

Add `-Wextra` to the kernel compilation

There are a ton of `-Wunused-parameter` that will need to be sanitized, but also a few genuine bugs.

P-medium

C-kernel

C-build_system

IPC path optimizations

The mandatory TLB accesses are: - Instructions for invocation logic (1 superpage) - Core's kernel stack (1 superpage, unless the TLB is unified, then this is the _same_ entry as...

T-optimization

P-low

C-kernel

T-enhancement

Liveness table -> resource table

The liveness table is currently globally visible. it needs to be treated exactly like the other resource tables with range checks (#163).

P-low

C-kernel

T-enhancement

Add range access control checks on higher-order resource tables

Right now access to a RT denotes complete access to its entries. This should not be so. Add range checks for all RT capabilities and accesses to prevent modifying RTs...

P-medium

C-kernel

T-enhancement

Sane stack handling 1: guard pages

The stkmgr should coordinate with the valloc component to allocate two pages worth of virtual address space, though we use only one so that we can catch stack overflows (in...

P-low

T-bug

C-booter

Simple analysis infrastructure including deriving interference, mixed criticality, etc...

### Summary of this Pull Request (PR) For discussion in next composer meeting. ### Intent for your PR Choose one (Mandatory): - [x] This PR is for a code-review and...