Adam Lackorzynski adam@os.inf.tu-dresden.de writes:
and, created a dir in .../obj/l4/x86/pkg
That is not necessary, and will be done automatically by the build system.
Doesn't look like that to me. On 'make O=... oldconfig', it says
bash: /home/incal/core/l4re-snapshot-2013123021/obj/l4/x86/pkg/client/Kconfig.generated: No such file or directory make: *** [/home/incal/core/l4re-snapshot-2013123021/obj/l4/x86/pkg/client/Kconfig.generated] Error 1
But after 'mkdir client' it works.