ARM stands for "Advanced RISC Machine". I believe the copy is correct, although I would have expected "advanced RISC machine" to be capitalized as "Advanced RISC Machine" as it refers to a proper name.
That is exactly what I meant. The abbreviation that is the company name used to stand for "Advanced RISC Machines", but "an advanced RISC machine" is clearly a generic description of something that could come from any manufacturer.
As Wikipedia says[1]:
"A trademark which is popularly used to describe a product or service (rather than to distinguish the product or services from those of third parties) is sometimes known as a genericized trademark[2]. If such a mark becomes synonymous with that product or service to the extent that the trademark owner can no longer enforce its proprietary rights, the mark becomes generic.
The point is that "ARM" as it is used in the text doesn't refer specifically to the products of the trademark owner. If such usage becomes acceptable, anyone could sell "ARM servers" and the trademark becomes useless.
