Fix for bug 2283 (RVCT 4.0 support is missing from PDK 3.0.h)
Have multiple extension sections in the bld.inf, one for each version
of the compiler. The RVCT version building the tools will build the
runtime libraries for its version, but make sure we extract all the other
versions from zip archives. Also add the archive for RVCT4.
// Copyright (c) 2008-2009 Nokia Corporation and/or its subsidiary(-ies).
// All rights reserved.
// This component and the accompanying materials are made available
// under the terms of the License "Eclipse Public License v1.0"
// which accompanies this distribution, and is available
// at the URL "http://www.eclipse.org/legal/epl-v10.html".
//
// Initial Contributors:
// Nokia Corporation - initial contribution.
//
// Contributors:
//
// Description:
//
#define EKernelConfigCrazyScheduling 8
#define EKernelConfigSMPUnsafeCompat 12
#define EKernelConfigSMPUnsafeCPU0 13
#define EKernelConfigSMPCrazyInterrupts 14
#define EKernelConfigDisableAPs 30
#define CRAZYSCHEDULING(state) kernelconfig EKernelConfigCrazyScheduling state
#define SMPUNSAFECOMPAT(state) kernelconfig EKernelConfigSMPUnsafeCompat state
#define SMPUNSAFECPU0(state) kernelconfig EKernelConfigSMPUnsafeCPU0 state
#define CRAZYINTERRUPTS(state) kernelconfig EKernelConfigSMPCrazyInterrupts state
#define SMP_USE_BP_ONLY(state) kernelconfig EKernelConfigDisableAPs state