diff --git a/.gitignore b/.gitignore
index 5a57948f..05b34134 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,4 @@
 build/
 runtime/src/pl.rs
 target/
+__pycache__
diff --git a/examples/blink_forever.py b/examples/blink_forever.py
new file mode 100644
index 00000000..52a66de1
--- /dev/null
+++ b/examples/blink_forever.py
@@ -0,0 +1,14 @@
+from artiq.experiment import *
+
+
+class BlinkForever(EnvExperiment):
+    def build(self):
+        self.setattr_device("core")
+        self.setattr_device("led0")
+
+    @kernel
+    def run(self):
+        self.core.reset()
+        while True:
+            self.led0.pulse(100*ms)
+            delay(100*ms)
diff --git a/examples/device_db.py b/examples/device_db.py
new file mode 100644
index 00000000..110c19f1
--- /dev/null
+++ b/examples/device_db.py
@@ -0,0 +1,38 @@
+device_db = {
+    "core": {
+        "type": "local",
+        "module": "artiq.coredevice.core",
+        "class": "Core",
+        "arguments": {
+            "host": "192.168.1.52",
+            "ref_period": 1e-9,
+            "ref_multiplier": 1,
+            "target": "cortexa9"
+        }
+    },
+
+    "led0": {
+        "type": "local",
+        "module": "artiq.coredevice.ttl",
+        "class": "TTLOut",
+        "arguments": {"channel": 0},
+    },
+    "led1": {
+        "type": "local",
+        "module": "artiq.coredevice.ttl",
+        "class": "TTLOut",
+        "arguments": {"channel": 1},
+    },
+    "led2": {
+        "type": "local",
+        "module": "artiq.coredevice.ttl",
+        "class": "TTLOut",
+        "arguments": {"channel": 2}
+    },
+    "led3": {
+        "type": "local",
+        "module": "artiq.coredevice.ttl",
+        "class": "TTLInOut",
+        "arguments": {"channel": 3}
+    },
+}
diff --git a/shell.nix b/shell.nix
index 5184b66a..e3ba2e64 100644
--- a/shell.nix
+++ b/shell.nix
@@ -36,12 +36,12 @@ in
       rustcSrc
       pkgs.cargo-xbuild
 
-      pkgs.pkgsCross.armv7l-hf-multiplatform.buildPackages.gcc
       pkgs.openocd
       pkgs.gdb
 
       (pkgs.python3.withPackages(ps: (with artiqpkgs; [ migen migen-axi misoc artiq ])))
       vivado
+      artiqpkgs.binutils-arm
     ];
 
     XARGO_RUST_SRC = "${rustcSrc}/src";