| ALPINE (87c74046b6dde0c6fa053ee6f047bf5db469db7a) | ALPINE (eb6e1a02772aad246cb93f3601789ab7d99d1ba1) |
|---|---|
| 1# Kernel configuration for Alpine Board. 2# 3# For more information on this file, please read the config(5) manual page, 4# and/or the handbook section on Kernel Configuration Files: 5# 6# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html 7# 8# The handbook is also available locally in /usr/share/doc/handbook --- 17 unchanged lines hidden (view full) --- 26makeoptions WERROR="-Werror" 27 28options HZ=100 29options SCHED_4BSD # 4BSD scheduler 30options SMP # Enable multiple cores 31 32# Debugging 33makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols | 1# Kernel configuration for Alpine Board. 2# 3# For more information on this file, please read the config(5) manual page, 4# and/or the handbook section on Kernel Configuration Files: 5# 6# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html 7# 8# The handbook is also available locally in /usr/share/doc/handbook --- 17 unchanged lines hidden (view full) --- 26makeoptions WERROR="-Werror" 27 28options HZ=100 29options SCHED_4BSD # 4BSD scheduler 30options SMP # Enable multiple cores 31 32# Debugging 33makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols |
| 34options BREAK_TO_DEBUGGER | 34options ALT_BREAK_TO_DEBUGGER |
| 35options KDB 36options DDB #Enable the kernel debugger 37 38# Interrupt controller 39device gic 40 41# Pseudo devices 42device loop --- 36 unchanged lines hidden --- | 35options KDB 36options DDB #Enable the kernel debugger 37 38# Interrupt controller 39device gic 40 41# Pseudo devices 42device loop --- 36 unchanged lines hidden --- |