Split kernels into separate repo?

[henrytill]

Initial discussion with @betaboon here:
#116 (comment)

@henrytill's thoughts:

The kernels are the thing that are updated the most frequently (everything else has been mostly static for some time now), so a basic split where the kernels were a submodule, subtree, or Nix fetch would require updating hashes (or subtrees) every time the kernels are updated, which is a tad suboptimal (though likely not a deal-breaker).

I wonder if there is some way to structure things so that the audio stuff can be layered on top without needing to "include" the kernels in the repo (as a submodule/subtree/fetch etc.).

[magnetophon]

Has anyone looked at NixOS/nixpkgs#96702 ?

If those are good, do we need the kernels in here at all?

[tex]

Booted into linux-rt_latest from nixpkgs and it works as far as I can tell. Is there any point to have musnix if running this nixpkgs rt kernel? Obvious advantage od nixpkgs rt kernel is that Hydra builds it and I never has to build it myself.

[magnetophon]

@tex I'm running those as well.
There still is a lot of other stuff musnix does, so it's still useful if you want to run rt audio.

[betaboon]

i switched to using the rt-kernels in nixpkgs aswell as soon as they got available :)