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/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 | 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..fec357e 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? @@ -31,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*. @@ -40,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: 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