Devel (#3)

* Fault thread when done

* Move sel4twinkle-alloc to its own repo crate

* Cleanup notes

* Update README

Author: jonlamb-gh

Cargo.lock

@@ -4,12 +4,13 @@ version = "0.0.1"
 authors = ["jonlamb-gh <[email protected]>"]
 
 [dependencies]
-# tracked as a submodule currently
-#libsel4-sys = {git = "https://github.com/jonlamb-gh/libsel4-sys.git", branch = "devel"}
-libsel4-sys = {path = "libsel4-sys"}
+libsel4-sys = {git = "https://github.com/jonlamb-gh/libsel4-sys.git", branch = "devel"}
 rlibc = "1.0"
-# TODO - move to a real repo
-sel4twinkle-alloc = {path = "sel4twinkle-alloc"}
+sel4twinkle-alloc = {git = "https://github.com/jonlamb-gh/sel4twinkle-alloc-rs.git", branch = "master"}
+
+# tracked as a submodule currently so I can apply patches for SoloX platform support
+[patch."https://github.com/jonlamb-gh/libsel4-sys.git"]
+libsel4-sys = {path = "libsel4-sys"}
 
 [dependencies.wee_alloc]
 version = "0.4"

Cargo.toml

@@ -22,7 +22,9 @@ A bare metal Rust cortex-m project runs on the M4 core.
 
 ## Building
 
-** REQUIRES a cargo-fel4 that doesn't overwrite the root-task.rs **
+**NOTE**: requires a cargo-fel4 that does not overwrite the `src/bin/root-task.rs` file
+
+Here's a [branch](https://github.com/jonlamb-gh/cargo-fel4/tree/keep-root-rask-for-development) I use.
 
 Note that the L2 cache memory is currently defined as OCRAM for the M4 core.
 
@@ -117,7 +119,9 @@ copying M4 binary to TCM - 3044 bytes
 enabling and starting the M4 core
 waiting for SRC_SCR reset auto-clear (bit 3) to clear
 
-thread work all done, sitting on loop
+thread work all done, going to fault now
+
+!!! Fault from badge 0xBEEF
 ```
 
 On UART2 (M4) console: