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