markhakansson

master-thesis

RAUK: Automatic Schedulability Analysis of RTIC Applications Using Symbolic Execution

klee-rs

Safe KLEE API for Rust

rauk

Verification and response-time analysis tool for RTIC applications

thesis-presentation

dotfiles

My personal dotfiles. Wayland compatible.

embedded-rust-renode

Simulating an embedded Rust application using Renode

panic-rauk

Panic implementation for Rauk

rauk-examples

RTIC example projects to showcase Rauk's features

resume

My CV/resume that I use professionally

atsamx7x-rust

Rust HAL, PACs, and examples for the Microship SAM E70/S70/V70/V71

cortex-m

Low level access to Cortex-M processors

cortex-m-asm

cortex-m-rt

Minimal startup / runtime for Cortex-M microcontrollers

cortex-m-rtic

Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers

gdb-dashboard

Modular visual interface for GDB in Python

hello-dagger

Dagger Quickstart - Example Application

introduction-to-angular

klee-bindings

Raw bindings for KLEE

klee-tutorial

ktest-parser

Parses KTest binaries to a Rust struct

markhakansson.github.io

nucleo64-rtic-examples

Example of blinking LED on the Nucleo64 board using RTIC

probe-rs

A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host

probe-run

Run embedded programs just like native ones

rpa-tomorrow

THIS REPOSITORY IS NOW UNMAINTAINED

rtic-core

Core abstractions of the Real-Time Interrupt-driven Concurrency (RTIC) framework

rtic-syntax

Parser of the app! macro used by the Real-Time Interrupt-driven Concurrency (RTIC) framework

rtic_f4xx_nucleo

spacetraderz

vcell

Just like `Cell` but with volatile read / write operations