Serge Vakulenko f71ce9fc62 Pinguino-micro: kernel configuration updated.

2015-07-23 20:50:56 -07:00

..

include

All paths moved to path.h.

2015-06-24 20:57:08 -07:00

kernel

Kernel sources reformated with 4 space indent, no tabs.

2015-06-23 19:00:24 -07:00

pic32

Pinguino-micro: kernel configuration updated.

2015-07-23 20:50:56 -07:00