Will be interesting how they do it as the IGEL OS requires 2GB memory but the RPi3 only comes with 1GB. The UD Pocket can work on devices work on devices with 1GB but you’d have to somehow change the boot order on the RPi3 to boot from the UD Pocket.