Linux kernel for aria board - a tiny sized Ti AM335x stamp board.