Giters
Moritz Meier (moritz-meier)

moritz-meier

Geek Repo

1

followers

4

following

28

stars

Company:German Aerospace Center (DLR)

Github PK Tool:Github PK Tool

Organizations
DLR-FT

Moritz Meier's repositories

armv7a

armv7a bare-metal Rust support

Language:RustStargazers:2Issues:1Issues:0

crosstool-ng

A versatile (cross-)toolchain generator.

Language:ShellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

openTAWS

A draft for an open TAWS

Language:RustStargazers:0Issues:0Issues:0

seL4

The seL4 microkernel

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

sel4-rs

Language:RustStargazers:0Issues:0Issues:0

sel4-vm

Language:CMakeStargazers:0Issues:0Issues:0

seL4_tools

Basic tools for building seL4 projects

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

util_libs

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

xtool-configs

GCC toolchain configs for crosstool-ng

Stargazers:0Issues:0Issues:0