]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/mk/defconfig/config.ppc32
update
[l4.git] / l4 / mk / defconfig / config.ppc32
index a9a7c01748d1c344d9e9108ac29191805ec56272..5f38b615c41a6d398f133d92bc53e19db075b44b 100644 (file)
@@ -6,6 +6,7 @@
 # CONFIG_BUILD_ARCH_amd64 is not set
 # CONFIG_BUILD_ARCH_arm is not set
 CONFIG_BUILD_ARCH_ppc32=y
+# CONFIG_BUILD_ARCH_sparc is not set
 CONFIG_BUILD_ARCH="ppc32"
 CONFIG_BUILD_ABI_l4f=y
 CONFIG_BUILD_ABI="l4f"