Crate nrf51dk

Tock kernel for the Nordic Semiconductor nRF51 development kit (DK), a.k.a. the PCA10028.
This is an nRF51422 SoC (a Cortex M0 core with a BLE transceiver) with many exported pins, LEDs, and buttons.
Currently the kernel provides application alarms, and GPIO.
It will provide a console once the UART is fully implemented and debugged.

Pin configuration

• 0 -> LED1 (pin 21)
• 1 -> LED2 (pin 22)
• 2 -> LED3 (pin 23)
• 3 -> LED4 (pin 24)
• 5 -> BUTTON1 (pin 17)
• 6 -> BUTTON2 (pin 18)
• 7 -> BUTTON3 (pin 19)
• 8 -> BUTTON4 (pin 20)
• 9 -> P0.01 (bottom left header)
• 10 -> P0.02 (bottom left header)
• 11 -> P0.03 (bottom left header)
• 12 -> P0.04 (bottom left header)
• 12 -> P0.05 (bottom left header)
• 13 -> P0.06 (bottom left header)
• 14 -> P0.19 (mid right header)
• 15 -> P0.18 (mid right header)
• 16 -> P0.17 (mid right header)
• 17 -> P0.16 (mid right header)
• 18 -> P0.15 (mid right header)
• 19 -> P0.14 (mid right header)
• 20 -> P0.13 (mid right header)
• 21 -> P0.12 (mid right header)

Authors

• Philip Levis pal@cs.stanford.edu
• Anderson Lizardo anderson.lizardo@gmail.com
• Date: August 18, 2016

Reexports

extern crate core as core;

extern crate capsules;

extern crate compiler_builtins;

extern crate kernel;

extern crate nrf51;

extern crate nrf5x;

use core::prelude::v1::*;

use capsules::alarm::AlarmDriver;

use capsules::virtual_alarm::MuxAlarm;

use capsules::virtual_alarm::VirtualMuxAlarm;

use kernel::Chip;

use kernel::SysTick;

use kernel::hil::uart::UART;

use nrf5x::pinmux::Pinmux;

use nrf5x::rtc::Rtc;

use nrf5x::rtc::RTC;

Modules

aes_test
io

Macros

print
println

Structs

Platform

Constants

BUTTON1_PIN
BUTTON2_PIN
BUTTON3_PIN
BUTTON4_PIN
FAULT_RESPONSE
LED1_PIN
LED2_PIN
LED3_PIN
LED4_PIN
NUM_PROCS

Statics

APP_MEMORY
PROCESSES

Functions

reset_handler⚠