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


namespace Microsoft.CortexM4OnMBED
{
    using RT      = Microsoft.Zelig.Runtime;
    using Chipset = Microsoft.CortexM3OnMBED;


    public abstract class ThreadManager : Chipset.ThreadManager
    {
    }
}
