robur-coop / albatross

Albatross: orchestrate and manage MirageOS unikernels with Solo5
ISC License
142 stars 17 forks source link

Check manifest for devices #42

Closed reynir closed 3 years ago

reynir commented 3 years ago

Using solo5-elftool query-manifest we can check if the user has passed exactly all the devices required by the unikernel when using the create command, and report an error if they don't match.