2 ms·

There's also a /drivers directory which seems to contain source files for many of the /include/drivers header files.