The Dell system is being developed by Dell’s Data Center Solutions division, which builds custom hardware for big Internet companies. Dell didn’t say when it will put a 64-bit ARM server on sale.

Dell has built a prototype server based on a 64-bit ARM processor from Applied Micro Circuits, which showed the system at a conference in Silicon Valley on Thursday.

The Dell XPS Desktop 8960, originally priced at $1,510, is down to $1,060 for savings of $450, while the Dell XPS 14 9440 laptop, usually sold for $2,000, is on sale for $1,700 following a $300 ...