From 77589079543e1e0316d3a2b2175eb8450fc46463 Mon Sep 17 00:00:00 2001 From: Emery Hemingway Date: Fri, 28 Apr 2023 11:44:18 +0100 Subject: [PATCH] Document cachix --- README.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/README.md b/README.md index ee4ce5b..c2067ee 100644 --- a/README.md +++ b/README.md @@ -74,6 +74,14 @@ x86_64-unknown-genode-clang++ -v ## Tips and tricks +### Binary cache + +Binaries and other artifacts are available from [Cachix](https://app.cachix.org/). + +```sh +cachix use sigil +``` + ### How to add missing Genode ports to a Genode depot package? The missing ports as indicated by a depot build failure must be added to