xref: /dflybsd-src/sys/platform/vkernel64/conf/options (revision 97cf09edcc347ab53ca2f315ad7f1fd04f97d205) 
1da673940SJordan Gordeev# The cpu type
2da673940SJordan Gordeev#
3da673940SJordan GordeevHAMMER_CPU              opt_global.h
4*509bc517SAntonio Huete Jimenez
5*509bc517SAntonio Huete Jimenez# Static filesystems
6*509bc517SAntonio Huete JimenezDIRFS           opt_dontuse.h
7*509bc517SAntonio Huete Jimenez
8*509bc517SAntonio Huete Jimenez# KTR options
9*509bc517SAntonio Huete JimenezKTR_DIRFS	opt_ktr.h
10