Re: [rtl] Re: HRT_FROM_8254() bug

[Tomasz Motylewski <motyl@stan.chemie.unibas.ch>]

> HRT_TO_8254() is definitely broken, and also breaks rt_get_time() in
> rtl_compat.h  I fixed my problems by replacing the function in

Yes, I had problems with my code until I replaced rt_get_time() with
gethrtime() everywhere.

And unrelated question: did anyone had problems with rtl_printf() or is it
just me? Can this function be called in both RT threads and non-rt parts of
the kernel? What happens when internal buffer overflows?

I had a crash in vsprintf()(linux/lib/vsprintf.c) kernel function when I had
too many debugging messages in my code. I am using CONFIG_RTL_SLOW_CONSOLE=y

Best regards,
--
Tomek