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 K1 CPU