Hi,
I suggest you to report this issue directly to red hat.
Unless you don't have a support contract, and then some people here will ask for information, like brand/model of the server.
Type of CPU
output from command dmesg when linux doesn't show all CPU/cores, etc.
Good Luck
Sire Maxus
|