/include/distortos/internal/
../
memory
scheduler
synchronization