4 ms·

Buildroot is good too and seem fairly simple. I used it for RPi project and comes with support for many boards.