kernel: The NPX_DEBUG kernel option is pc32 specific, too.
commit70c57cb3fe9d44421f39c160caa9cbcc18e0c67a
authorSascha Wildner <saw@online.de>
Thu, 3 Jan 2013 16:56:33 +0000 (3 17:56 +0100)
committerSascha Wildner <saw@online.de>
Thu, 3 Jan 2013 16:56:33 +0000 (3 17:56 +0100)
treecac6f9695e2a26182d2577de39ae502373920818
parent68336437191890d72fb339ecbccc9e34da1f38be
kernel: The NPX_DEBUG kernel option is pc32 specific, too.
sys/conf/options
sys/platform/pc32/conf/options
sys/platform/pc64/x86_64/npx.c
sys/platform/vkernel/i386/npx.c
sys/platform/vkernel64/x86_64/npx.c