Luis R. Rodriguez 6c6685055a kconfig: add xenconfig defconfig helper %!s(int64=10) %!d(string=hai) anos
..
tiny.config 0da1d4a0b9 x86: Add "make tinyconfig" to configure the tiniest possible kernel %!s(int64=11) %!d(string=hai) anos
xen.config 6c6685055a kconfig: add xenconfig defconfig helper %!s(int64=10) %!d(string=hai) anos