update seabios to 1.7.5.1 stable release
[qemu.git] / default-configs / ppc64abi32-linux-user.mak
1 # Default configuration for ppc64abi32-linux-user
2 CONFIG_LIBDECNUMBER=y