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@os.inf.tu-dresden.de To unsubscribe send an email to l4-hackers-leave@os.inf.tu-dresden.de
Hello,
On Fri Feb 07, 2025 at 01:14:30 +0200, Baruch Burstein wrote:
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
The config can be given when creating the build directory for both the L4Re kernel and L4Re user-level:
User-level:
$ B=builddir T=defconfig Or: $ B=builddir DROPSCONF_DEFCONFIG=path/to/defconfig
The default configs are in l4/mk/defconfig
For an existing build dir, copy a defconfig to .kconfig and call make olddefconfig.
Kernel:
$ make B=build T=defconfig
The default configs are in src/templates
For an existing build dir, copy a defconfig to globalconfig.out and call make olddefconfig.
Having described this, unifying both via the known config_defconfig make target is a good idea, and in progress.
Adam _______________________________________________ l4-hackers mailing list -- l4-hackers@os.inf.tu-dresden.de To unsubscribe send an email to l4-hackers-leave@os.inf.tu-dresden.de
Thank you
On Sun, Feb 9, 2025 at 9:48 PM Adam Lackorzynski adam@l4re.org wrote:
Hello,
On Fri Feb 07, 2025 at 01:14:30 +0200, Baruch Burstein wrote:
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
The config can be given when creating the build directory for both the L4Re kernel and L4Re user-level:
User-level:
$ B=builddir T=defconfig Or: $ B=builddir DROPSCONF_DEFCONFIG=path/to/defconfig
The default configs are in l4/mk/defconfig
For an existing build dir, copy a defconfig to .kconfig and call make olddefconfig.
Kernel:
$ make B=build T=defconfig
The default configs are in src/templates
For an existing build dir, copy a defconfig to globalconfig.out and call make olddefconfig.
Having described this, unifying both via the known config_defconfig make target is a good idea, and in progress.
Adam
_______________________________________________ l4-hackers mailing list -- l4-hackers@os.inf.tu-dresden.de To unsubscribe send an email to l4-hackers-leave@os.inf.tu-dresden.de
l4-hackers@os.inf.tu-dresden.de
-
Adam Lackorzynski -
Baruch Burstein