A bug?

[Adrian M. <ad...@ne...>]

I have just turned on a whole host of debugging stuff in my kernel and
now it won't boot because of the issue below - is this anything I need
to formally file?

[    0.186328] ------------[ cut here ]------------
[    0.191626] Badness at kernel/fork.c:1000
[    0.196220] 
[    0.197930] Pid : 0, Comm:              swapper
[    0.203140] PC is at copy_process+0x13d2/0x1bc0
[    0.208336] PC  : 8c017012 SP  : 8c2d9e78 SR  : 40008101 TEA :
00000000    Not tainted
[    0.217417] R0  : 00000001 R1  : 00000000 R2  : 8c2beec8 R3  :
8c2d8000
[    0.224983] R4  : 8c2f5a50 R5  : 8c28646c R6  : 8c2f5a50 R7  :
00000000
[    0.232548] R8  : 00000000 R9  : 8c546000 R10 : 8c13c78e R11 :
8c545020
[    0.240112] R12 : 00800b00 R13 : 8c545020 R14 : 8c2d9e78
[    0.246191] MACH: 0000006c MACL: 00000000 GBR : 8c000000 PR  :
8c017006
[    0.253744] 
[    0.253756] Call trace: 
[    0.258348] [<8c013364>] sub_preempt_count+0x4/0xc0
[    0.263969] [<8c233a12>] _spin_unlock_irq+0x32/0x80
[    0.269595] [<8c02fb6e>] alloc_pid+0x1ee/0x3e0
[    0.274721] [<8c01795c>] do_fork+0x5c/0x280
[    0.279546] [<8c1334fc>] strlen+0x0/0x64
[    0.284087] [<8c03d860>] trace_hardirqs_off+0x0/0xa0
[    0.289812] [<8c003be8>] kernel_thread+0x48/0x80
[    0.295128] [<8c1334fc>] strlen+0x0/0x64
[    0.299654] [<8c2e1300>] __alloc_bootmem+0x0/0x60
[    0.305068] [<8c2da4a0>] kernel_init+0x0/0x320
[    0.310191] [<8c003ba0>] kernel_thread+0x0/0x80
[    0.315410] [<8c2da4a0>] kernel_init+0x0/0x320
[    0.320537] [<8c003900>] kernel_thread_helper+0x0/0x20
[    0.326449] [<8c22ec52>] rest_init+0x12/0xa0
[    0.331377] [<8c003ba0>] kernel_thread+0x0/0x80
[    0.336590] [<8c2dacb4>] start_kernel+0x3d4/0x6a0
[    0.342010] [<8c00202a>] _stext+0x2a/0x60
[    0.346625] 
[    0.348334] INFO: lockdep is turned off.