Impressive work! One question though, what is the bootup time? There's the GIF on the Github repository, but I can't accurately tell it from that.

Would it be possible for you to make a program that just exists and then time the whole bootup process? Thank you.

I have a specific use-case and would be willing to buy the board if it is fast enough.