mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 03:40:15 +00: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