docs/tutorials/edk2-uefi: use python syntax for Simics scripts

Author: Wenzel

docs/src/tutorials/edk2-uefi/configuring-the-fuzzer.md

@@ -95,14 +95,14 @@ script, we'll add each of the following lines.
 
 First, we need to create an actual `tsffs` object to instantiate the fuzzer.
 
-```simics
+```python
 load-module tsffs # You should already have this
 init-tsffs
 ```
 
 Next, we'll set the log level to maximum for demonstration purposes:
 
-```simics
+```python
 tsffs.log-level 4
 ```
 
@@ -111,7 +111,7 @@ into our UEFI application. This is the default, so these calls can be skipped in
 usage unless you want to change the defaults, they are just provided here for
 completeness.
 
-```simics
+```python
 @tsffs.start_on_harness = True
 @tsffs.stop_on_harness = True
 ```
@@ -121,7 +121,7 @@ fuzz for. In our case, these are timeouts (we'll set the timeout to 3 seconds) t
 hangs, and CPU exceptions. we'll enable exceptions 13 for general protection fault and
 14 for page faults to detect out of bounds reads and writes.
 
-```simics
+```python
 @tsffs.timeout = 3.0
 @tsffs.exceptions = [13, 14]
 ```
@@ -131,14 +131,14 @@ take its corpus from the `corpus` directory and save solutions to the `solutions
 directory in the project by default, so this call can be skipped in real usage unless
 you want to change the defaults.
 
-```simics
+```python
 @tsffs.corpus_directory = SIM_lookup_file("%simics%/corpus")
 @tsffs.solutions_directory = SIM_lookup_file("%simics%/solutions")
 ```
 
 We'll also *delete* the following code from the `run.simics` script:
 
-```simics
+```python
 script-branch {
   bp.time.wait-for seconds = 30
   quit 0

docs/src/tutorials/edk2-uefi/testing-the-application.md

@@ -55,7 +55,7 @@ Our initial script will load (but not use *yet*) the TSFFS module, then configur
 start our simple x86-64 platform and run our UEFI application. In the `project`
 directory, create `run.simics`:
 
-```simics
+```python
 # Load the TSFFS module (to make sure we can load it)
 load-module tsffs