+# Download distribution kernels (warning: takes AGES).
+
+update-kerneldb:
+ cd kernels && \
+ ../extract/fedora-koji/fedora-koji-download-kernels.opt
+
+# Rebuild the generated kernel struct parsers from the kerneldb.
+
+update-kernel-structs:
+ extract/codegen/kerneldb-to-parser.opt kernels lib
+