arturkow2000
arturkow2000
Hello We are considering using seL4 as a secure bootloader in the Fobnail [project](http://fobnail.3mdeb.com/) We'd like to use it as mini OS that would communicate with a device called Fobnail...
Embassy-net currently allocates ports starting with port 1025 (`LOCAL_PORT_MIN` variable), this may conflict with services that use ports higher than 1025, combined with RNG which IIRC is already used for...
Partial erase is a feature that allows to reduce time CPU is halted when using NVMC. It works by dividing page erase operation into multiple operations, in-between each operation CPU...
**Describe the bug** Seems like STM32 shifts the data out during master inactivity period instead of waiting for master to enable SPI clock. After starting the transfer with `spi_transceive_signal` SPI...
Hello, we are having an issue where Trussed consumes large amounts of stack. The problem happens when constructing a before calling into Trussed. To construct a message we need to...
Download agent uses rtl library as a minimal runtime library C. The library is currently not published, and the source I got lost somewhere in the big mess I got...
Setting reserved bits causes loader to triple-fault when setting MSR_FMASK at least on Ryzen 4650 when running nested under QEMU/KVM. With reserved bits cleared (upper half of register) the hypervisor...