severity 444276 minor thanks [Guillaume] > So If you have an idea to fix it (without change my BIOS time...)...
Nope, I do not. The system clock is set from the hardware clock by the kernel without timezone information, and later in the boot by the hwclock*.sh scripts with timezone information. The hwclock*.sh scripts require the rtc kernel module to be loaded and the proper device created in /dev/. This normally happen after udev is started, which is after /proc/ and /sys/ is mounted, and thus it is not really possible to set the system clock with timezone information early enough. What exactly is the problem with having slightly incorrect timestamps in these mount points? Happy hacking, -- Petter Reinholdtsen -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
