ARM CPU ID List A list of ARM CPU IDs in a format similar to pci.ids/usb.ids. See arm.ids. Some C code to read the file can be found in util/.