Tue, 15 Dec 2009 15:35:02 +0100 edouard Fixed confusion about __common_ticktime type, redesigned LPC PLC timer support