Crate teensy40

Teensy 4.0 Development Board

System configuration

• LED on pin 13
• UART2 allocated for a debug console on pins 14 and 15
• GPT1 is the alarm source

Modules

dma_config 🔒

Static configurations for DMA channels.

fcb 🔒

FlexSPI Configuration Block (FCB)

io 🔒

Structs

Teensy40 🔒

Teensy 4 platform

Constants

FAULT_RESPONSE 🔒

What should we do if a process faults?

FCB_SIZE 🔒

NUM_PROCS 🔒

Number of concurrent processes this platform supports

Statics

CHIP 🔒

FCB_BUFFER 🔒

Buffer between FCB and IVT

PROCESSES 🔒

Actual process memory

PROCESS_PRINTER 🔒

STACK_BUFFER 🔒

Space for the stack buffer

Functions

main^⚠

Main function called after RAM initialized.

set_arm_clock 🔒

Set the ARM clock frequency to 600MHz

start 🔒 ^⚠

This is in a separate, inline(never) function so that its stack frame is removed when this function returns. Otherwise, the stack space used for these static_inits is wasted.

Type Aliases

Chip 🔒