The PYNQ boards identify themselves as a generic Xilinx 7000
chip in the device tree, and, somewhat annoyingly, do not
include board-level information in the board name or list of
compats. Specific board information can, however, be queried
directly from a separate device-tree file.
- Brings naming in line with existing conventions
- Replaces `_is_96Boards()` with an `any_96boards` property
- Renames `get_dt_compatible_field()` to `check_dt_compatible_value()`
to distinguish between returning a field's string value and a boolean
check on whether a value is present.
- Adds a 96Boards check to `bin/detect.py`.
This might still need some changes, and definitely needs tested on actual
96Boards hardware.
Main wrapper class is now `Detector`, which is more noun-y than verb-y.
Added GENERIC_X86 and GENERIC_LINUX_PC to chip and board, respectively.
Made pylint happier.