Custom Hardware

AWS Rolls Out Graviton5 CPUs and a Formally Verified Nitro Isolation Engine

A 192‑core Graviton5 and an Isabelle/HOL‑verified separation kernel are meant to cut AI cloud costs by boosting chip efficiency and tightening virtual machine isolation.