ccsds handler

linux/fsfwconfig/OBSWConfig.h.in

@@ -86,6 +86,7 @@ debugging. */
 #define OBSW_TEST_TE7020_HEATER                     0
 #define OBSW_TEST_GPIO_OPEN_BY_LABEL                0
 #define OBSW_TEST_GPIO_OPEN_BY_LINE_NAME            0
+#define OBSW_LINK_IS_UP					            0
 
 #define OBSW_DEBUG_P60DOCK                          0
 #define OBSW_DEBUG_PDU1                             0

linux/obc/PapbVcInterface.cpp

@@ -26,7 +26,7 @@ ReturnValue_t PapbVcInterface::write(const uint8_t * data, size_t size) {
             *(vcBaseReg + DATA_REG_OFFSET) = static_cast<uint32_t>(*(data + idx));
         }
         else {
-            sif::warning << "PapbVcInterface::sendTm: Only written " << idx - 1 << " of "
+            sif::warning << "PapbVcInterface::write: Only written " << idx << " of "
                     << size << " data" << std::endl;
             return RETURN_FAILED;
         }

linux/obc/Ptme.h

@@ -48,9 +48,13 @@ private:
 
     static const ReturnValue_t UNKNOWN_VC_ID = MAKE_RETURN_CODE(0xA0);
 
-
+#if BOARD_TE0720 == 1
+    /** Size of mapped address space */
+    static const int MAP_SIZE = 0x1000;
+#else
     /** Size of mapped address space */
     static const int MAP_SIZE = 0x40000;
+#endif /* BOARD_TE0720 == 1 */
 
     /**
      * Configuration bits: