summaryrefslogtreecommitdiffstats
path: root/README.org
diff options
context:
space:
mode:
Diffstat (limited to 'README.org')
-rw-r--r--README.org69
1 files changed, 69 insertions, 0 deletions
diff --git a/README.org b/README.org
new file mode 100644
index 0000000..2d6027a
--- /dev/null
+++ b/README.org
@@ -0,0 +1,69 @@
1#+TITLE: Rust microbit guix template
2
3* What's that?
4- If you are a hipster like me, and you want to hack on your microbit
5 with Rust using a Guix machine, then you couldn't find better
6 place!! I prepared this repo especially for that case, so you can
7 hop straight to concrete!
8- If you ever use this, let me know. It took some time before I
9 figured out how to do this XD.
10
11* How to run?
12- To pull this repo, you can use =cargo generete=, like this:
13 #+begin_src sh
14 cargo generate --git {{this repo url}}
15 #+end_src
16
17- You need to have a rustup guix channel pulled:
18 #+begin_src scheme
19 ;; ~/.config/guix/channels.scm
20 (cons (channel
21 (name 'rustup)
22 (url "https://github.com/declantsien/guix-rustup")
23 (introduction
24 (make-channel-introduction
25 "325d3e2859d482c16da21eb07f2c6ff9c6c72a80"
26 (openpgp-fingerprint
27 "F695 F39E C625 E081 33B5 759F 0FC6 8703 75EF E2F5"))))
28 %default-channels)
29 #+end_src
30
31 #+begin_src sh
32 guix pull
33 #+end_src
34
35- Then simply run =./dev-shell.sh= and whole dev environment should be
36 working!
37
38- To compile and write program on microbit, you can run this command: =cargo embed=
39
40* Next
41- You can learn more here: [[https://docs.rust-embedded.org/discovery/microbit/index.html][Rust embedded discovery book]]
42
43* Extra
44- At the time I wrote this and everything was working fine, I was using these channels:
45 #+begin_src scheme
46 ;; ~/.config/guix/channels.scm
47 (list (channel
48 (name 'rustup)
49 (url "https://github.com/declantsien/guix-rustup")
50 (branch "master")
51 (commit
52 "190a3e434eea18135a9bb44a7bc61ca023d72dbe")
53 (introduction
54 (make-channel-introduction
55 "325d3e2859d482c16da21eb07f2c6ff9c6c72a80"
56 (openpgp-fingerprint
57 "F695 F39E C625 E081 33B5 759F 0FC6 8703 75EF E2F5"))))
58 (channel
59 (name 'guix)
60 (url "https://git.savannah.gnu.org/git/guix.git")
61 (branch "master")
62 (commit
63 "027a35dff89cbb35512afee4f4a78ae103a2f484")
64 (introduction
65 (make-channel-introduction
66 "9edb3f66fd807b096b48283debdcddccfea34bad"
67 (openpgp-fingerprint
68 "BBB0 2DDF 2CEA F6A8 0D1D E643 A2A0 6DF2 A33A 54FA")))))
69 #+end_src