Hello.
After running `make config`, I am trying to save my configuration to git
and later restore it. This is for both fiasco and l4. I found that the
command `make savedefconfig` works (just like for linux kernel) to create a
defconfig file for uploading to git, but the command `make defconfig` for
restoring the configuration from this file doesn't work. What file should I
be saving/restoring, or what is the process to save/restore my
configuration? Either a defconfig or a full configuration would be ok.
Thank you
_______________________________________________
l4-hackers mailing list -- l4-hackers(a)os.inf.tu-dresden.de
To unsubscribe send an email to l4-hackers-leave(a)os.inf.tu-dresden.de
