Nja, den modellen det gällde här, EFI-7800 verkar vara Windows CE baserad. De har andra modeller som kan köra Linux och den Linuxen du hittade tror jag är till deras andra modeller och inte till EFI-7800.

http://www.chippc.com/support/downlo...el_Compare.pdf