Minimal boot-up time

What is the average boot-up time for tinyCLR OS with the UC5550 Board and what could be possible minimum?
We need in our project a maximal boot-up time of under one second.

Thank you for your answers.

Boot time is a couple of seconds. Considering all the libraries we have included, it sl would be very difficult to find anything that would boot faster

Thank you for your answer