Wenn du Linux auf einem Microcontroller laufen lassen willst, dürfte dich uclinux(www.uclinux.org) interessieren. Allerdings läuft das nicht auf PICs.