update csp_proc docs and add examples

.gitmodules

@@ -1,3 +1,4 @@
 [submodule "doc/disco-2/sub-docs/csp_proc"]
 	path = doc/disco-2/sub-docs/csp_proc
 	url = https://github.com/discosat/csp_proc.git
+	branch = gh-pages

doc/disco-2/software/flight-planning-csp-proc.rst

@@ -1,4 +1,4 @@
-Flight planning (csp_proc)
+Flight planning (`csp_proc`)
 ======================
 
 
@@ -9,4 +9,67 @@ Flight planning (csp_proc)
 
    ../sub-docs/csp_proc/index
    ../sub-docs/csp_proc_function_reference.rst
-
+
+
+In the context of DISCO-II, `csp_proc` lives on the Cortex-M7 node, which will expose the following parameters (NOTE: not yet finalized, but this is what we are aiming for):
+
+   - ``gnss_fix``: bool (description: GNSS fix status)
+   - ``gnss_lat``: double (description: latitude in ?)
+   - ``gnss_lon``: double (description: longitude in ?)
+   - ``gnss_alt``: double (description: altitude in ?)
+   - ``gnss_time``: int (description: GNSS time in ?)
+..
+
+   - ``tmu_reading``: int (description: on-chip temperature reading in degrees K)
+..
+
+   - ``a53_status``: int (description: status of the A53 node - 0: suspend, 1: on)
+   - ``wake_a53``: int (description: will send wake signal to A53 over MU - triggered via libparam callback)
+..
+
+   - ``uint8_gpr``: uint8[128] (description: general purpose register for use with `csp_proc`)
+   - ``uint32_gpr``: uint32[64] (description: general purpose register for use with `csp_proc`)
+   - ``uint64_gpr``: uint64[64] (description: general purpose register for use with `csp_proc`)
+..
+
+   - ``int8_gpr``: int8[128] (description: general purpose register for use with `csp_proc`)
+   - ``int32_gpr``: int32[64] (description: general purpose register for use with `csp_proc`)
+   - ``int64_gpr``: int64[64] (description: general purpose register for use with `csp_proc`)
+..
+
+   - ``float_gpr``: float[128] (description: general purpose register for use with `csp_proc`)
+   - ``double_gpr``: double[64] (description: general purpose register for use with `csp_proc`)
+
+
+A simple observation sequence based on time might simply look like the following. Nodes are abbreviated so ``$M7`` is the Cortex-M7 node, ``$A53`` is the Cortex-A53 node, ``$CAM`` is the camera control node and ``$DIPP`` is the image processing node.
+
+.. code::
+
+   proc new
+
+   # [START] Observation procedure
+   proc set uint32_gpr[0] 1744407764 $M7  # This is the GNSS time we want to start the observation
+   proc block gnss_time >= uint32_gpr[0] $M7
+   proc set wake_a53 1 $M7
+
+   proc set uint8_gpr[0] 1 $M7  # Use GPR for following comparison
+   proc block a53_status == uint8_gpr[0] $M7
+   proc set mng_camera_control $CAM $A53  # Start camera control node
+   proc set mng_dipp $DIPP $A53  # Start image processing node
+
+   proc unop gnss_time idt uint32_gpr[1] $M7  # Log the time of the observation
+
+   proc set capture_param "CAMERA_TYPE=VMB;CAMERA_ID=1800 U-2040c;NUM_IMAGES=1;EXPOSURE=55000;ISO=0;" $CAM  # Take a single image
+   proc set pipeline_run 1 $DIPP  # Run image processing pipeline
+   proc set uint8_gpr[1] 0 $M7  # Use GPR for following comparison
+   proc block pipeline_run == 0 $DIPP  # Wait for image processing to finish
+
+   # Optionally kill camera control and dipp processes
+   proc set mng_camera_control 0 $A53  # Stop camera control node
+   proc set mng_dipp 0 $A53  # Stop image processing node
+
+   proc set suspend_a53 1 $A53  # Suspend A53 node
+   # [END] Observation procedure
+
+   proc push 42 $M7
+   proc run 42 $M7