TockOS Hail: Difference between revisions

From
Jump to navigation Jump to search
Line 29: Line 29:


'''Board Components'''
'''Board Components'''

Das Tock Hail IoT-Development Board besitzt folgende Komponenten mit folgenden Funktionen:

{| class="wikitable"
|+ Komponenten des Hail-Boards
|-
! Name !! Spezifikation !! Beschreibung
|-
| Example || Example || Example
|-
| Example || Example || Example
|-
| Example || Example || Example
|}


* SAM4L Cortex-M4
* SAM4L Cortex-M4
Line 35: Line 49:
'''Pinout'''
'''Pinout'''


[[File:TockHail_Pinout.png|caption]]
[[File:TockHail_Pinout.png]]


== TO-DO ==
== TO-DO ==

Revision as of 13:12, 7 October 2022

TockOS

Idee

Bei Tock handelt es sich um ein Betriebssystem für den Embedded-Bereich, welches u.a. Plattformen wie Cortex-M und RISCV unterstützt. Besonders dabei ist, dass dabei der Kernel als auch die Treiber in der Programmiersprache Rust geschrieben sind. Dabei werden die Speicherschutzmechanismen von Rust genutzt, um für Safety und Security innerhalb des Kernels aber auch der Anwendungen zu gewährleisten. Dabei sind 2 Techniken für den Speicherschutz besonders hervorzuheben:

1. Compile-Time Memory-Safety durch den Rust Compiler

2. Nutzung von Speicherschutzeinheiten um Anwendungen vom Kernel zu isolieren


Implementierungen

Insbesondere existieren bisher 2 Implementierung von Bibliotheken, welche eine Schnittstelle für die Anwendungsentwicklung in Tock zur Verfügung stellen. Zum einen die libtock-c, welche C-Bindings bereitstellt und die libtock-rs, welche direkt Rust-Bindings fr die Anwendungentwicklung bereitstellt.


Weitere Informationen zu Tock sind in der Dokumentation des Github Repositories von Tock zu finden.

libtock-c

libtock-rs

Photon Board Layout

Board Components

Das Tock Hail IoT-Development Board besitzt folgende Komponenten mit folgenden Funktionen:

Komponenten des Hail-Boards
Name Spezifikation Beschreibung
Example Example Example
Example Example Example
Example Example Example
  • SAM4L Cortex-M4


Pinout

TockHail Pinout.png

TO-DO

References

TockOS Introduction

TockOS Kernel

Libtock-c

Libtock-rs

Pin Layout