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 🔒