@@ -11,7 +11,7 @@ The course will be given as a self study course with a set of introductional sem
2. Simple applications in Rust
Prmitive types, tupels, structs, enums, etc. Flow control and functions. Marco usage.
Prmitive types, tupels, structs, enums, etc. Flow control and functions. Macro usage.
3. Rust features
...
...
@@ -26,10 +26,13 @@ The course will be given as a self study course with a set of introductional sem
UnsafeCell, and synchronization in the RTFM model. Requirements for Stack Resource Policy (SRP) based single-core scheduling.
7. Macros
Macro_rules/matching and expansion. Procedural macros (macros 2.0). Overview of the Rust RTFM implementation.
8. Building and debugginge embedded code in Rust
Hardware abstractions using svd2rust (autogenerated from vendor provided SVD specifications). Compiling using xargo. Setting up openocd and gdb.
9. Pre-processing
Custom build.rs build scripts, and the RTFM Concurrent Reactive Component model.
...
...
@@ -48,5 +51,11 @@ There will be two presentation rounds (at end of LP2 and LP3). Students taking (
Projects should be related to embedded programming, either on the target side (some application using the RTFM-core or CRC model), or on the host side, communicating with an embedded target running Rust RTFM. E.g., two groups can work together with building a system, e.g., with back-end processing of data collected by the embedded system, or proividing a front-end to the embedded system. Alternatively, host side project could relate the develpment of the RTFM-core/ RTFM-CRC frameworks or related tools (e.g. LLWM-KLEE as a backend for analysis of Rust code).
## Resources
Students will carry out the assignemnts on their personal laptops (in case you don't have a working laptop we will try to lend you one). Tools used are available for linux and osx, but with a bit of trickery windows based installations should be possible (but you are on your own here). In case you don't run osx/linux native, virtual box or wmware is possible, though debugging of target MCUs are feasible it is a bit more tricky.
Embedded targets STM32F401RE (nucleo) will be made available to all students. You will need to get an mini-usb cable yourselves. If you prefer to work with some other ARM Cortex M processor, we will have a look at available support.
<!-- It's very easy to make some words **bold** and other words *italic* with Markdown. You can even [link to Google!](http://google.com) -->
