Subject: Re: [PATCH v4 00/10] an introduction of Linux library operating system (LibOS)

From: Richard Weinberger <[email-masked]>
Date: Mon, 27 Apr 2015 09:39:20 +0200

Am 27.04.2015 um 09:29 schrieb Richard Weinberger:
> Hi!
> 
> Am 27.04.2015 um 05:00 schrieb Hajime Tazaki:
>> This is the 4th version of Linux LibOS patchset which reflects a
>> couple of comments received from people.
>>
>> changes from v3:
>> - Patch 09/10 ("lib: libos build scripts and documentation")
>> 1) Remove RFC (now it's a proposal)
>> 2) build environment cleanup (commented by Paul Bolle)
>> - Overall
>> 3) change based tree from arnd/asm-generic to torvalds/linux.git
>>    (commented by Richard Weinberger)
>> 4) rebased to Linux 4.1-rc1 (b787f68c36d49bb1d9236f403813641efa74a031)
> 
> Hmm, it still does not build. This time I got:
> 
>   CC      kernel/time/time.o
> In file included from kernel/time/time.c:44:0:
> kernel/time/timeconst.h:11:2: error: #error "kernel/timeconst.h has the wrong HZ value!"
>  #error "kernel/timeconst.h has the wrong HZ value!"
>   ^
> arch/lib/Makefile:187: recipe for target 'kernel/time/time.o' failed
> make: *** [kernel/time/time.o] Error 1

A make mrproper made the issue go away.
Please use kbuild. :)

Thanks,
//richard