From ee0200ef35f086dcb6862deae831053e6f79ca3a Mon Sep 17 00:00:00 2001 From: Vagrant Cascadian Date: Thu, 5 Oct 2017 10:58:12 -0700 Subject: reproducible debian: Rename armhf host odxu4 to odxu4a. Signed-off-by: Mattia Rizzolo --- README.infrastructure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README.infrastructure') diff --git a/README.infrastructure b/README.infrastructure index e6c5360a..04632dea 100644 --- a/README.infrastructure +++ b/README.infrastructure @@ -57,7 +57,7 @@ worth a try. A small number of the names listed in cereal differ slightly from the names used natively... partly due to bugs in cereal. They should be -fairly obvious (e.g. odxu4a vs. odxu4). +fairly obvious (e.g. bpi0a vs. bpi0, hb0a vs. hb0). The serial console access is still read-only, not actually interacting with the console; think this is a limitation of the way "cereal" -- cgit v1.2.3-70-g09d2