2017-07-23 03:36:37 +02:00
|
|
|
;; Install this file as /etc/guix/machines.scm on berlin.guixsd.org
|
2019-05-08 17:26:11 +02:00
|
|
|
(use-modules (ice-9 match) (srfi srfi-1))
|
2017-07-23 03:36:37 +02:00
|
|
|
|
2017-11-25 23:22:13 +01:00
|
|
|
;; These are all hosted at the MDC in rack A4. They are connected to
|
|
|
|
;; a dedicated VLAN and can only be accessed from berlin.guixsd.org.
|
2017-08-11 20:57:00 +02:00
|
|
|
(define hosts
|
2020-01-19 10:45:08 +01:00
|
|
|
'(;; hydra-guix-04
|
2017-12-04 18:00:14 +01:00
|
|
|
("141.80.167.135"
|
2019-07-18 18:05:25 +02:00
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIIJBS5YOhjngLWE4LEQmsVQ0Oxidy3QfQlyxp+aK0cnf"
|
|
|
|
16)
|
2018-12-17 19:15:13 +01:00
|
|
|
;; hydra-guix-06
|
2017-12-04 18:00:14 +01:00
|
|
|
("141.80.167.137"
|
2019-07-18 18:05:25 +02:00
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIGEvwgtlWCvtZb38cDgICAdIF8KojWCrMBKT2i3fKB+l"
|
|
|
|
16)
|
2018-12-17 19:15:13 +01:00
|
|
|
;; hydra-guix-08
|
2017-12-04 18:00:14 +01:00
|
|
|
("141.80.167.139"
|
2019-07-18 18:05:25 +02:00
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIAcwpKSO33tqW5tnGyk8t0ZBiXqXQnbLqe++XYzpi+vC"
|
|
|
|
16)
|
2018-12-17 19:15:13 +01:00
|
|
|
;; hydra-guix-09
|
2017-12-04 18:00:14 +01:00
|
|
|
("141.80.167.140"
|
2019-07-18 18:05:25 +02:00
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIDiPbdAAWc7YRiDORu4uSjjUXWmGbGwwhVMuclyfeRku"
|
|
|
|
64)
|
2018-12-17 19:15:13 +01:00
|
|
|
;; hydra-guix-10
|
2017-12-04 18:00:14 +01:00
|
|
|
("141.80.167.141"
|
2019-07-18 18:05:25 +02:00
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIIyuS1MndiMbm3prey/2ccBidoz23nM6DAsurl9Yb7g6"
|
|
|
|
16)
|
2018-12-17 19:15:13 +01:00
|
|
|
;; hydra-guix-11
|
2017-12-04 18:00:14 +01:00
|
|
|
("141.80.167.142"
|
2019-07-18 18:05:25 +02:00
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIEV/kwYw7DSs0SW+2ckl0nGjdOejcYNqx4nylz73DINp"
|
|
|
|
64)
|
2018-12-17 19:15:13 +01:00
|
|
|
;; hydra-guix-12
|
2017-12-04 08:04:34 +01:00
|
|
|
("141.80.167.143"
|
2019-07-18 18:05:25 +02:00
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIFpNX9c3Gg2W0OHPC5HVPNQmYneve9dzJ2sNOLFVaE8A"
|
|
|
|
64)
|
2018-12-17 19:15:13 +01:00
|
|
|
;; hydra-guix-13
|
2017-12-05 17:30:56 +01:00
|
|
|
("141.80.167.144"
|
2019-07-18 18:05:25 +02:00
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAICKjJaVpqc8gQ9mQaxR/q1mp8ph1Dhc3ppc9c0ndCxll"
|
|
|
|
64)
|
2018-12-17 19:15:13 +01:00
|
|
|
;; hydra-guix-15
|
2017-12-05 17:30:56 +01:00
|
|
|
("141.80.167.146"
|
2019-07-18 18:05:25 +02:00
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJZNXe33AmYuLYRj3l36ISOBARRwWPGmK8Z23Pthy5A+"
|
|
|
|
64)
|
2018-12-17 19:15:13 +01:00
|
|
|
;; hydra-guix-16
|
2017-12-05 17:30:56 +01:00
|
|
|
("141.80.167.147"
|
2019-07-18 18:05:25 +02:00
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIFJCI6Q6Jj0Jgzg3EynK2udulD4ut7jOZd8io+PuNJed"
|
|
|
|
64)
|
2018-12-17 19:15:13 +01:00
|
|
|
;; hydra-guix-18
|
2017-12-05 17:30:56 +01:00
|
|
|
("141.80.167.149"
|
2019-07-18 18:05:25 +02:00
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAICdg/NuiqdpbMW1y00AhyqhBr4J6SeVvDKXQ01m97kZj"
|
|
|
|
16)
|
2018-12-17 19:15:13 +01:00
|
|
|
;; hydra-guix-19
|
2017-11-25 23:16:26 +01:00
|
|
|
("141.80.167.150"
|
2019-07-18 18:05:25 +02:00
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIBIWiJFShafxIcJV12OzzCUczrSD65ftTfFiLRkK188D"
|
|
|
|
64)
|
2018-12-17 19:15:13 +01:00
|
|
|
;; hydra-guix-20
|
2017-11-25 23:16:26 +01:00
|
|
|
("141.80.167.151"
|
2019-07-18 18:05:25 +02:00
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJBTH6H0vtjuNd6Zil9w9iPUbuCUDDd3ZPUQGy75oqE5"
|
|
|
|
16)
|
2018-12-17 19:15:13 +01:00
|
|
|
;; hydra-guix-21
|
2017-12-05 17:31:54 +01:00
|
|
|
("141.80.167.152"
|
2019-07-18 18:05:25 +02:00
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIMR7jHaV2iKH+nbzbmzXawvOCZEYbkQmU840GIDBrIQp"
|
|
|
|
64)
|
2019-08-07 16:08:04 +02:00
|
|
|
;; hydra-guix-22 (slow disk)
|
|
|
|
("141.80.167.153"
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIPNM1227zb06b+f7CaoswoqKVmsqhQbVqSxAmbV76kr6"
|
|
|
|
64)
|
2018-12-17 19:15:13 +01:00
|
|
|
;; hydra-guix-23
|
2017-12-07 09:23:04 +01:00
|
|
|
("141.80.167.154"
|
2019-07-18 18:05:25 +02:00
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJqq+CxIa2bVf7a9hGfyt3kQcEaZhumBa5nPnBq5vnnR"
|
|
|
|
64)
|
2018-12-17 19:15:13 +01:00
|
|
|
;; hydra-guix-24
|
2017-12-07 09:23:04 +01:00
|
|
|
("141.80.167.155"
|
2019-07-18 18:05:25 +02:00
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIMV8v+fL04JUNJK5JLiXFwyFDiXyRkcBqJYCUgTAP0it"
|
|
|
|
64)
|
2018-12-17 19:15:13 +01:00
|
|
|
;; hydra-guix-26
|
2017-12-07 09:38:48 +01:00
|
|
|
("141.80.167.157"
|
2019-07-18 18:05:25 +02:00
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIGquqUVY3cNMomwd4lfgXPRvxJZvvYa7ud67g01b/YTT"
|
2019-12-23 22:35:41 +01:00
|
|
|
64)
|
|
|
|
|
|
|
|
;;; New machines. We should use DNS for them in the future.
|
|
|
|
;; hydra-guix-104
|
|
|
|
("141.80.167.161"
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAINuVkwaeU+ddDpDQoxyFboiBnRNyhGDT8yOy8VAyJxZ6"
|
|
|
|
128)
|
|
|
|
;; hydra-guix-105
|
|
|
|
("141.80.167.162"
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIH9o9VrkR2OKoGeuyJkzSsLIaDVApkbHEQvgr8aywQf8"
|
|
|
|
128)
|
|
|
|
;; hydra-guix-106
|
|
|
|
("141.80.167.163"
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIBWN8i6YSGaRddTUgjodvQ4+g+6qYRe+0t9Mi8zOXawG"
|
|
|
|
128)
|
|
|
|
;; hydra-guix-107
|
|
|
|
("141.80.167.164"
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAII+nI0XnLKShi3tZEdPdEVQ1VLlZjgQNSKMTK55FwH/4"
|
|
|
|
128)
|
|
|
|
;; hydra-guix-108
|
|
|
|
("141.80.167.165"
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIHvMT+OlslyCzp7PvIvG/m9aCNhk3jnGS4kh8Cxh26CK"
|
|
|
|
128)
|
|
|
|
;; hydra-guix-109
|
|
|
|
("141.80.167.166"
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIHkmH+o9P2kmgtjyGU9/vLEmFbxwUlq62lWu3lLc1J5o"
|
|
|
|
128)
|
|
|
|
;; hydra-guix-110
|
|
|
|
("141.80.167.167"
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIM2A2GxCw3oF6W2a5P9/K/jw1BWNJdAy9cr7NLRWvHVl"
|
|
|
|
128)
|
|
|
|
;; hydra-guix-111
|
|
|
|
("141.80.167.168"
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAILJoZitLeltTfd7dDAnRbuP1uCWmTsYjIKALcadXknMl"
|
|
|
|
128)
|
|
|
|
;; hydra-guix-112
|
|
|
|
("141.80.167.169"
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIFS6PDp6MVutJiieJgDaLvub83oeTvWYLJnELxqCyO7x"
|
|
|
|
128)
|
|
|
|
;; hydra-guix-113
|
|
|
|
("141.80.167.170"
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIMn5ujp4uTRVwYGPr2kgh7YMXISj+WyRxe8cGxzb1KrL"
|
|
|
|
128)
|
|
|
|
;; hydra-guix-115
|
|
|
|
("141.80.167.172"
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIG9zXGZ5b6QroN4RybnKLIMZwKtFuMpsNypkUXdFmH88"
|
|
|
|
128)
|
|
|
|
;; hydra-guix-116
|
|
|
|
("141.80.167.173"
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIFg0y4UyuTkYoa3hwqj2ByQXYBMQdbPKz7nEz7I1lquL"
|
|
|
|
128)
|
|
|
|
;; hydra-guix-117
|
|
|
|
("141.80.167.174"
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAINPPjhX6Z3bgt7EZmIfUdsgFnqp3yLr4msccjwsD2Q8F"
|
|
|
|
128)
|
|
|
|
;; hydra-guix-118
|
|
|
|
("141.80.167.175"
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJfJfTctnzEzVBLZxIq4WIOWY0s9JHcvIztdIYSFlklH"
|
|
|
|
128)
|
|
|
|
;; hydra-guix-119
|
|
|
|
("141.80.167.176"
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIGE6FwL94/YDJIioQsLqh/MnwGcXmKYARd/kBGs+RWM7"
|
|
|
|
128)))
|
|
|
|
|
2017-08-11 20:57:00 +02:00
|
|
|
|
2017-08-11 22:41:31 +02:00
|
|
|
(define template-x86_64
|
|
|
|
(match-lambda
|
2019-12-23 22:35:41 +01:00
|
|
|
;; Prefer building on the new nodes.
|
|
|
|
((name key 128)
|
|
|
|
(build-machine
|
|
|
|
(name name)
|
|
|
|
(user "hydra")
|
|
|
|
(system "x86_64-linux")
|
|
|
|
(host-key key)
|
|
|
|
(compression "no")
|
|
|
|
(speed 3) ;don't increase it too much
|
|
|
|
;or everything goes there
|
|
|
|
(parallel-builds 16)))
|
|
|
|
|
2017-12-16 16:24:05 +01:00
|
|
|
;; Prefer building on the big node.
|
2019-07-18 18:05:25 +02:00
|
|
|
(("141.80.167.132" key _)
|
2017-12-16 16:24:05 +01:00
|
|
|
(build-machine
|
|
|
|
(name "141.80.167.132")
|
|
|
|
(user "hydra")
|
|
|
|
(system "x86_64-linux")
|
|
|
|
(host-key key)
|
|
|
|
(compression "no")
|
2018-04-26 23:01:48 +02:00
|
|
|
(speed 2.2) ;don't increase it too much
|
|
|
|
;or everything goes there
|
2017-12-16 16:24:05 +01:00
|
|
|
(parallel-builds 16)))
|
2019-07-18 18:05:25 +02:00
|
|
|
((ip key 16)
|
|
|
|
(build-machine
|
|
|
|
(name ip)
|
|
|
|
(user "hydra")
|
|
|
|
(system "x86_64-linux")
|
|
|
|
(host-key key)
|
|
|
|
(compression "no")
|
|
|
|
(speed 2)
|
|
|
|
(parallel-builds 2)))
|
|
|
|
((ip key ram)
|
2017-08-11 22:41:31 +02:00
|
|
|
(build-machine
|
|
|
|
(name ip)
|
|
|
|
(user "hydra")
|
|
|
|
(system "x86_64-linux")
|
|
|
|
(host-key key)
|
2017-11-01 15:52:00 +01:00
|
|
|
(compression "no")
|
2017-08-11 22:41:31 +02:00
|
|
|
(speed 2)
|
|
|
|
(parallel-builds 2)))))
|
2017-07-23 03:36:37 +02:00
|
|
|
|
2017-08-11 22:41:31 +02:00
|
|
|
(define (x86_64->i686 machine)
|
|
|
|
(build-machine (inherit machine)
|
|
|
|
(system "i686-linux")))
|
2017-07-23 03:36:37 +02:00
|
|
|
|
2018-11-13 23:07:35 +01:00
|
|
|
(define (aarch64->armhf machine)
|
|
|
|
(build-machine
|
|
|
|
(inherit machine)
|
|
|
|
(system "armhf-linux")
|
|
|
|
(speed .9)
|
|
|
|
(parallel-builds 1))) ;limit to favor the "real" ARMv7 machines
|
|
|
|
|
2019-05-08 17:26:11 +02:00
|
|
|
(define (x86_64->qemu-armhf machine)
|
|
|
|
(build-machine
|
|
|
|
(inherit machine)
|
|
|
|
(system "armhf-linux")
|
|
|
|
(speed .9)
|
|
|
|
(parallel-builds 1)))
|
|
|
|
|
|
|
|
(define (x86_64->qemu-aarch64 machine)
|
|
|
|
(build-machine
|
|
|
|
(inherit machine)
|
|
|
|
(system "aarch64-linux")
|
|
|
|
(speed .9)
|
|
|
|
(parallel-builds 1)))
|
|
|
|
|
2018-04-26 22:58:23 +02:00
|
|
|
(define overdrive
|
2018-01-18 15:16:55 +01:00
|
|
|
;; The SoftIron OverDrive 1000 donated by ARM:
|
|
|
|
;; <https://softiron.com/development-tools/overdrive-1000/>.
|
2018-04-26 22:58:23 +02:00
|
|
|
(list (build-machine
|
|
|
|
;; 91.160.117.201 or 2a01:e0a:1d:7270:af76:b9b:ca24:c465
|
|
|
|
(name "overdrive1.guixsd.org")
|
|
|
|
(port 52522)
|
|
|
|
(user "hydra")
|
|
|
|
(system "aarch64-linux")
|
|
|
|
(host-key
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIPf2f93c90oi9s9qGVGWC3sDgG7kEBvIEwR021NsfG+z root@overdrive")
|
|
|
|
(parallel-builds 2))
|
|
|
|
|
2019-05-08 17:28:50 +02:00
|
|
|
(build-machine
|
|
|
|
;; 80.67.176.63
|
|
|
|
(name "dover.guix.info")
|
|
|
|
(port 9023)
|
|
|
|
(user "hydra")
|
|
|
|
(system "aarch64-linux")
|
|
|
|
(host-key
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIJLRYD5RXZ3Espe+Kv1SzZl8Qc3NZ356Bq+cGjnKsDHY root@linux")
|
|
|
|
(parallel-builds 2))
|
|
|
|
|
2018-04-26 22:58:23 +02:00
|
|
|
(build-machine
|
2019-07-18 22:26:37 +02:00
|
|
|
;; 89.92.10.229
|
|
|
|
(name "rennes.lepiller.eu")
|
|
|
|
(port 2222)
|
2018-04-26 22:58:23 +02:00
|
|
|
(user "hydra")
|
|
|
|
(system "aarch64-linux")
|
|
|
|
(host-key
|
2019-07-18 22:26:37 +02:00
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIIXfDYhBeVH0GenVp8PplaRF1jtNSOdLeNWf2k8G7K71 root@gnu")
|
2019-08-04 19:35:23 +02:00
|
|
|
(parallel-builds 2))
|
|
|
|
|
2019-09-09 21:41:31 +02:00
|
|
|
;; Note: Temporary SSH tunnel set up for {dmitri,sergei}.
|
2019-08-04 19:35:23 +02:00
|
|
|
(build-machine
|
|
|
|
;; Dynamic IP.
|
2019-09-09 21:41:31 +02:00
|
|
|
;; (name "dmitri.tobias.gr")
|
|
|
|
;; (port 5552)
|
|
|
|
(name "localhost") (port 2223)
|
2019-08-04 19:35:23 +02:00
|
|
|
(user "hydra")
|
|
|
|
(system "aarch64-linux")
|
|
|
|
(host-key
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAICqbQjcGAlYRunem82lXhc0T0xWWQUh53UPXzZzBePVQ nckx@dmitri.tobias.gr")
|
|
|
|
(parallel-builds 2))
|
|
|
|
|
|
|
|
(build-machine
|
|
|
|
;; Dynamic IP.
|
2019-09-09 21:41:31 +02:00
|
|
|
;; (name "sergei.tobias.gr")
|
|
|
|
;; (port 5551)
|
|
|
|
(name "localhost") (port 2222)
|
2019-08-04 19:35:23 +02:00
|
|
|
(user "hydra")
|
|
|
|
(system "aarch64-linux")
|
|
|
|
(host-key
|
|
|
|
"ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIMbnlRcOJwtlNVc3LcEgagqXNEWya666RiwBHImXtjUJ nckx@sergei.tobias.gr")
|
2018-04-26 22:58:23 +02:00
|
|
|
(parallel-builds 2))))
|
|
|
|
|
2018-11-13 23:07:35 +01:00
|
|
|
(define armv7
|
|
|
|
(list
|
|
|
|
;; BeagleBoard (2 cores) kindly hosted by Simon Josefsson.
|
|
|
|
(build-machine
|
|
|
|
(name "x15.sjd.se")
|
|
|
|
(user "hydra")
|
|
|
|
(system "armhf-linux")
|
2019-07-18 22:28:10 +02:00
|
|
|
(host-key "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAILvy4tWBLfuBGB2Q8S5q0CeKLaD9w4hAG5PU/+nTD6e2 root@BeagleBoard-X15"))
|
|
|
|
|
|
|
|
(build-machine
|
2019-08-07 13:10:00 +02:00
|
|
|
(name "hydra-slave1.netris.org")
|
|
|
|
(port 7275)
|
2019-07-18 22:28:10 +02:00
|
|
|
(user "hydra")
|
|
|
|
(system "armhf-linux")
|
|
|
|
(host-key "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIPDAe9mXufZXFfFlezafA/G2Nng66ssLLi5xPP+9NhGm root@hydra-slave1")
|
|
|
|
(speed 1.0)
|
|
|
|
(parallel-builds 2))
|
|
|
|
|
2019-07-19 14:28:11 +02:00
|
|
|
(build-machine
|
2019-08-07 13:10:00 +02:00
|
|
|
(name "hydra-slave2.netris.org")
|
|
|
|
(port 7276)
|
2019-07-19 14:28:11 +02:00
|
|
|
(user "hydra")
|
|
|
|
(system "armhf-linux")
|
|
|
|
(host-key "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIHzlJZzZfPiEcehmLFtQVYVt3j9w4DHPL6YgSC3EHJK+ root@hydra-slave2")
|
|
|
|
(speed 1.0)
|
|
|
|
(parallel-builds 2))
|
|
|
|
|
2019-07-18 22:28:10 +02:00
|
|
|
(build-machine
|
2019-08-07 13:10:00 +02:00
|
|
|
(name "hydra-slave3.netris.org")
|
|
|
|
(port 7274)
|
2019-07-18 22:28:10 +02:00
|
|
|
(user "hydra")
|
|
|
|
(system "armhf-linux")
|
|
|
|
(host-key "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIBLOVhnS24E+Z1bXLUU4z4gE5+HsFxDxUPA6MbLHmnME root@hydra-slave3")
|
|
|
|
(speed 1.0)
|
|
|
|
(parallel-builds 2)))
|
2018-11-13 23:07:35 +01:00
|
|
|
|
2018-01-18 15:16:55 +01:00
|
|
|
|
2017-08-11 22:41:31 +02:00
|
|
|
(let ((x86_64 (map template-x86_64 hosts)))
|
2018-11-13 23:19:12 +01:00
|
|
|
(append overdrive (map aarch64->armhf overdrive)
|
2018-11-13 23:07:35 +01:00
|
|
|
armv7
|
2019-05-08 17:26:11 +02:00
|
|
|
x86_64 (map x86_64->i686 x86_64)
|
|
|
|
(map x86_64->qemu-aarch64 (take (drop x86_64 5) 5))
|
|
|
|
(map x86_64->qemu-armhf (take x86_64 5))))
|
|
|
|
|