231a232,234
> /** Additional object files */
> std::vector<ObjectFile *> kernelExtras;
>