Serge Vakulenko
|
a302352054
|
Modify Makefile.kconf to generate dependency files automatically.
|
2015-09-03 13:05:37 -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
|
23cafa1006
|
Merge branch 'kconfig' of https://github.com/RetroBSD/retrobsd into kconfig.
|
2015-09-03 11:44:14 -07:00 |
|
Serge Vakulenko
|
9f6a53122a
|
Cleanup in kconfig files.
|
2015-09-03 11:44:03 -07:00 |
|
Serge Vakulenko
|
a8c229ed36
|
Create kconfig file for WF32 board.
|
2015-09-02 22:19:42 -07:00 |
|
Serge Vakulenko
|
592e2014fb
|
Kconfig: remove unused options config-dependent, device-driver and profiling-routine.
Kernel makefile updated.
|
2015-09-02 18:19:30 -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
|
d80a636a62
|
Create generic kconfig script for pic32 platform.
|
2015-08-30 21:10:19 -07:00 |
|