I'm not sure I'd consider a system running full blown Linux with self hosted development tools, graphical environment and so on to be a typical embedded system.

Edit: I suppose they may not be running Linux on the Pi, certainly not the graphical variants on a 4GB card.