sddf
sddf copied to clipboard
au-ts
A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
This PR is a complete rewrite of our I2C protocol and all extant code for it. The old I2C abstraction was essentially just a recycled version of the ODROID C4's...
- [x] Cron job for running hardware tests in CI weekly - [ ] echo_server benchmark also in cron job. seL4 [history.json](https://github.com/user-attachments/files/20238559/history.json) example bencharks.html plots [benchmarks.html.txt](https://github.com/user-attachments/files/20238562/benchmarks.html.txt) - [ ] local...
This PR adds implmentation and documentations of the pinctrl subsystem and driver for imx8-based platforms. Limitations: - Dynamic configuration of pinctrl registers at runtime is unsupported as the client interface...
This PR implements the serial driver for the AMD Zynq™ UltraScale+™ MPSoC platform.
For certain platforms it seems like we might not be able to just use the MAC registers for reading/setting the hardware MAC address, at least this is the case for...
Adds the cadence Triple Timer Counter (TTC) based timer driver. Caveats: - max timeout allowed: ~2min 51.799s (can be extended sacrificing resolution, atm uses 25MHz clock) - Clock source not...
Whilst testing the VirtIO net driver with the UDP echo socket, we ended up stalling the driver once requested through-puts reached approximately 600-700 Mbps and with 100,00 samples. It is...
This PR removes all `export override` directives from our makefiles, as discussed here #337. It was found that `export override` is not syntactically correct in older versions of GNU make,...
This pull request aims to provide an example of a preferred style of documentation. Firstly, it adds a `docs` directory to the repo, which contains developer targeted documentation for using...
This PR adds multicore support to the echo server example. To build for SMP, first a core configuration file must be created associating a core value to each PD in...