Tock Logo

Join us for TockWorld 7, June 26–28 in San Diego, CA!

TockWorld 6 - Technical Debt / Documentation Discussion

Technical Debt / Documentation Discussion Group

Challenges

Technical Debt / Issue Management

  1. 90+ issues in https://github.com/tock/tock/issues
    • Which to work on?
    • Which are important?
  2. Which projects are active in Tock?
    • What are people working on?
    • What is the roadmap?
  3. Hidden technical debt in the source tree
    • Ex: capsules which violate tock design guides

Documentation

  1. Book diverges from kernel

  2. tock/doc folder unwieldy

  3. Discoverability of resources and https://docs.tockos.org

    • Comments in source not always valid markdown

Ideas