Knowledge Articles

Programming

• Navigating in HelenOS sources
• HelenOS Standard API
• String API
• Sysel programming language
• IPC
  • IPC for Dummies
  • Async Sessions
• Network Transport API Tutorial
• Adding application to HelenOS
• Using printf safely
• HelenOS logging API
• Binutils Port Maintenance Guidelines
• Porting Software to HelenOS Guidelines
• Writing Device Drivers
• Writing userspace unit tests

File systems

• Implementation and design of the file system layer

Networking

• HelenOS on a physical LAN/Internet from QEMU/KVM

Observability

• Using the Syscall/IPC Tracer
• Working with core files
• Using QEMU and GDB to debug kernel and uspace tasks

Finding bugs

• Using clang for static analysis