From f33b5b4a9e63b969fac45a31bb83c71136b44e8f Mon Sep 17 00:00:00 2001
From: Sam Leffler <sleffler@google.com>
Date: Mon, 25 Jul 2022 23:00:18 +0000
Subject: [PATCH] rust.cmake: add comment pointing to CAmkES setting of
 --tls-model

Change-Id: I5b2674ef86b9a5c35f441666a9d3ec55cd591f7e
GitOrigin-RevId: 32312f93e053ea0579cb6d98e9fc991ba325ddb2
---
 apps/system/rust.cmake | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/apps/system/rust.cmake b/apps/system/rust.cmake
index 23bf1aa..ff47d1d 100644
--- a/apps/system/rust.cmake
+++ b/apps/system/rust.cmake
@@ -7,7 +7,8 @@
 cmake_minimum_required(VERSION 3.8.2)
 include_guard(GLOBAL)
 
-# Force TLS-model to be compatible with CAmkES usage.
+# Force TLS-model to be compatible with CAmkES usage (see
+# tools/seL4/camkes-tool/helpers/environment_flags.cmake).
 # NB: we cannot use CARGO_OPTIONS, cargo will strip it out
 set(RUSTFLAGS "-Z tls-model=local-exec" CACHE INTERNAL "rustc env flags")