From owner-freebsd-small@FreeBSD.ORG Wed Jun 11 01:52:32 2003 Return-Path: Delivered-To: freebsd-small@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 4EF3237B411; Wed, 11 Jun 2003 01:52:32 -0700 (PDT) Received: from server.soekris.com (dsl-sj-66-219-69-164.broadviewnet.net [66.219.69.164]) by mx1.FreeBSD.org (Postfix) with ESMTP id 7AAD943F3F; Wed, 11 Jun 2003 01:52:31 -0700 (PDT) (envelope-from soren@soekris.com) Received: from soekris.com (1.4.soekris.com [192.168.1.4] (may be forged)) by server.soekris.com (8.9.2/8.9.2) with ESMTP id BAA00874; Wed, 11 Jun 2003 01:52:36 -0700 (PDT) (envelope-from soren@soekris.com) Message-ID: <3EE6EDCE.3040006@soekris.com> Date: Wed, 11 Jun 2003 01:52:30 -0700 From: Soren Kristensen Organization: Soekris Engineering User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.0.2) Gecko/20030208 Netscape/7.02 X-Accept-Language: en-us, en, da MIME-Version: 1.0 To: freebsd-hackers@freebsd.org, freebsd-small@freebsd.org References: <3EE63760.6040209@soekris.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: Looking for FreeBSD kernel debugging help X-BeenThere: freebsd-small@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: Dedicated and Embedded Systems List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 11 Jun 2003 08:52:32 -0000 Hi Everybody, First, thanks to everybody offering tips and help. The good news is that the problem is solved. I couldn't wait, so I finally decided to learn a little FreeBSD kernel debugging. After reading lots of not very comprehensive man pages and other guides, I got a 4.4 kernel compiled with ddb and set up remote debugging over the 2nd serial port with gdb. Again, after reading even more on using gdb, I set a bunch of breakpoints a did a little tracing and got the problem localized to a PCI configuration problem, probably a undocumented hardware bug in the Geode SC1100 processor combined with not very smart PCI config code in FreeBSD. I have patched FreeBSD to boot on the net4801 board, more details after I know exactly what's the issue is. Lesson learned: Advanced FreeBSD documentation sucks if you're not a kernel hacker, but remote kernel debugging works great and are actually kinda fun.... Regards, Soren Kristensen