From owner-freebsd-amd64@FreeBSD.ORG Tue Nov 8 18:16:53 2005 Return-Path: X-Original-To: freebsd-amd64@freebsd.org 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 6BBFD16A420 for ; Tue, 8 Nov 2005 18:16:53 +0000 (GMT) (envelope-from kometen@gmail.com) Received: from wproxy.gmail.com (wproxy.gmail.com [64.233.184.207]) by mx1.FreeBSD.org (Postfix) with ESMTP id 8E64C43D48 for ; Tue, 8 Nov 2005 18:16:52 +0000 (GMT) (envelope-from kometen@gmail.com) Received: by wproxy.gmail.com with SMTP id i32so583889wra for ; Tue, 08 Nov 2005 10:16:52 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:cc:mime-version:content-type:content-transfer-encoding:content-disposition; b=dSPR9DV90BevCw+JpjCyp6MoHzHc3BqaaAJ1SeqFOzYqssHyRVGDsbU5XX2s/XKkkvO1avjPFADD4IGsqfUpe1yCkWVTHg5hBUpbWneqKfOGR7QzBReBW3FpOLXptTqNYXsBsXwA0k7gbKaIFDGCESGOnmxprR5DdpTg8EuyQjY= Received: by 10.65.20.5 with SMTP id x5mr6928703qbi; Tue, 08 Nov 2005 10:16:51 -0800 (PST) Received: by 10.64.151.20 with HTTP; Tue, 8 Nov 2005 10:16:51 -0800 (PST) Message-ID: Date: Tue, 8 Nov 2005 19:16:52 +0100 From: Claus Guttesen To: Norberto Meijome MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Cc: freebsd-amd64 List Subject: problems booting recompiled 5.4-kernel (Was: amd64 does not see all 4 GB RAM on tyan GT24) X-BeenThere: freebsd-amd64@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: Porting FreeBSD to the AMD64 platform List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 08 Nov 2005 18:16:53 -0000 > >>>> Just received a Tyan GT24 with a S2891 board. In the > >>>> bios-setup-utility the board has 4 GB RAM, but when FreeBSD 6.0 > >>>> release boot it only recognizes 3 GB. Dmesg: I have problems booting a recompiled kernel with FreeBSD 5.4 stable. I thought it was related to enabling smp in the kernel, but I have just rebuild kernel without smp (and rebuild world as well) and the server did not come back up. When I rebooted a recompiled kernel it stopped with calcru negative time so I tried to change kern.timecounter.hardware to i8254 in /boot/loader.conf, but it seems to ignore my hint. Doing a sysctl kern.timecounter.hardware (when booting the original kernel from the installation) shows ACPI-fast. I added CPUTYPE=3Dk8 to /etc/make.conf. I unfortunately don't have access to the console until tomorrow. regards Claus