This Wiki contains information about running leJOS on the Lego EV3.
[Getting started with leJOS EV3] [Running Ubuntu with VirtualBox] [leJOS EV3 Creating a bootable SD card]