Serge Vakulenko
793e6052bd
Add sysctl parameters to query the CPU and i/o bus frequency:
...
machdep.cpu_khz and machdep.bus_khz.
Fix bug in machdep.console_device parameter.
2015-10-08 11:34:20 -07:00
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
9c749994c1
Setup only UARTs, defined in the kernel config file.
...
For console initialization, use options CONS_MAJOR and CONS_MINOR.
2015-09-19 21:23:07 -07:00
Serge Vakulenko
3db23e5d6a
Use flags for gpio driver to configure available pins.
2015-09-14 22:07:16 -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
Sergey
e08e51f1b9
Use permanent allocation of major indexes for character devices.
2015-05-30 18:28:22 -07:00
Matt Jenkins
895f96d2f7
Initial Import from SVN
2014-04-09 14:27:18 +01:00
