From owner-freebsd-amd64@FreeBSD.ORG Wed Apr 7 01:07:35 2004 Return-Path: Delivered-To: freebsd-amd64@freebsd.org Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125]) by hub.freebsd.org (Postfix) with ESMTP id 7B56216A4CF for ; Wed, 7 Apr 2004 01:07:35 -0700 (PDT) Received: from mail.jrv.org (rrcs-sw-24-73-246-106.biz.rr.com [24.73.246.106]) by mx1.FreeBSD.org (Postfix) with ESMTP id 1531743D55 for ; Wed, 7 Apr 2004 01:07:35 -0700 (PDT) (envelope-from james@jrv.org) Received: from jrv.org (zippy.jrv.org [192.168.3.156]) (authenticated bits=0) by dogfood.jrv.org (8.12.11/8.12.10) with ESMTP id i377VDs1042161 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Wed, 7 Apr 2004 02:31:13 -0500 (CDT) (envelope-from james@jrv.org) Message-ID: <4073AE41.2080103@jrv.org> Date: Wed, 07 Apr 2004 02:31:13 -0500 From: "James R. Van Artsalen" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.6) Gecko/20040113 X-Accept-Language: en-us, en MIME-Version: 1.0 To: Georges-Andre Silber References: <4072A646.8030405@cri.ensmp.fr> <20040406152758.GA6311%till@score.is.tsukuba.ac.jp> <4073A942.6000605@cri.ensmp.fr> In-Reply-To: <4073A942.6000605@cri.ensmp.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit cc: till@score.is.tsukuba.ac.jp cc: freebsd-amd64@freebsd.org Subject: Re: SMP problems Bi-Opteron/HDAMA X-BeenThere: freebsd-amd64@freebsd.org X-Mailman-Version: 2.1.1 Precedence: list List-Id: Porting FreeBSD to the AMD64 platform List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 07 Apr 2004 08:07:35 -0000 Georges-Andre Silber wrote: > surville# diff GENERIC SURVILLE > 23c23 > < ident GENERIC > --- > > ident SURVILLE > > As you can see, no big changes :-) > I don't know what to do with my kernel to activate ACPI by default... See if FreeBSD/i386 sees both processors. In particular, see if FreeBSD/i386 detects ACPI or the APIC. See if there is a newer BIOS for that motherboard. See if ACPI is disabled in ROM setup. My theory is that FreeBSD/amd64 is OK and that BIOS for whatever reason it not presenting ACPI correctly.