MirageOS add custom commandline arguments for mirage configure via config.ml?

mirageos
#1

Hello,

Is it possible to add custom options so values can be passed during mirage configure?

Similar to how having default_network in config.ml enables --ipv4 and --ipv4-gateway options.

Many thanks!
Darren

0 Likes

#2

Yes, these are called “keys” in MirageOS terms.

See the hello key example to see how to define these. Once this is define, mirage configure --help and the generated binary will show these options. You can access these at runtime using the Key_gen auto-generated module.

1 Like

#3

Aha!

I did feel like I’ve seen them at some point but forgot what they are called. Thanks very much!

0 Likes