Hello Andrey,
On Thu, Jul 03, 2014 at 10:41:25PM +0400, Andrey Borzenkov wrote:
> May be you can simply use grub_get_time_ms()? After all, we are not
> interested in exact time, just in some pseudo-random distribution. It
> should have less overhead than grub_get_datetime().
I finally got around
В Tue, 1 Jul 2014 13:53:49 +0200
Valentin Dornauer пишет:
> Hi!
> Attached is another patch from our internal repository. I am not
> certain that it will work under any circumstances and it has only
> been tested on x86 hardware, so please use with care!
>
> We had some very annoying issues with
