What is involved for Redhat AS 4.0? The system was initially built 32bit, but some users would like it running in 64. Is it as simple as loading a different kernel? :fingerscrossed: Thanks!