mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-18 18:56:29 +00:00
parent
4a102fb58c
commit
eaed28f68d
@ -492,6 +492,8 @@ exec gzip -dc [genode_dir]/repos/gems/run/sculpt/machine.vdi.gz > [run_dir]/geno
|
||||
#
|
||||
# Define 'VERSION' ROM module
|
||||
#
|
||||
# Note: the string must be exactly 5 bytes long.
|
||||
#
|
||||
proc sculpt_version { } {
|
||||
return "19.02" }
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user