The Rpi is now a totally open source platform though, unlike the Odroid. Same for the Novena laptop.
Also, I've heard bad things about the Odroid's stability under load. Do you have any problems? I've also definitely had problems with the Rpi under load, but I expect the new switching power supply to solve that.
I've had horrible experiences with Pi over load. SD card corruption very often. Tried various power bricks and several Pi's, always same issue - corrupt SD card after a couple of months of 24/7 use.
Have an Odroid U2 running now for 6 months on an eMMC card without any issues. I know which one I prefer. :)
The last time I looked, it still requires a binary blob to even boot, and despite Broadcom releasing (partial) documentation for the GPU, and claims that it should be possible to replace that blob, I haven't seen any advances on that front.
Also, I've heard bad things about the Odroid's stability under load. Do you have any problems? I've also definitely had problems with the Rpi under load, but I expect the new switching power supply to solve that.