I am a little confused about what version of linux is on the board by default. From what I can tell xilinux should have dev/xillybus_32 for communication with IO which is what I want. The default does not have this however. When I go to the documentation referenced on http://xillybus.com/xillinux at the bottom it just talks about installing xillybus not creating a xilinux operating system. What is the difference between xillybus and xilinux and how can I replace the default linux with xilinux? Thanks!