the ev3dev compatible kernel source ev3dev-rootfs  - the ev3dev root file system