diff --git a/README.md b/README.md index de2194fe5e866a7b658d3934c36a4e213fbf8407..e3cb93e3e0d4a110cb94c501cfb7231e4e9adc37 100644 --- a/README.md +++ b/README.md @@ -50,7 +50,7 @@ Each project should be reported in terms of a git Rust crate, with sufficient do There will be two presentation rounds (at end of LP2 and LP3). Students taking (too many other) courses during LP2 may choose to present their project at end of LP3 (instead of LP2). Presentations will be oral, where the student(s), will present and demonstrate their work. -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 by providing a front-end to the embedded system. Alternatively, host side project could relate the development of the RTFM-core/ RTFM-CRC frameworks or related tools (e.g. LLWM-KLEE as a backend for analysis of Rust code). +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 by providing a front-end to the embedded system. Alternatively, host side project could relate the development of the RTFM-core/ RTFM-CRC frameworks or related tools (e.g. LLVM-KLEE as a backend for analysis of Rust code). ## Resources Students will carry out the assignments 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 VMware is possible, though debugging of target MCUs are feasible it is a bit more tricky. diff --git a/doc/Quickstart.md b/doc/Quickstart.md index 276306c340899aed2498074d8ea12720362bcca8..1b60519813fcdb32d1bcba3a757be53252ae1f4f 100644 --- a/doc/Quickstart.md +++ b/doc/Quickstart.md @@ -646,7 +646,7 @@ write: Now pick from the menu: `Tasks > Configure Default Build Task...` and pick `xargo build`. Now you should be able to build your project by picking `Tasks > Run Build Task...` from the menu or -by hitting the shorcut `Ctrl + Shift + B`. +by hitting the shortcut `Ctrl + Shift + B`. 