Moritz Meier

__fish_sysconf_dir points to /usr/etc/fish

4

fish, version 3.7.0 Fedora Silverblue 40.20240926.0 When installed by RPM on Fedora Silverblue, `__fish_sysconf_dir` points to `/usr/etc/fish` and not to `/etc/fish`. Fedora Silverblue is an atomic distro where `/usr/etc `and...

Clarify the Usage and Mechanism of Guard Values and Bits in the Docs

1

We are currently experimenting with CSpaces, VSpace, TCBs, etc ... but have some problem with regards to addressing CNodes and Capabilities in a CSpace hierarchy. Especially Guard Values and Sizes...

add initial zynqmp support to the kernel-loader

1

Added initial support for Xilinx ZynqMP to the sel4-kernel-loader. One current problem is missing device-tree support in the kernel-loader, that is why the base address of the serial port is...