Sven Friedrich

Syntax Highlighting related panic: IncludedRangesError(1)

7

### Summary When adding a `'`-symbol to a specific line of a specific nix-file, the predefined language-server for nix files (rnix-lsp) seems to provide information which results in an error...

leftwm: add module

7

### Description Adds the [LeftWM](https://github.com/leftwm/leftwm) window manager ### Checklist - [x] Change is backwards compatible. - [x] Code formatted with `./format`. - [x] Code tested through `nix-shell --pure tests -A...

Application freezes when hidden using wayland

5

### Is there an existing issue for this? - [X] I have searched the existing issues. ### Is this issue related to iced? - [X] My hardware is compatible and...

fix wrong scheduling capability in init_thread::slot::SC

1

fixes #250

add functions for setting TCB Priority and MCP to TCP cap

1

added two missing functions to the TCB cap

Wrong `SC` capability in `sel4::init_thread::slot`

1

This line seems wrong: https://github.com/seL4/rust-sel4/blob/b162f60000e1f9a0cd87247d3624b5bc106fa878/crates/sel4/src/init_thread.rs#L156 According to: https://github.com/seL4/seL4/blob/019e4b608f02320f567e32fe09b48423aaeff92f/libsel4/include/sel4/bootinfo_types.h#L29 `seL4_CapInitThreadSC` refers to the Scheduling Context rather than the Scheduling Control

Make hardware_gen.py support interrupt-multiplex

1

When we tried building seL4 for xilinx zynqmp we encountered an issue when building with the dts from Xilinx/system-device-tree-xlnx ``` seL4-aarch64-unknown-none-elf> -- Using custom /nix/store/1fs379in6jf4fqz8g6hcnj67789sbqc6-te0706-0821-3be21-linux-dt/system.dts.pp device tree, ignoring default dts...