// Licensed under the Apache License, Version 2.0 or the MIT License.
// SPDX-License-Identifier: Apache-2.0 OR MIT
// Copyright Tock Contributors 2022.

#![no_std]
pub use nrf52::{
    acomp, adc, aes, ble_radio, chip, clock, constants, crt1, ficr, i2c, init, nvmc,
    peripheral_interrupts as base_interrupts, pinmux, power, ppi, pwm, rtc, spi, temperature,
    timer, trng, uart, uicr, usbd,
};
pub mod gpio;
pub mod interrupt_service;

// FIXME: We need a nrf528xx crate as well. The nrf52832 does NOT support 15.4,
// but the nrf52833 and nrf52840 do support it. That's a more substantial
// restructuring than belongs in the ACK-fix PR, however.
pub mod ieee802154_radio;

pub mod peripheral_interrupts;