Re: Computing resources required for kernel development