Message ID | 339689ed72e2ded6d7ebc1de584073b6a3437a37.1716054087.git.zhengjunjie@iscas.ac.cn |
---|---|
State | New |
Headers | show |
Series | Add visionfive2 support. | expand |
Hello! Zheng Junjie <zhengjunjie@iscas.ac.cn> writes: > * gnu/packages/firmware.scm (opensbi-for-visionfive2): New variable. > > Change-Id: I27963937410a3900a63193ce2a1033ac20a79919 > --- > gnu/packages/firmware.scm | 12 ++++++++++++ > 1 file changed, 12 insertions(+) > > diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm > index 6f0c2da806..2309d12fed 100644 > --- a/gnu/packages/firmware.scm > +++ b/gnu/packages/firmware.scm > @@ -585,6 +585,18 @@ (define-public opensbi-qemu > (description > "This package contains OpenSBI firmware files for use with QEMU."))) > > +(define-public opensbi-for-visionfive2 > + (package > + (inherit opensbi-generic) > + (name "opensbi-for-visionfive2") > + (arguments > + (substitute-keyword-arguments > + (package-arguments opensbi-generic) > + ((#:make-flags flags) > + #~(cons* "FW_TEXT_START=0x40000000" > + "FW_OPTIONS=0" > + #$flags)))))) Why these 2 options is needed? Thanks.
diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm index 6f0c2da806..2309d12fed 100644 --- a/gnu/packages/firmware.scm +++ b/gnu/packages/firmware.scm @@ -585,6 +585,18 @@ (define-public opensbi-qemu (description "This package contains OpenSBI firmware files for use with QEMU."))) +(define-public opensbi-for-visionfive2 + (package + (inherit opensbi-generic) + (name "opensbi-for-visionfive2") + (arguments + (substitute-keyword-arguments + (package-arguments opensbi-generic) + ((#:make-flags flags) + #~(cons* "FW_TEXT_START=0x40000000" + "FW_OPTIONS=0" + #$flags)))))) + (define-public seabios (package (name "seabios")