Serge Vakulenko 6ccaa1a940 Merge branch 'master' into codesourcery. ...

All Matt's advices applied.

2014-05-06 19:55:35 -07:00

..

include

Merged kernel support for ELF executable format from karolina.lindqvist.

2014-04-23 21:43:09 -07:00

kernel

Merge branch 'master' into codesourcery.

2014-05-06 19:55:35 -07:00

pic32

Merge branch 'master' into codesourcery.

2014-05-06 19:55:35 -07:00