search for: decisecond

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 () = !...

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

...affect does it have on the system? The potential of fetching multiple sectors simultaneously and using larger disks. > 3) I'm not using any virtualization layer. > Why do you ask that? How do you get such precise timing? Measuring anything under a second (and almost certainly under a decisecond) requires technological assistance. > 4) Can you point me to the kernel jump point in SYSLINUX? > I'm checking about kernel rootfs decompression stage. > > 5) I'll post the "slow" BIOS boot time next time although SYSLINUX 6.03 gets stuck when working with the "s...

...affect does it have on the system? The potential of fetching multiple sectors simultaneously and using larger disks. > 3) I'm not using any virtualization layer. > Why do you ask that? How do you get such precise timing?? Measuring anything under a second (and almost certainly under a decisecond) requires technological assistance. > 4) Can you point me to the kernel jump point in SYSLINUX? > I'm checking about kernel rootfs decompression stage. > > 5) I'll post the "slow" BIOS boot time next time although SYSLINUX 6.03 gets stuck when working with the &quot...