Sentry software architecture

Contents:

• Hardware support in Sentry
  • Basics about HAL
• Adding a new board
• Adding a new SoC
  • Update SVD database
  • Adding the manufacturer dtsi file
  • Adding a new SoC BSP in Sentry sources
• Adding a new architecture
• Sentry schedulers
  • Scheduling basics
  • RRMQ scheduler
  • RMA scheduler
  • FIFO scheduler
  • Scheduling and syscalls
• Task layout
  • Introduction to generic task layout
  • Layout initialization at system startup
  • Forging and holding task layout
  • Increase context switch speed
• About user devices
  • Device list generation and kernel storage
  • (Un)mapping devices
  • Linking IRQ with its owner