Ok, that fun part of renaming should be done, and will allow the toolchain renaming to proceed. Just use "hw" as the argument to rumprun's build-rr.sh instead of "baremetal".

  - antti

... if this renaming doesn't stop soon, I'll rename the project to "rename kernels".

Reply via email to