util_libs
util_libs copied to clipboard
seL4
I tried using the existing driver for data transmissions (with a hardware rng) and had the issue that without enabled FIFO, no interrupts are received. As the note states, enabling...
Many platform use the same peripherals, so code duplication can be avoided if we provide generic drivers.
This is a copy/paste update form v1.7.0 of https://github.com/dgibson/dtc, which is the actual upstream repo. The Linux sources also take the files from there, so there seems not much point...
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...
This is a Morello hardware platform also known as morello-sdp board. This is mostly derived from the existing FVP platform; the main changes are the UART and timer addresses and...
This is mostly derived from the existing FVP platform; the main changes are the UART and timer addresses and IRQ IDs. Just two drivers are supported, PL011 for the console...
This was tested on a baseline AArch64 Morello/QEMU without CHERI. Basic support for a PL011 driver.
A while ago I tried to get the RPi4 into the seL4 CI due to how fragile the platform is. After some fixes/work I thought it was ready to go...
I have a CAmkES project for which I want to use [`SerialServer`](https://github.com/seL4/global-components/tree/master/components/SerialServer) in order to multiplex access to a serial console. The hardware in use is a Zynq7000. When running...
On systems where there are PCI or PCIe buses not accessible via a bridge from bus 0, libpci does not find them. It should allow for multiple root complexes, and...
