They are for sure talking about the ARM servers from Oracle. You get 24gb of memory and 4 cpu cores that you can carve into virtual machines.
Issue is that the free stock is very limited, and there have been some claims of people having their free service resources reclaimed by Oracle.
Still, if you can get one, it is probably the best you can get for free.
Aren't most CPU's and chipsets proprietary? Not to mention all of the firmware blobs they require? What are some affordable, non-proprietary options?