Skip to content
This repository has been archived by the owner on Aug 27, 2024. It is now read-only.

Draft: update for 2024 #4

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

Draft: update for 2024 #4

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 3 additions & 6 deletions src/iso26262.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ ISO 26262-8:2018(E), Section 11.1.b says:

## What is the tool supposed to do?

* Rust doesn't have a written specification ... yet.
* Rust doesn't have a written specification ... [yet](https://blog.rust-lang.org/inside-rust/2023/11/15/spec-vision.html).
* So we wrote the Ferrocene Language Specification
* <https://spec.ferrocene.dev>

Expand All @@ -58,12 +58,9 @@ ISO 26262-8:2018(E), Section 11.1.b says:

We sent all our evidence to TÜV SÜD for ISO 26262 and IEC 61508 qualification.

So, far they say:
And we got it!

> ...from the general approach, structure, format and contents of the
> provided artifacts there no major questions or anything missing.

The qualification certificate is expected very soon.
**TODO: Put picture of certificate?**
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

replace this before merging


## And I get?

Expand Down
4 changes: 2 additions & 2 deletions src/just-rust.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -41,8 +41,8 @@ We've been doing this since 2021, backporting the `master` branch of `rust-lang/
## So what's left?

* Support for the [LynxOS-178] target
* A proprietary safety-critical focussed RTOS
* the temporary implementation [of a feature we proposed] and will implement upstream
* A proprietary safety-critical focused RTOS
* The temporary implementation [of a feature we proposed] and will implement upstream
* Our build and test infrastructure

[LynxOS-178]: https://www.lynx.com/products/lynxos-178-do-178c-certified-posix-rtos
Expand Down
13 changes: 3 additions & 10 deletions src/support.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@
* Long-term Support
* for Ferrocene
* for third-party crates (as an add-on)
* Includes digitally-signed Qualification Documents for your assessor
* Digitally-signed Qualification Documents for your assessor

## How long is long-term?

Expand All @@ -26,11 +26,11 @@
* After 2 years it goes into Extended Support
* We tell subscribers about issues and give possible workarounds

## Roadmap
## Roadmap - TODO: Update?
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

replace this before merging


![Ferrocene Release Model](./images/rolling.png)

## Terminology
## Terminology - TODO: Update?
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

replace this before merging


* What upstream calls *stable*, Ferrocene renames to *rolling*.
* What upstream calls *beta*, Ferrocene renames *pre-rolling*.
Expand All @@ -49,13 +49,6 @@
* Pricing for support and signed Qualification Documents is POA
* We will be happy to discuss your project and your exact needs

Note:

Ferrocene 23.06 was developed in conjunction with a third-party and the source
code for this release cannot be open-sourced at this time. We hope to
open-source any subsequent 23.06 patch releases. We commit to making all future
releases open-source.

## Is there a USB dongle?

* No
Expand Down
Loading