Hello everyone,
I would appreciate getting some advice as to the proper way to customize and rebuild an L4Linux kernel. I am testing Fiasco.OC/L4Re/L4Linux on a Beagleboard (ARM), I installed everything from the latest snapshot package, full build is fine, and launching the provided L4Linux "arm-up" kernel on my Beagleboard is ok. Now, to customize the configuration of the L4Linux kernel, I did "*make O=../../obj/l4linux/arm-up menuconfig*" from *\src\l4linux* directory, adjusted a few options, saved & exited, so far so good. Then I try to rebuild the L4Linux kernel using "*make O=../../obj/l4linux/arm-up*", and I get:
*"<path...>/src/l4linux is not clean, please run 'make mrproper' in the '<path...>/src/l4linux' directory."*
So I do just that, * <path..>/src/l4linux$ make O=../../obj/l4linux/arm-up mrproper*
but : - it ends with an error *"rm: cannot remove `arch/l4/include/asm/orig-arch': Is a directory"* - as expected, it wipes out a lot of things in the target build directory, including... the *.config* corresponding to my customized kernel....back to square one.
I must be missing something trivial, so if someone could point it out to me... ;)
Regards, Julien