Welcome to geckOS’s documentation!

Contents:

• Introduction
  • Why geckOS?
  • Advantages of geckOS
• Getting started
  • Requirements
  • Know your hardware
  • Compiling geckOS
  • Running geckOS
  • Compiling an application
  • Running the application
• Kernel services
  • Timers
• Porting geckOS to a hardware platform
  • Motivation
  • How to do it
• Sample programs written for geckOS
  • blinky-timers
  • buttons-handle-leds
  • stack-songs-rust
  • stack-test
• Supported devices
  • List of supported devices
  • List of supported microcontrollers

Indices and tables

• Index

• Search Page