On 06/16/2013 20:06, Michiel Boland wrote: > FWIW - the saved core from the ddb-induced panic has > > (kgdb) print rebooting > $1 = 1 > I realised instantly after I sent my message that this is meaningless - so please ignore that.