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
|
023f848428
|
New kernel option: signal "BUTTON1".
Hold this button pressed at kernel startup to enter a single-user mode.
See fubarino Config for example.
|
2015-10-03 14:24:17 -07:00 |
|
Serge Vakulenko
|
3073e9af87
|
Modify SD driver for direct i/o (no rdisk).
|
2015-09-26 21:46:11 -07:00 |
|
Serge Vakulenko
|
c6360fb676
|
Use ioconf.c for device configuration.
|
2015-09-14 20:28:31 -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 |
|
Sergey
|
9bbe938e48
|
At startup, set peripheral clock PBCLK as defined by busdiv option
in kernel configuration file.
|
2015-02-14 20:20:19 -08:00 |
|
Matt Jenkins
|
895f96d2f7
|
Initial Import from SVN
|
2014-04-09 14:27:18 +01:00 |
|