1*feec5e1fSKees Cook# Help: Build a 32-bit image 25d4595dbSRandy DunlapCONFIG_ARCH_RV32I=y 35d4595dbSRandy DunlapCONFIG_32BIT=y 444c1e84aSPalmer Dabbelt# CONFIG_PORTABLE is not set 544c1e84aSPalmer DabbeltCONFIG_NONPORTABLE=y 6