tikos

Tikos is a fictional open-source operating system designed as a teaching and design case in embedded systems. Presented here as a neutral overview, tikos aims to illustrate how a lightweight, modular OS can meet the needs of small devices while offering a clean development model for students and hobbyists.

Origin and development

The concept of tikos originated in a university course in 2020, developed by a small team of students and educators. A public repository and documentation were released in 2021, inviting community feedback and experimental contributions. In this context, tikos is treated as a hypothetical project used to explore system design trade-offs rather than a commercial product.

Architecture and design

Tikos adopts a microkernel-inspired architecture with user-space services. Core tasks run in a minimal kernel, while drivers and system services are modular components that can be swapped for different hardware targets. A hardware abstraction layer provides portability across platforms, and a capability-based security model emphasizes restricted access between components. The design favors a small memory footprint and predictable behavior, making it suitable for educational experiments and prototype devices.

Software stack and features

Key features include a simple file system layer, inter-process communication through message passing, and a lightweight package manager for modular software components. The system exposes a POSIX-like API to ease learning and porting, along with basic debugging and tracing facilities. Optional real-time scheduling and basic virtualization support are described as future extensions in the project notes.

Hardware support

Tikos is described as targeting common embedded architectures such as ARM Cortex-M and RISC-V. It emphasizes cross-compilation workflows and simulation through emulators like QEMU to assist hands-on learning.

Development and governance

As a teaching project, tikos is described as being hosted under an open-source license with a core development team and community contributors, guided by transparent code reviews and documentation practices.

Usage and reception

In academic contexts, tikos serves as a pedagogical tool for comparing OS design decisions and illustrating modularity, security, and portability. It is not in practical use as a production operating system.

See also

Microkernel, Embedded operating system, Real-time operating system, Educational software.