//
// Copyright (c) Microsoft Corporation.    All rights reserved.
//

namespace Microsoft.NohauLPC3180
{
    using System;

    using RT           = Microsoft.Zelig.Runtime;
    using TS           = Microsoft.Zelig.Runtime.TypeSystem;
    using ChipsetModel = Microsoft.DeviceModels.Chipset.LPC3180;


    public sealed class ThreadManager : ChipsetModel.Runtime.ThreadManager
    {
    }
}
