We have a course project on designing a microkernel to control a missile! It should not be very detailed. We need to specify the requirements and purpose some solutions, and discuss about the functions that need to be implemented in kernel-level and user-level.
I would be happy to have your guidance on this topic.
Thanks in advance