-
Notifications
You must be signed in to change notification settings - Fork 0
/
provider.py
33 lines (26 loc) · 999 Bytes
/
provider.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
# Copyright (C) 2013,2015 ARM Limited. All rights reserved.
from osapi import *
from contexts import ContextsProvider
from com.arm.debug.extension import DebugSessionException
from tasks import Tasks
from timers import Timers
from stacks import Stacks
from mailboxes import Mailboxes
from messagequeues import MessageQueues
from memorypools import MemoryPools
from mutexes import Mutexes
from semaphores import Semaphores
from system import System
from rtxInfo import Rtx5
# this script effectively implements com.arm.debug.extension.os.IOSProvider
def getOSContextProvider():
return ContextsProvider()
def getDataModel():
return Model("mbedos5", [Tasks(), Timers(), Stacks(), MemoryPools(), Mailboxes(), MessageQueues(), Mutexes(), Semaphores(), System()])
def isOSInitialised(debugger):
try:
return Rtx5.isKernelInitialised(debugger)
except DebugSessionException:
return False;
def areOSSymbolsLoaded(debugger):
return debugger.symbolExists("osRtxInfo")