Clone of official tools

Revision:
13:ab47a20b66f0
Parent:
0:66f3b5499f7f
Child:
29:1210849dba19
--- a/paths.py	Tue Jun 14 11:33:06 2016 +0100
+++ b/paths.py	Thu Jul 14 20:21:19 2016 +0100
@@ -31,7 +31,7 @@
 TOOLS_BOOTLOADERS = join(TOOLS, "bootloaders")
 
 # mbed libraries
-MBED_BASE = join(ROOT, "sdk")
+MBED_BASE = join(ROOT, "hal")
 
 MBED_API = join(MBED_BASE, "api")
 MBED_COMMON = join(MBED_BASE, "common")
@@ -50,7 +50,7 @@
 RPC_LIBRARY = join(BUILD_DIR, "rpc")
 
 # mbed RTOS
-RTOS = join(LIB_DIR, "rtos")
+RTOS = join(ROOT, "rtos")
 MBED_RTX = join(RTOS, "rtx")
 RTOS_ABSTRACTION = join(RTOS, "rtos")