.. SPDX-License-Identifier: CC-BY-SA-4.0 .. Copyright (C) 2018 embedded brains GmbH v850 (V850) *********** gdbv850sim ========== TODO.