Making changes -------------- 1. make the change and test and stuff 2. add an entry to the changelog (dch -i -c kernel-debian/changelog) 3. the new version number should probably reflect the version of the kernel being used, in case it changes 4. if you change the package revision (KERNEL_SM_REV in Makefile), that will change the names of the generated packages 5. for plain packaging changes, just increment the debian revision (the part after the - in the package version, found at the top line of kernel-debian/changelog) 6. since this package is not debs-in-spaaace-compatible, the procedure for tagging and uploading is somewhat different. "make upload_packages" should take care of it for you. Using ----- just "make" should do everything you need, downloading kernel source if necessary, comparing it against a known hash, extracting and patching it, putting the debian packaging files in place, and building. you'll get the kernel package itself (which includes the few modules we build), a headers package, and a snapshot of the source tree used as the source debs.