some work towards possibility of running rump Linux emulation, not complete