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] Archive: http://lists.debian.org/cadqnrq5wr0fmw-g1twtkqorkrmyowj0u8n0jemfff1z6t-l...@mail.gmail.com

