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
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
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
3b1e8d40d7
Fix build errors.
2015-09-13 02:21:03 -07:00
Serge Vakulenko
0087168ba6
Add missing file /.profile.
...
Simplify stty utility, remove unused options.
2015-09-13 01:59:42 -07:00
Serge Vakulenko
095e957995
Create kernel configuration for Picadillo board.
2015-09-03 18:10:05 -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
635d8ff2f7
GCC configuration script unified for both kconfig and configsys.
...
Ling scripts modified for compatibility with CodeScape toolchain.
Fixed gcc warnings in kernel and kconfig.
2015-09-01 19:46:57 -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
Serge Vakulenko
d8269d1996
No more pause on tty output in case of clist overflow.
2015-01-20 18:09:13 -08:00
Matt Jenkins
83a999be0a
Added definitions for picadillo, and spi sram device
2014-08-27 23:13:26 +01:00
Serge Vakulenko
6ccaa1a940
Merge branch 'master' into codesourcery.
...
All Matt's advices applied.
2014-05-06 19:55:35 -07:00
Serge Vakulenko
b98de3368e
*.mk configuration files modified for compatibility with latest version
...
of Mentor Sourcery CodeBench Lite toolchain
(https://sourcery.mentor.com/GNUToolchain/release2641 ).
All detected issues fixed.
2014-04-24 21:06:37 -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
Matt Jenkins
de064ac74b
Moved rdisk.c into kernel. Renamed startup.S to _startup.S
2014-04-11 10:20:46 +01:00
Matt Jenkins
895f96d2f7
Initial Import from SVN
2014-04-09 14:27:18 +01:00