search

seL4 / seL4_projects_libs

Other
19 stars 36 forks source link

libsel4vmmplatsupport: remove more linux references #95

Closed axel-h closed 1 year ago

axel-h commented 1 year ago

Another follow-up from https://github.com/seL4/camkes-vm/pull/61 to remove explicit linux references

axel-h commented 1 year ago

Can we merge this?