aboutsummaryrefslogtreecommitdiff
path: root/book/en/src/internals/ceilings.md
diff options
context:
space:
mode:
authorHenrik Tjäder <henrik@tjaders.com>2020-06-11 17:18:29 +0000
committerHenrik Tjäder <henrik@tjaders.com>2020-06-11 17:18:29 +0000
commit602a5b4374961dbcf7f3290053ab9b01f0622c67 (patch)
treed3e64006a7b310d34d82df7aa2a4467c03595e55 /book/en/src/internals/ceilings.md
parent4a0393f756cc3ccd480f839eb6b6a9349326fe8e (diff)
Rename RTFM to RTIC
Diffstat (limited to 'book/en/src/internals/ceilings.md')
-rw-r--r--book/en/src/internals/ceilings.md6
1 files changed, 3 insertions, 3 deletions
diff --git a/book/en/src/internals/ceilings.md b/book/en/src/internals/ceilings.md
index 6b0530c..49d248a 100644
--- a/book/en/src/internals/ceilings.md
+++ b/book/en/src/internals/ceilings.md
@@ -2,10 +2,10 @@
A resource *priority ceiling*, or just *ceiling*, is the dynamic priority that
any task must have to safely access the resource memory. Ceiling analysis is
-relatively simple but critical to the memory safety of RTFM applications.
+relatively simple but critical to the memory safety of RTIC applications.
To compute the ceiling of a resource we must first collect a list of tasks that
-have access to the resource -- as the RTFM framework enforces access control to
+have access to the resource -- as the RTIC framework enforces access control to
resources at compile time it also has access to this information at compile
time. The ceiling of the resource is simply the highest logical priority among
those tasks.
@@ -27,7 +27,7 @@ gets a unique reference (`&mut-`) to resources.
An example to illustrate the ceiling analysis:
``` rust
-#[rtfm::app(device = ..)]
+#[rtic::app(device = ..)]
const APP: () = {
struct Resources {
// accessed by `foo` (prio = 1) and `bar` (prio = 2)