search for: deciseconds

Unix.gettimeofday returns a finer resolution than seconds, which is what we need since deciseconds of timestamps are printed. --- mllib/common_utils.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mllib/common_utils.ml b/mllib/common_utils.ml index 32e908d..516cff3 100644 --- a/mllib/common_utils.ml +++ b/mllib/common_utils.ml @@ -282,11 +282,11 @@ let verbose () = !v...

Hi, I was hoping you could shed some light in usage of the directive MENU HIDDENKEY in syslinux (extlinux 4.04) The docs say: MENU HIDDENKEY key[,key...] command... So, in my conf I have: MENU HIDDENKEY Esc openelec Where openelec is the label of the boot option I want to run only if Esc is pressed. But pressing Esc on boot has no effect. Default is run. So, do I misunderstand the

Hi Gene It took me some time to check all the things you've asked. Hope you still remember the case... 1) Compiling SYSLINUX with -j1 didn't help. The first error message I get is about missing header file. I'll try to play a little bit with it to make it compile. 2) The 3-character mode that the version/copyright banner displays is EDD. What determines the it? BIOS? What affect

On Fri, Jul 17, 2015 at 11:57 PM, Tal Lubko <tallubko at yahoo.com> wrote: > Hi Gene > > > It took me some time to check all the things you've asked. > Hope you still remember the case... > > 1) Compiling SYSLINUX with -j1 didn't help. > > The first error message I get is about missing header file. > I'll try to play a little bit with it to make it

Hi Some time ago I wrote this mailing list about some extra time that it takes for my system to boot and I don't know where it came from.I'm using a custom BIOS which loads at 1 second and now I've found out that it takes for the bootloader and OS an extra 1 second to load when keyboard is disconnected.I got from the BIOS engineer the following explanation and steps to take: In