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

[Nobuhiro Ban]

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 kernelPrint 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 debian-bsd-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: 
http://lists.debian.org/cadqnrq5wr0fmw-g1twtkqorkrmyowj0u8n0jemfff1z6t-l...@mail.gmail.com

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

[Nobuhiro Ban]

Package: src:kfreebsd-8, src:kfreebsd-9
Severity: normal

Dear Maintainer,

FreeBSD kernel image (kfreebsd-image-*) packages ship with
/boot/config-* file. But this config file is incomplete;
many options are described in "include"'d files:
>include GENERIC
>include DEBIAN
and included config files are not shipped in the package.

So, users cannot know all options of running kernel.


Regards,
Nobuhiro


-- 
To UNSUBSCRIBE, email to debian-bsd-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: 
http://lists.debian.org/cadqnrq6hx0v8mmnipowv6-1cz0ljxgp81roz+-qnayhwdke...@mail.gmail.com