While NVIDIA is most popular for their graphics cards, they also offer ARM chips and have several devices based on such chips.
NVIDIA Jetson TK1: a developer board based on the 32-bit Tegra K1 CPU
NVIDIA Jetson TX1: a developer board based on the 64-bit Tegra X1 CPU
NVIDIA Jetson TX2: a developer board based on the 64-bit Tegra P1 CPU