search

au-ts / libvmm

An experimental virtual machine monitor for the seL4 microkernel
Other
29 stars 15 forks source link

Add licenses to comply with REUSE specification #105

Closed Ivan-Velickovic closed 3 months ago