diff --git a/Foundation/Join/index.html b/Foundation/Join/index.html index d7d9ab032..1c8e5611c 100644 --- a/Foundation/Join/index.html +++ b/Foundation/Join/index.html @@ -15,7 +15,7 @@ other ways to support the technology-->.

- Join + Join
' redirect_from: - /Foundation/Join/home.pml @@ -239,7 +239,7 @@

Membership Tiers

Free

- For non-profits, open source projects, and government entities. + For non-profits and government entities.
' %} diff --git a/Foundation/Join/join-now.html b/Foundation/Join/join-now.html new file mode 100644 index 000000000..9a34aa5fc --- /dev/null +++ b/Foundation/Join/join-now.html @@ -0,0 +1,168 @@ +--- +# Copyright 2026 seL4 Project a Series of LF Projects, LLC. +# SPDX-License-Identifier: CC-BY-SA-4.0 +title: "Join the seL4 Foundation" +pre: "Become a Member" +sub: ' +Join the seL4 Foundation (a Swiss Association under the legal name "seL4 +International") by entering your organisation's details below. We will review the information +provided and send you a Membership Agreement for signature. +' +pre_link: "./" +layout: card +--- + +{% include section-start.html + id = "agreement" + heading = "Agreements and Governance" + intro = ' +

+ Before joining, please review the Membership + Agreement (for review only, not for signing), and the Articles of Association, the Rules of Operations, and + the Good Standing Policy. If you have any questions, please contact foundation@sel4.systems. +

' +%} + +{% include section-end.html %} + +{% include section-start.html + id = "details" + heading = "Organisation Details" + intro = ' +

+ Please enter your organisation's details below to generate a membership agreement. +

+

+ The information submitted will be used to assess, approve and manage the membership of the entity, namely to (a) generate the contract, which will be sent to the provided signatory contact; (b) send invoices to the provided billing contact; (c) send AGM and voting notices to the primary contact; for the duration that the entity is a Member of seL4 International. This information can be updated anytime by contacting foundation@sel4.systems. +

+ ' +%} + +{% include section-end.html %} + +{% include section-start.html + id = "join" + heading = "Join Now" +%} + +
+ + + + + + + + + + + + + + + +
+ +{% include section-end.html %} diff --git a/REUSE.toml b/REUSE.toml index 2b2553a98..e02fb489b 100644 --- a/REUSE.toml +++ b/REUSE.toml @@ -11,6 +11,7 @@ path = [ "_data/menu.json", "_data/footer.json", "_data/members.json", + "_data/memberships.json", "_data/platforms.json", "_data/sponsors.json", "_data/benchmarks.json", diff --git a/_data/memberships.json b/_data/memberships.json new file mode 100644 index 000000000..2abb8f6ba --- /dev/null +++ b/_data/memberships.json @@ -0,0 +1,38 @@ +[ + { + "id": 1, + "tier": "Premium", + "employees": "--", + "fees": "CHF 100,000" + }, + { + "id": 2, + "tier": "General", + "employees": "5,000 and above", + "fees": "CHF 35,000" + }, + { + "id": 3, + "tier": "General", + "employees": "Between 500 and 4,999", + "fees": "CHF 20,000" + }, + { + "id": 4, + "tier": "General", + "employees": "Between 100 and 499", + "fees": "CHF 10,000" + }, + { + "id": 5, + "tier": "General", + "employees": "Between 21 and 99", + "fees": "CHF 4,000" + }, + { + "id": 6, + "tier": "General", + "employees": "Up to 20", + "fees": "CHF 2,500" + } +] \ No newline at end of file diff --git a/_includes/membership-captcha.html b/_includes/membership-captcha.html new file mode 100644 index 000000000..205d0a4f7 --- /dev/null +++ b/_includes/membership-captcha.html @@ -0,0 +1,75 @@ +{%- comment %} +Copyright 2026 seL4 Project a Series of LF Projects, LLC +SPDX-License-Identifier: CC-BY-SA-4.0 +{% endcomment -%} + + + + + + + +
+
+
+
+ + \ No newline at end of file diff --git a/_includes/membership-po.html b/_includes/membership-po.html new file mode 100644 index 000000000..a44c08410 --- /dev/null +++ b/_includes/membership-po.html @@ -0,0 +1,23 @@ +{%- comment %} +Copyright 2026 seL4 Project a Series of LF Projects, LLC +SPDX-License-Identifier: CC-BY-SA-4.0 +{% endcomment -%} +
+
PO required:
+
+ + Yes +
+
+ + No +
+
\ No newline at end of file diff --git a/_includes/membership-question.html b/_includes/membership-question.html new file mode 100644 index 000000000..d0c7e2aea --- /dev/null +++ b/_includes/membership-question.html @@ -0,0 +1,68 @@ +{%- comment %} +Copyright 2026 seL4 Project a Series of LF Projects, LLC +SPDX-License-Identifier: CC-BY-SA-4.0 +{% endcomment -%} + +
+ {% if include.heading == "Company name" %} +

{{ include.heading }}

+ {% else %} +

{{ include.heading }}

+ {% endif %} +

{{ include.info }}

+ + + {% if include.type %} + + {% endif %} + + +
+ {% if include.label1 %} +
{{ include.label1 }}
+
+ +
+ {% endif %} + {% if include.label2 %} +
{{ include.label2 }}
+
+ +
+ {% endif %} + {% if include.label3 %} +
{{ include.label3 }}
+
+ +
+ {% endif %} + + {% if include.address %} +
{{ include.address }}
+
+ +
+ {% endif %} +
+
diff --git a/_includes/membership-submit-associate.html b/_includes/membership-submit-associate.html new file mode 100644 index 000000000..708f174d3 --- /dev/null +++ b/_includes/membership-submit-associate.html @@ -0,0 +1,53 @@ +{%- comment %} +Copyright 2026 seL4 Project a Series of LF Projects, LLC +SPDX-License-Identifier: CC-BY-SA-4.0 +{% endcomment -%} + +
+ +
+ + \ No newline at end of file diff --git a/_includes/membership-submit-general.html b/_includes/membership-submit-general.html new file mode 100644 index 000000000..10b2d37f1 --- /dev/null +++ b/_includes/membership-submit-general.html @@ -0,0 +1,53 @@ +{%- comment %} +Copyright 2026 seL4 Project a Series of LF Projects, LLC +SPDX-License-Identifier: CC-BY-SA-4.0 +{% endcomment -%} + +
+ +
+ + \ No newline at end of file diff --git a/_includes/membership-tiers.html b/_includes/membership-tiers.html new file mode 100644 index 000000000..ce763a12b --- /dev/null +++ b/_includes/membership-tiers.html @@ -0,0 +1,45 @@ +{%- comment %} +Copyright 2026 seL4 Project a Series of LF Projects, LLC +SPDX-License-Identifier: CC-BY-SA-4.0 +{% endcomment -%} + +

Membership Level

+ + + + + + + + + + + {%- assign memberships = site.data.memberships -%} + {%- for membership in memberships -%} + + + + + + + {%- endfor -%} + +
Tier + Consolidated
Employees
+ +
+ Annual
Membership
Fees
+ +
+ + + {{ membership.tier }} + + {{ membership.employees }} + + {{ membership.fees }} +
\ No newline at end of file