/lib/chibios/os/sb/various/