Re: C library (printf)

To: Puneet Zaroo <csu97138@cse.iitd.ernet.in>
Subject: Re: C library (printf)
From: Leigh Stoller <stoller@fast.cs.utah.edu>
Date: Wed, 16 May 2001 06:39:26 -0700
Cc: oskit-users@fast.cs.utah.edu
In-Reply-To: <Pine.LNX.4.21.0105161803180.8981-100000@tequila.cse.iitd.ernet.in>
References: <6029190213.20010510164112@263.net> <Pine.LNX.4.21.0105161803180.8981-100000@tequila.cse.iitd.ernet.in>
Sender: owner-oskit-users@fast.cs.utah.edu

> From: Puneet Zaroo <csu97138@cse.iitd.ernet.in>
> Subject:  C library (printf)
> Date: Wed, 16 May 2001 18:07:14 +0530 (IST)
> 
> Hi all,
> I need to print the value of a 64 bit integer (type long long) and a
> floating point number in a kernel built using oskit. The printf provided
> in the oskit C library does not seem to support either of the 2 formats.
> Is there a way of incorporating these features in the printf.
> If not, is there any other function i could use to do the same.
> Thanks in advance, 

The OSKit's FreeBSD C library supports those formats. You would need to
link your kernel with that instead of the OSKit plain C library. Look in
examples/x86/extended/GNUmakerules to see the different include file
specification and the different library linking. 

You don't want to *mix* the two libraries. You would get very strange
errors.

Lbs

References:

C library

From: cool <hust@hust.edu.cn>

C library (printf)

From: Puneet Zaroo <csu97138@cse.iitd.ernet.in>