Development Platform

This section describes what is required to prepare the development platform as needed to use the seL4 Developer Kit. The requirements are presented as follows:

• Hardware Requirements
• Software Requirements