Bug#706736: Acknowledgement (kFreeBSD users cannot know all options of running kernel)

[Nobuhiro Ban <ban.nobuhiro@gmail.com>]

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