Requirements-based BSD

[jboisvert]

I am working on a nascent project where I'd like to use FreeBSD as much as possible but the project will ultimately requite potentially very detailed requirements of as much of the OS as possible.

For background, I am proposing this for a time and space partitioned system. So far, our prototyping shows BSD is a great candidate.

So I am asking if anyone knows if the FreeBSD project keeps detailed requirements somewhere and even better if they test against them.

Also, if anyone has tried to turn BSD into an RTOS, I would love to hear your experiences.