mirage configure generated opam file

[hannesm]

Hello, I noticed that a mirage configure <options> generates an opam file and a context file (both in the mirage subdirectory).

What is the purpose of the context file? It contains configure <options>.

Why does the opam file include as build instructions mirage configure <optoions> --context ./mirage/context? This seems to repeat the <options>...

//cc @samoht @TheLortex

Thanks for clarrification.

[hannesm]

AFAICT the context argument is mainly used for outputting the configure line, but I fail to understand the reasoning behind it. (I also fail to understand why we had .mirage.config earlier (in MirageOS3), but I think it was related to reloading state during the mirage build invocation) -- whereas now with MirageOS4 the build step is just a dune build (but please let me know what the context file is used for). //cc @samoht