tree 46001bbdcbb308781242b5d4c163ab578b9228d5
parent e6e175551ec741ee9037dcfaddc6d25e0b41f225
author Silvestrs Timofejevs <silvestrst@lowrisc.org> 1588601001 +0100
committer Garret Kelly <Garret.Kelly@gmail.com> 1589900763 -0400

[sw, tock] Use device specific configuration

Earlgrey can be run on different devices that may require different
initialisation parameters.

This change:
  * Adds device specific configurations.
  * Adds infrastructure to choose a configuration.

For the available options, see boards/opentitan/Cargo.toml. The option
to build for a specific device can be passed through the TOCK_FEATURES
environment variable. For example, "TOCK_FEATURES=device_verilator".
If TOCK_FEATURES is not specified, tock will be built for fpga by default.

NOTE: there might be a better way to request specific device than an
      environment variable, however it is good enough as a first step
      and can be improved in follow-up PRs.

Signed-off-by: Silvestrs Timofejevs <silvestrst@lowrisc.org>