Dat klopt, het zijn de volledige arduino 0017 sources. In een vorm die met eclipse handig te verwerken is. Daarom heet de directory waar ze in staan ook arduino-0017

De andere gebruikte library is IRremote, waar we wel wat wijzigingen in hebben. Het echte werk om het bij elkaar te knopen staat in CombatLaser.
Volgens mij had Luuk hier als wat eerder uitgelegd hoe wij het doen. Zoals jij het voorsteld zou het misschien ook kunnen, maar maak je het misschien wat onnodig rigide. Hoe meer je op intterupt kan doen, hoe meer tijd er over blijft voor andere dingen. De main loop kan je dan gebruiken voor huishouden dat niet heel erg tijdsgebonden is, bv een motorgeluid bitbangen op een poortje. (maar niet in de aankomende versies..)