| Parent directory/ | - | - |
| kernel-0504rt-5.4.257-lp154.5.1.nosrc.rpm | 7256661 | 2023-Dec-27 13:08 |
| kernel-0504rtai-5.4.239-lp154.5.1.nosrc.rpm | 7213952 | 2024-Feb-16 17:03 |
| kernel-0504xenomai3-5.4.255-lp154.19.1.nosrc.rpm | 8794558 | 2023-Nov-16 14:53 |
| kernel-0510rt-5.10.115-lp154.4.1.nosrc.rpm | 4781809 | 2024-Mar-05 14:57 |
| kernel-0510xenomai3-5.10.179-lp154.7.1.nosrc.rpm | 8784673 | 2024-Jun-17 15:03 |
| kernel-0515dovetail2-5.15.129-lp154.2.1.nosrc.rpm | 4606703 | 2023-Nov-19 22:31 |
| kernel-0515rt-5.15.5-lp154.7.1.nosrc.rpm | 4689684 | 2023-Sep-22 22:00 |
| kernel-0601evl1-6.1.61-lp154.2.1.nosrc.rpm | 6290589 | 2023-Nov-19 23:48 |
| kernel-0601rt-6.1.83-lp154.5.1.nosrc.rpm | 6344365 | 2024-May-15 09:23 |
| kernel-0604rt-6.4.6-lp154.3.1.nosrc.rpm | 90225 | 2023-Nov-06 15:24 |