/lib/chibios/os/various/