Comment by pedrow

For comparison FreeRTOS[0] is, at minimum, about 9000 LOC[1] at least according to the article (I don't know when it was written), so 2000 lines is indeed pretty small.

[0]: https://www.freertos.org/ [1]: https://aosabook.org/en/v2/freertos.html