On 08/14/14 11:35, Christopher Forgeron wrote: > I've been using : > > make buildkernel -DKERNFAST 6s for the up-to-date run through, 12s to install. Much better! Thanks, Russell > > which is quite fast compared to the regular buildkernel. There may be a > faster way yet. >