It was reported that using options in kernel config files with value
> 2^31-1 doesn't work, and indeed, config stores the numerical values
it reads in ints.

That won't do if you need to specify larger values for 64bit platforms.
So I want to make config(8) use 64bit integers. However, it's a host tool,
so:

	1) can it use int64_t (the answer seems to be yes)
	2) can it use %lld/%llx in an snprintf() format

I'm not sure about 2), maybe that one can be cleared up.

- Frank

-- 
Frank van der Linden                                            fvdl@netbsd.org
===============================================================================
NetBSD. Free, Unix-like OS. > 45 different platforms.    http://www.netbsd.org/