Re: renamed rumprun toolchain available

  • From: Antti Kantee <pooka@xxxxxx>
  • To: rumpkernel-users@xxxxxxxxxxxxx
  • Date: Thu, 02 Jul 2015 12:24:59 +0000

I merged the toolchain rename bits. I also updated the wiki and rumprun-packages. If you find further references to old toolchain names, please adjust them or let us now.

with thanks to Martin and Ian for figuring out what the tuple should be

- antti

Other related posts: