Table of Contents

Overview — Overview

Hardware definitions — Details on obtaining hardware definitions for HPS

Interrupt Controller — Advanced Interrupt Controller Definitions And usage

Timers — Use of on-chip timers

Serial UARTs — Configuration and Implementation Details of Serial UART Support

Multimedia Card Interface (MMC/SD) Driver — Using MMC/SD cards with block drivers and filesystems

I2C Interface — Using I²C devices

Pin Configuration and GPIO Support — Use of pin configuration and GPIO