From 5f7e670ebcccf050e235663f9c647efba9dc6f31 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Tue, 9 Jun 2020 14:27:36 +0200 Subject: [PATCH] release_notes: fix Sculpt ARM 64 topic branch link --- doc/release_notes-20-02.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/release_notes-20-02.txt b/doc/release_notes-20-02.txt index 3d8c064fe..463cb2a07 100644 --- a/doc/release_notes-20-02.txt +++ b/doc/release_notes-20-02.txt @@ -274,7 +274,7 @@ generates configurations for some of those drivers. For the time being, the changes to the Sculpt manager are not yet part of the official release. Nevertheless, you can produce a Sculpt OS image to be run on an i.MX 8M EVK board by using the following -[https://github.com/skalk/sculpt_20.02_imx8q_evk/ - topic branch]. +[https://github.com/skalk/genode/commits/sculpt_20.02_imx8q_evk - topic branch]. Alternatively, you can also have a look at Sculpt OS on ARMv8 hardware by following the video recordings of the following talk at FOSDEM 2020.