cafeb8e4f580e4a981d5cfa7aca3cd2c1039192b
Xen itself is currently broken in Nixpkgs, so building kernels for it is kind of pointless.
Description
Languages
Nix
95%
Shell
2%
Python
1.8%
Rust
0.3%
JavaScript
0.2%
Other
0.4%