You can get options of FreeBSD kernel with config(8).
So full ('include'-expanded) config file can be made with this command.>CONFIG(8) FreeBSD System Manager's Manual CONFIG(8) > >NAME > config -- build system configuration files (snip) > -x kernel Print kernel configuration file embedded into a kernel file. > This option makes sense only if options INCLUDE_CONFIG_FILE > entry was present in your configuration file. (snip) >freebsd% config -x kfreebsd-9.0-2-amd64 >options CONFIG_AUTOGENERATED >ident Debian-amd64 >machine amd64 >cpu HAMMER >options ALTQ_PRIQ >options ALTQ_HFSC >options ALTQ_RIO >options ALTQ_RED (snip) >options INCLUDE_CONFIG_FILE (snip) Regards, Nobuhiro -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

