Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
It has been decided in #343111 that we should not build MiniOS stubdomains, and instead use Linux-based ones for now. Once MirageOS or Unikraft is packaged, we can switch to using those microkernels as stubdomains. Signed-off-by: Fernando Rodrigues <[email protected]>
- Loading branch information