Serge Vakulenko
5cb608d7e1
Rename other disk drivers which needed rdisk.
...
Delete device names from all the drivers.
Move device inslude files from include/sys to include/machine directory.
Only include files which have something useful for user layer
(like special ioctls codes) should be placed into sys.
2015-09-26 23:00:13 -07:00
Serge Vakulenko
94c02410e4
Kconfig: rename machine to architecture, ident to board.
...
Make timezone and maxusers parameters optional.
Enable kernel options UCB_METER, EXEC_AOUT, EXEC_ELF and EXEC_SCRIPT
by default.
2015-09-03 12:51:56 -07:00
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
