請問 Redhat 8.0 是 32bit 的作業系統,還是 64ibt?