Serge Vakulenko
|
585773955b
|
Fix include paths in the kernel sources.
Max32 kernel successfully compiled with kconfig utility.
|
2015-08-31 00:21:41 -07:00 |
|
Serge Vakulenko
|
d1f1e614f0
|
Kernel sources reformated with 4 space indent, no tabs.
Unused file include/trace.h deleted.
|
2015-06-23 19:00:24 -07:00 |
|
Serge Vakulenko
|
3a38f291a7
|
Merged kernel support for ELF executable format from karolina.lindqvist.
Now kernel can directly run executables generated by gcc.
|
2014-04-23 21:43:09 -07:00 |
|