mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
With this patch, the board/<name>/arch property file can have multiple lines where each line denotes an instruction-set architecture supported for the board. Issue #4019 Fixes #4034