From 411075f7bbc8e0c0bb7244ac0bae35b8f90ee1d1 Mon Sep 17 00:00:00 2001 From: "Jonathan Pallant (Ferrous Systems)" Date: Thu, 19 Oct 2023 09:36:18 +0100 Subject: [PATCH 1/4] It's now 90 minutes long --- src/front-matter.md | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/src/front-matter.md b/src/front-matter.md index 29459a3..7ca7519 100644 --- 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 | From 93974ad59978fde5002b35c316fb54e7274faf38 Mon Sep 17 00:00:00 2001 From: "Jonathan Pallant (Ferrous Systems)" Date: Thu, 19 Oct 2023 09:36:52 +0100 Subject: [PATCH 2/4] Link to public docs --- src/exploring.md | 4 ++++ src/iso26262.md | 16 ++++++++++++---- src/support.md | 3 ++- 3 files changed, 18 insertions(+), 5 deletions(-) diff --git a/src/exploring.md b/src/exploring.md index 52485a8..9255985 100644 --- 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 + --- ![The docs page](./images/docs1.png) diff --git a/src/iso26262.md b/src/iso26262.md index 3d3931c..9f34b0f 100644 --- 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. + + + + diff --git a/src/support.md b/src/support.md index 724876a..614f2b2 100644 --- 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? From d8f227a57fa693918cf8897131484cfc092a492e Mon Sep 17 00:00:00 2001 From: "Jonathan Pallant (Ferrous Systems)" Date: Thu, 19 Oct 2023 09:36:59 +0100 Subject: [PATCH 3/4] Update sales --- src/support.md | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/src/support.md b/src/support.md index 614f2b2..fec357e 100644 --- a/src/support.md +++ b/src/support.md @@ -32,8 +32,8 @@ ## 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*. @@ -41,10 +41,12 @@ * 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: From cab1b3b71150dcc322f4ff1986897ea353911e84 Mon Sep 17 00:00:00 2001 From: "Jonathan Pallant (Ferrous Systems)" Date: Thu, 19 Oct 2023 09:37:13 +0100 Subject: [PATCH 4/4] Clarify what aarch64-unknown-none means. --- src/supported-targets.md | 1 + 1 file changed, 1 insertion(+) diff --git a/src/supported-targets.md b/src/supported-targets.md index 1e675f6..f24fd5b 100644 --- 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