Unfortunately it also does not seem to support printing long longs (ie
hrtime_t) which is a real nuisance. It would be nice to be able to print
timestamps just using "%llu" or "%lld". I assume that rtl_printf is just
using the kernel sprintf which doesn't support this?
thanks,
brian wallis... <[EMAIL PROTECTED]>
Web page @ <http://www.alphalink.com.au/~tabbycat>
pgp public key @ <http://www.alphalink.com.au/~tabbycat/key.asc>
-- [rtl] ---
To unsubscribe:
echo "unsubscribe rtl" | mail [EMAIL PROTECTED] OR
echo "unsubscribe rtl <Your_email>" | mail [EMAIL PROTECTED]
--
For more information on Real-Time Linux see:
http://www.rtlinux.org/rtlinux/
