Merge pull request #3 from ferrous-systems/updates

Updates to slides
ferrous-systems · Oct 19, 2023 · 6259f57 · 6259f57
2 parents 59a1d0d + cab1b3b
commit 6259f57
Show file tree

Hide file tree

Showing 5 changed files with 31 additions and 14 deletions.
diff --git a/src/exploring.md b/src/exploring.md
@@ -32,6 +32,10 @@ html/
 $ open /opt/ferrocene-23.06/share/doc/ferrocene/html/index.html
 ```
 
+## Also available online
+
+See <https://public-docs.ferrocene.dev>
+
 ---
 
 ![The docs page](./images/docs1.png)

diff --git a/src/front-matter.md b/src/front-matter.md
@@ -2,7 +2,7 @@
 
 ## Introduction
 
-In our one hour session on _Why Ferrocene?_ you will learn what Ferrocene is
+In this introductory session titled _Why Ferrocene?_ you will learn what Ferrocene is
 about, where it is from and where it is going, and whether it is right for you
 to look at Ferrocene for your next security-related or safety-critical project.
 The agenda includes a short lecture, a live programming demonstration, and a
@@ -28,7 +28,8 @@ Our standard timetable for this course is as follows:
 
 | Duration | Contents                                             |
 | :------: | :--------------------------------------------------- |
-|   0:05   | Room open, meet and greet                            |
-|   0:20   | Session 1 - What is Ferrocene?                       |
-|   0:20   | Session 2 - A Live Demo                              |
-|   0:15   | Q&A                                                  |
+|   0:10   | Room open, meet and greet                            |
+|   0:30   | Session 1 - What is Ferrocene?                       |
+|   0:05   | Break                                                |
+|   0:30   | Session 2 - A Live Demo                              |
+|   0:15   | Q&A and Close                                        |
diff --git a/src/iso26262.md b/src/iso26262.md
@@ -63,10 +63,18 @@ So, far they say:
 > ...from the general approach, structure, format and contents of the
 > provided artifacts there no major questions or anything missing.
 
-The final qualification results will be announced in due course.
+The qualification certificate is expected very soon.
 
 ## And I get?
 
-You can purchase from us the digitally-signed Qualification Documents. You can
-then provide these to *your* assessor when certifying *your* development
-process.
+You can purchase from us the digitally-signed documents as part of a
+*Qualification Kit*. You can then provide these to *your* assessor when
+certifying *your* development process.
+
+## But it's also open source
+
+Anyone can inspect the unsigned documents and test matrices in our open-source repository without a contract.
+
+<https://github.com/ferrocene/ferrocene>
+
+<https://public-docs.ferrocene.dev>
diff --git a/src/support.md b/src/support.md
@@ -4,9 +4,10 @@
 
 * The Source Code is MIT/Apache-2.0
 * The [Ferrocene Language Specification] is MIT/Apache-2.0
-* You can even read the Qualification Documents in source form
+* You can even [read the Qualification Documents] right now
 
 [Ferrocene Language Specification]: https://spec.ferrocene.dev
+[read the Qualification Documents]: https://public-docs.ferrocene.dev/main/index.html
 
 ## And you sell?
 
@@ -31,19 +32,21 @@
 
 ## Terminology
 
-* What upstream calls *stable* Ferrocene renames to *rolling*.
-* What upstream calls *beta* Ferrocene renames *pre-rolling*.
+* What upstream calls *stable*, Ferrocene renames to *rolling*.
+* What upstream calls *beta*, Ferrocene renames *pre-rolling*.
 * Ferrocene has its own *beta* channel, cut from *rolling*.
 * Ferrocene has its own *stable* channel, cut from *beta*.
 
 ## How much is it?
 
 * Access to the open-source code is free
   * Includes the source code of the Qualification Documentation
-* A Binary Subscription is €25/month
+* A Binary Subscription is €25/month (or €240/year)
   * Includes pre-rolling, rolling, beta and stable
+  * Includes any bundled pre-built software packages
   * If you cancel, you can keep the binaries you already have
-* Pricing for support and access to the signed Qualification Documents is POA
+  * Early access available now, for users wanting 10 seats or more
+* Pricing for support and signed Qualification Documents is POA
   * We will be happy to discuss your project and your exact needs
 
 Note:

diff --git a/src/supported-targets.md b/src/supported-targets.md
@@ -12,6 +12,7 @@
 
 ## `aarch64-unknown-none`
 
+* "64-bit Arm on bare metal"
 * Aarch64 mode (A64 instructions) Armv8-A
 * `no-std` mode - no Rust `libstd`, only `libcore` and `liballoc`
 * Driven by our lead client's requirements