Package kernel-image-xenomai: Downloads
| src | |
|---|---|
| kernel-image-xenomai-4.19.207-alt1.cip58.20.src.rpm (bd78fed7b436adbee6772f9cbddf8415) | 4.4 MB |
| x86_64 | |
|---|---|
| kernel-headers-modules-xenomai-4.19.207-alt1.cip58.20.x86_64.rpm (f56af99a7632d3d5989738d7b87eff8c) | 9.1 MB |
| kernel-headers-xenomai-4.19.207-alt1.cip58.20.x86_64.rpm (ec3bc8c7c984c8d775a89bd32f9f8f3b) | 1.0 MB |
| kernel-image-xenomai-4.19.207-alt1.cip58.20.x86_64.rpm (aaa3dd70946c6a901fc403def4770e45) | 10.9 MB |
| kernel-image-xenomai-debuginfo-4.19.207-alt1.cip58.20.x86_64.rpm (34fd38205d4b330ebf845a309cc96fa0) | 151.1 MB |