.. SPDX-License-Identifier: CC-BY-SA-4.0 .. Copyright (C) 2018 embedded brains GmbH or1k (OpenRISC 1000) ******************** generic_or1k ============ TODO.