nix: Add support for multiple Microkit configs #149

Closed nspin closed 3 weeks ago