[FEATURE] Configuration file format for OpenSUT assembly

[podhrmic]

Summary

Develop a configuration file format, similar to Lynx Secure XML config, for OpenSUT configuration.
The desire is to automatically generate system configuration from AADL model of the system architecture.

Possible inspiration:

• seL4 microkit config file format
• Lynx Secure Docs (ask @podhrmic )

Desired functionality/granularity:

• one or more host VMs
  • fixed architecture and OS for now
  • devices to be passed through to guests
• for each Host VM specify one or more guest VMs
  • memory, CPU, OS
  • virtual devices
  • passed through devices
  • application code
• connections between the VMs
  • point to point connections
  • shared memory?

Acceptance Criteria

• Develop JSON schema or XML schema for such config format.
• Outline how this format maps to the OpenSUT components
• Develop scripts to instantiate a system based on the configuration