Dennis den Brok wrote:
Ta for that -- the issue is that I don't have all of /usr/src co'd, due to diskspace. Was told by Grant Beattie that this way should still work...Try ./build.sh kernel=BASTION-4 in src, which is the "new" standard way to build kernels (cf. src/BUILDING).