diff --git a/libs/core/dal.d.ts b/libs/core/dal.d.ts
index 626e6730..f5f27ed7 100644
--- a/libs/core/dal.d.ts
+++ b/libs/core/dal.d.ts
@@ -377,6 +377,10 @@ declare const enum DAL {
     MICROBIT_PIN_EVT_PULSE_LO = 5,
     PIN_CAPABILITY_DIGITAL_IN = 0x01,
     PIN_CAPABILITY_DIGITAL_OUT = 0x02,
+    // built/yt/yotta_modules/microbit-dal/inc/drivers/MicroBitQuadratureDecoder.h
+    QDEC_USE_SYSTEM_TICK = 0x01,
+    QDEC_USE_DEBOUNCE = 0x02,
+    QDEC_LED_ACTIVE_LOW = 0x04,
     // built/yt/yotta_modules/microbit-dal/inc/drivers/MicroBitRadio.h
     MICROBIT_RADIO_STATUS_INITIALISED = 0x0001,
     MICROBIT_RADIO_BASE_ADDRESS = 0x75626974,
diff --git a/pxtarget.json b/pxtarget.json
index de723ee9..44f3fba1 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -187,7 +187,7 @@
         "yottaTarget": "bbc-microbit-classic-gcc",
         "yottaCorePackage": "microbit",
         "githubCorePackage": "lancaster-university/microbit",
-        "gittag": "v2.0.0-rc8",
+        "gittag": "v2.0.0-rc9",
         "serviceId": "microbit"
     },
     "serial": {