Hi - IRMP3 seems to have everything i need (i.e. character display, keypad input and infra red support) from an mp3 player. I was wondering which version of linux i should use. I want the fastest boot time - should i be looking at a microkernel or a regular install of linux?
Hope someone can offer advice.