Syscall driver capsules for ADC sampling.
Tock syscall driver capsule for Alarms, which issue callbacks when
a point in time has been reached.
Provides userspace control of buttons on a board.
Provides userspace with access to a serial interface.
Provides userspace with access to a serial interface whose output
is in-order with respect to kernel debug!() operations.
Mapping of capsules to their syscall driver number.
Provides userspace applications with access to GPIO pins.
SyscallDriver for an I2C Master interface.
Combines two hardware devices into a single I2C master/slave device.
Provides both an I2C Master and I2C Slave interface to userspace.
Provides userspace access to LEDs on a board.
Provides low-level debugging functionality to userspace. The system call
interface is documented in doc/syscalls/00008_low_level_debug.md.
Implements a text console over the UART that allows
a terminal to inspect and control userspace processes.
Library of randomness structures.
Provides userspace applications with the ability to communicate over the SPI
bus.
Provides userspace applications with the ability to communicate over the SPI
bus as a peripheral. Only supports chip select 0.