Hi,
I had to enable DEBUG_CLCK in kernel config, and build failed. It seems
that one printf() argument change was forgotten (variable 'time` no
longer exist) in arch/i386/isa/clock.c:
#ifdef DEBUG_CLCK
printf("readclock: %ld (%ld)\n", time.tv_sec, base);
#endif
The diff attached should correct the problem (based on the change made
elseware in the function).
regards,
Arnaud