search

au-ts / libvmm

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

build.zig: override MICROKIT_SDK environment varaible #135

Closed Ivan-Velickovic closed 4 weeks ago

Ivan-Velickovic commented 1 month ago

We always have to provide -Dsdk= when using build.zig and we don't want the Microkit tool to be using incorrect artifacts if the MICROKIT_SDK environment variable is set.