nixpkgs
we build the `pkgs.cross` kernel, which can be emulated or cross-compiled based on the specific target (`moby` v.s. `moby-cross`).