Reduce difference between `master` and `microkit` branches
nspin opened this issue · comments
The microkit branch has only two patches on top of master: c8ef493, which modifies the boot protocol, and 92f0f3a, which removes some obsolete Python imports for the sake of reducing external Python dependencies.
92f0f3a can be merged into master. I think this would be a good idea, because it would reduce the diff between the microkit and master branches to only what is essential.