Machdep

Engineering across the hardware–kernel boundary.
PCB systems and FreeBSD kernel expertise, unified into reliable embedded platforms.

Machdep X Real-Time Operating System

mdepx (also known as MDX or Machdep X) is an operating system for embedded applications

Key features
  • Real-time
  • Priority-based time-sliced round-robin scheduling
  • Fully preemptible, cooperative scheduling optional
  • Tickless operation
  • Static/Dynamic memory allocation
  • Timed Mutexes, Semaphores
  • Symmetric Multiprocessing (SMP)
  • BSD libc included
  • BSD math library (msun) included
  • Flat address space

Source code