Eero Nurkkala 3394dca826 risc-v/opensbi: Make.defs: use a wildcard for file listing ...

The source directory contents of the OpenSBI directory lib/sbi may be
listed with a one-line wildcard. This makes the Make.defs file look
simpler. The rest of the files need to be picked one at a time.

Co-authored-by: Jukka Laitinen <jukkax@ssrc.tii.ae>
Signed-off-by: Eero Nurkkala <eero.nurkkala@offcode.fi>

2021-12-23 02:42:09 -06:00

..

include

arch/risc-v: Implement TLS support

2021-12-12 10:19:00 -06:00

src

risc-v/opensbi: Make.defs: use a wildcard for file listing

2021-12-23 02:42:09 -06:00

Kconfig

mpfs: introduce OpenSBI

2021-12-22 20:48:12 -06:00