| arch | |
| include | |
| nexus | |
| arch | |
| arch.h | CPU-local mask, context, ordering and cycle snapshot contract |
| atomic.h | Inline naturally aligned 32-bit publication and RMW ports |
| cache.h | Explicit whole-line CPU cache maintenance mechanisms |
| cache_control.h | Explicit owned Cortex-M7 cold cache transitions |
| features.h | Reviewed CPU mechanisms and allocation-free result types |
| mpu.h | Distinct Armv7-M and Armv8-M MPU encoding mechanisms |
| nonsecure.h | Explicit NonSecure unprivileged address permission checks |
| security.h | Local security-state and explicit SAU region mechanisms |
| sleep.h | Reviewed single-CPU shallow sleep contracts |
| components | |
| bmp280 | |
| include | |
| nexus | |
| components | |
| bmp280.h | BMP280 calibration and explicit forced-conversion driver |
| bmp280_spi.h | Optional BMP280 adapter over a fixed SPI endpoint |
| bus_owner | |
| include | |
| nexus | |
| components | |
| bus_owner.h | Explicit bounded multi-producer, single-executor adapter |
| spi_async_owner.h | Optional finite async SPI executor for one explicit bus |
| spi_owner.h | Explicit polling SPI executor for the bounded owner adapter |
| uart_owner.h | Explicit IRQ UART executor with private provider settlement |
| clock_domain | |
| include | |
| nexus | |
| components | |
| clock_domain.h | Explicit clock consumers and epoch-bound drain control |
| dp83848 | |
| include | |
| nexus | |
| dp83848 | |
| dp83848.h | Explicit DP83848 identity, reset and observed link mechanism |
| log | |
| include | |
| nexus | |
| components | |
| log.h | Instance-local synchronous bounded log sink |
| modbus | |
| include | |
| nexus | |
| components | |
| modbus_rtu.h | Bounded Modbus RTU core and explicit RS485 ports |
| owner_observer | |
| include | |
| nexus | |
| components | |
| owner_observer.h | Explicit owner progress diagnostics without default state |
| storage | |
| include | |
| nexus | |
| components | |
| file_flash.h | Native persistent file Flash model with fault injection |
| flash_storage.h | Explicit physical Flash-region adapter without global registry |
| storage.h | Two-bank durable blob storage over an explicit narrow port |
| user_io_broker | |
| include | |
| nexus | |
| components | |
| user_io_broker.h | Narrow kernel-invoked user GPIO message contract |
| core | |
| include | |
| nexus | |
| core | |
| fault.h | Bounded observation before retaining platform fail-stop |
| memory.h | Variable-only placement in explicitly selected data regions |
| request.h | Caller-owned admission, borrow, settlement and stable cancellation |
| request_observer.h | Optional stable-identity request observation without locks |
| stack_observation.h | Bounded read-only observation of caller-painted stack spans |
| status.h | Small vendor-independent result vocabulary |
| time.h | Absolute monotonic microsecond deadlines and wrap extension |
| io | |
| include | |
| nexus | |
| io | |
| native | |
| model.h | Explicit host-model fixtures; no physical MCU qualification |
| adc.h | Reviewed ADC single-shot and low-rate polling scans |
| adc_observer.h | Optional caller-owned ADC publication observations |
| advanced_pwm.h | Optional fixed complementary PWM with latched break |
| can.h | Classic CAN value frames and caller-owned mailbox requests |
| dma.h | Explicit DMA memory domains, physical streams and drain facts |
| ethernet.h | Caller-owned untagged Ethernet II frames and receive loans |
| exti.h | Static EXTI line bindings, bounded event storage and drain |
| flash.h | Full physical Flash geometry and explicit bounded regions |
| gpio.h | Fixed GPIO authorization masks and bounded port operations |
| i2c.h | Address endpoints, repeated START and explicit STOP settlement |
| i2c_bus_clear.h | Explicit open-drain I2C bus clear with retained leases |
| mdio.h | Narrow Clause22 station management with absolute deadlines |
| spi.h | Single-executor polling SPI endpoints and complete CS transactions |
| stream.h | Bounded caller-owned blocks with explicit producer/consumer loans |
| stream_budget.h | Optional constant-work snapshot and checked cold sizing |
| timer.h | Fixed timer/channel PWM with one shared base configuration |
| timer_capture.h | Optional raw timer edge capture with caller-owned events |
| uart.h | IRQ TX requests and independently budgeted byte/event reception |
| uart_rs485.h | Optional single-owner RS485 direction and wire-tail adapter |
| usb_device.h | Full-speed device packets and caller-owned endpoint loans |
| wake.h | Explicit borrowed IRQ wake target and syscall-ceiling check |
| watchdog.h | Irreversible IWDG effects and neutral hardware reset causes |
| os | |
| freertos | |
| include | |
| nexus | |
| os | |
| freertos.h | Per-object static FreeRTOS storage and optional thin services |
| freertos_diagnostics.h | Bounded explicit FreeRTOS trace sink without global storage |
| freertos_mpu.h | Privileged static lifecycle for isolated MPU user tasks |
| freertos_stack.h | Optional bounded task stack paint snapshot |
| freertos_user.h | Narrow pointer-free services for MPU-isolated user tasks |
| lowpower.h | Explicit continuous-clock tickless timer port |
| secure_context.h | Caller-owned Secure context leases for a trusted NS kernel |
| tick.h | Explicit external Tick and diagnostic counter contracts |
| include | |
| nexus | |
| os | |
| baremetal.h | Bare-metal poll notification with caller-owned storage |
| diagnostic.h | Bounded diagnostics with explicit caller-owned ring storage |
| wait.h | Optional sequence-latched waiting without hidden workers |
| native | |
| include | |
| nexus | |
| os | |
| native.h | Explicit POSIX notification, queue and task storage |
| threadx | |
| include | |
| nexus | |
| os | |
| threadx.h | Caller-owned ThreadX task, wait and byte queue services |
1.14.0