Kernel Package



We provide a user with a source RPM package. It contains a vanilla Linux kernel 2.6.28 with some additional patches to support newer build environments. The patches are listed below for reference:

If you want to exercise your tool on the kernel we have in our database, you can use this package and compare the results to our database then. Or alternatively you can obtain the sources on your own and use this .config.