Bonjour,
Je viens d?installer la distribution Fedora4 (kernel-2.6.11-1.1369_FC4 du 25/05/2005) sur un PC équipé d?un Pentium4 et de 4Go de RAM et je constate que seulement 3,1Go sur les 4 sont disponibles, et ce malgré le fait que le BIOS du PC détecte bien les 4 barrettes de 1Go chacune.
Les caractéristiques du PC (DELL Optiplex GX280, p4 à 2,8GHz) sont les suivantes :
$/sbin/lspci
00:00.0 Host bridge: Intel Corporation 915G/P/GV/GL/PL/910GL Processor to I/O Controller (rev 04)
00:01.0 PCI bridge: Intel Corporation 915G/P/GV/GL/PL/910GL PCI Express Root Port (rev 04)
00:02.0 VGA compatible controller: Intel Corporation 82915G/GV/910GL Express Chipset Family Graphics Controller (rev 04)
00:02.1 Display controller: Intel Corporation 82915G Express Chipset Family Graphics Controller (rev 04)
00:1c.0 PCI bridge: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) PCI Express Port 1 (rev 03)
00:1c.1 PCI bridge: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) PCI Express Port 2 (rev 03)
00:1d.0 USB Controller: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) USB UHCI #1 (rev 03)
00:1d.1 USB Controller: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) USB UHCI #2 (rev 03)
00:1d.2 USB Controller: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) USB UHCI #3 (rev 03)
00:1d.3 USB Controller: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) USB UHCI #4 (rev 03)
00:1d.7 USB Controller: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) USB2 EHCI Controller (rev 03)
00:1e.0 PCI bridge: Intel Corporation 82801 PCI Bridge (rev d3)
00:1e.2 Multimedia audio controller: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) AC'97 Audio Controller (rev 03)
00:1f.0 ISA bridge: Intel Corporation 82801FB/FR (ICH6/ICH6R) LPC Interface Bridge (rev 03)
00:1f.1 IDE interface: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) IDE Controller (rev 03)
00:1f.2 IDE interface: Intel Corporation 82801FB/FW (ICH6/ICH6W) SATA Controller (rev 03)
00:1f.3 SMBus: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) SMBus Controller (rev 03)
02:00.0 Ethernet controller: Broadcom Corporation NetXtreme BCM5751 Gigabit Ethernet PCI Express (rev 01)
Petite précision qui peut avoir son importance :
Lors de l?installation, je n?avais que 512Mo de RAM. C?est seulement une fois l?installation du système terminée (qqles jours plus tard) que j?ai installé les 4 Go de RAM.
Par défaut, je boot sur le kernel vmlinux-2.6.11-1.1369_FC4 qui a été configuré (d?après le fichier config-2.6.11-1.1369_FC4) avec l?option HIGHMEM4G=y.
J?ai aussi fait l?essai de booter sur le kernel vmlinux-2.6.11-1.1369_FC4smp qui lui est configuré (selon config-2.6.11-1.1369_FC4smp) avec HIGHMEM64G=y ; mais dans les 2 cas le résultat est le même, seul 3Go sur 4 sont visibles par le système.
J?ai pris soin également de me mettre à jour sur la dernière version du BIOS du PC (version A06 de DELL) mais sans résultat.
Les messages au boot du kernel sont les suivants :
Linux version 2.6.11-1.1369_FC4 (
bhcompile@decompose.build.redhat.com)
(gcc version 4.0.0 20050525 (Red Hat 4.0.0-9)) #1 Thu Jun 2 22:55:56 E$/sbin/lspci
00:00.0 Host bridge: Intel Corporation 915G/P/GV/GL/PL/910GL Processor to I/O Controller (rev 04)
00:01.0 PCI bridge: Intel Corporation 915G/P/GV/GL/PL/910GL PCI Express Root Port (rev 04)
00:02.0 VGA compatible controller: Intel Corporation 82915G/GV/910GL Express Chipset Family Graphics Controller (rev 04)
00:02.1 Display controller: Intel Corporation 82915G Express Chipset Family Graphics Controller (rev 04)
00:1c.0 PCI bridge: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) PCI Express Port 1 (rev 03)
00:1c.1 PCI bridge: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) PCI Express Port 2 (rev 03)
00:1d.0 USB Controller: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) USB UHCI #1 (rev 03)
00:1d.1 USB Controller: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) USB UHCI #2 (rev 03)
00:1d.2 USB Controller: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) USB UHCI #3 (rev 03)
00:1d.3 USB Controller: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) USB UHCI #4 (rev 03)
00:1d.7 USB Controller: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) USB2 EHCI Controller (rev 03)
00:1e.0 PCI bridge: Intel Corporation 82801 PCI Bridge (rev d3)
00:1e.2 Multimedia audio controller: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) AC'97 Audio Controller (rev 03)
00:1f.0 ISA bridge: Intel Corporation 82801FB/FR (ICH6/ICH6R) LPC Interface Bridge (rev 03)
00:1f.1 IDE interface: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) IDE Controller (rev 03)
00:1f.2 IDE interface: Intel Corporation 82801FB/FW (ICH6/ICH6W) SATA Controller (rev 03)
00:1f.3 SMBus: Intel Corporation 82801FB/FBM/FR/FW/FRW (ICH6 Family) SMBus Controller (rev 03)
02:00.0 Ethernet controller: Broadcom Corporation NetXtreme BCM5751 Gigabit Ethernet PCI Express (rev 01)
DT 2005
BIOS-provided physical RAM map:
BIOS-e820: 0000000000000000 - 00000000000a0000 (usable)
BIOS-e820: 00000000000f0000 - 0000000000100000 (reserved)
BIOS-e820: 0000000000100000 - 00000000bf686c00 (usable)
BIOS-e820: 00000000bf686c00 - 00000000bf688c00 (ACPI NVS)
BIOS-e820: 00000000bf688c00 - 00000000bf68ac00 (ACPI data)
BIOS-e820: 00000000bf68ac00 - 00000000c0000000 (reserved)
BIOS-e820: 00000000e0000000 - 00000000f0000000 (reserved)
BIOS-e820: 00000000fec00000 - 00000000fed00400 (reserved)
BIOS-e820: 00000000fed20000 - 00000000feda0000 (reserved)
BIOS-e820: 00000000fee00000 - 00000000fef00000 (reserved)
BIOS-e820: 00000000ffb00000 - 0000000100000000 (reserved)
2166MB HIGHMEM available.
896MB LOWMEM available.
Using x86 segment limits to approximate NX protection
On node 0 totalpages: 784006
DMA zone: 4096 pages, LIFO batch:1
Normal zone: 225280 pages, LIFO batch:31
HighMem zone: 554630 pages, LIFO batch:31
DMI 2.3 present.
ACPI: RSDP (v000 DELL ) @ 0x000fec00
ACPI: RSDT (v001 DELL GX280 0x00000007 ASL 0x00000061) @ 0x000fcbdb
ACPI: FADT (v001 DELL GX280 0x00000007 ASL 0x00000061) @ 0x000fcc1b
ACPI: SSDT (v001 DELL st_ex 0x00001000 MSFT 0x0100000d) @ 0xfffd3e77
ACPI: MADT (v001 DELL GX280 0x00000007 ASL 0x00000061) @ 0x000fcc8f
ACPI: BOOT (v001 DELL GX280 0x00000007 ASL 0x00000061) @ 0x000fcd21
ACPI: ASF! (v016 DELL GX280 0x00000007 ASL 0x00000061) @ 0x000fcd49
ACPI: MCFG (v001 DELL GX280 0x00000007 ASL 0x00000061) @ 0x000fcdb0
ACPI: HPET (v001 DELL GX280 0x00000007 ASL 0x00000061) @ 0x000fcdee
ACPI: DSDT (v001 DELL dt_ex 0x00001000 MSFT 0x0100000d) @ 0x00000000
ACPI: PM-Timer IO Port: 0x808
ACPI: HPET id: 0x8086a201 base: 0xfed00000
Allocating PCI resources starting at c0000000 (gap: c0000000:20000000)
Built 1 zonelists
Kernel command line: ro root=LABEL=/ rhgb quiet
Initializing CPU#0
CPU 0 irqstacks, hard=c0457000 soft=c0456000
PID hash table entries: 4096 (order: 12, 65536 bytes)
Console: colour VGA+ 80x25
Dentry cache hash table entries: 131072 (order: 7, 524288 bytes)
Inode-cache hash table entries: 65536 (order: 6, 262144 bytes)
Memory: 3104308k/3136024k available (2518k kernel code, 30464k reserved, 690k data, 180k init, 2218520k highmem)
Est-ce que d?autres utilisateurs de FC4 ont déjà été confrontés à ce problème ?
Merci par avance pour votre aide.