polimi-aos-lab / course-labs-2425Links
Code shared during AOS course labs (AY 24/25)
☆13Updated 9 months ago
Alternatives and similar repositories for course-labs-2425
Users that are interested in course-labs-2425 are comparing it to the libraries listed below
Sorting:
- Random test generator for Reti Logiche 2021-2022 project at Politecnico di Milano☆11Updated 3 years ago
- A collection of security challenges with solutions, solved for a course at Polimi about Offensive and Defensive Cybersecurity☆12Updated 3 years ago
- The first AVR32 impelmentation for QEMU☆44Updated last year
- Exercises for course "Principles of Programming Languages" @ Polimi '23, '24☆31Updated 2 weeks ago
- ☆12Updated 9 months ago
- A repository partner with Making Embedded Systems, 2nd edition☆410Updated 7 months ago
- SHiFT: Semi-hosted Fuzz Testing for Embedded Applications☆16Updated 10 months ago
- Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems☆2,069Updated this week
- A remote programming configuration for STM32 devices☆12Updated 4 years ago
- A Tutorial how to get started with Linux Kernel Modules and Linux Drivers.☆1,042Updated last year
- Browser extension for VVZ (ETHZ)☆11Updated 3 months ago
- Fuzzing Secure Monitor Implementations☆16Updated last year
- ☆11Updated last year
- Compartmentalization using hardware and software techniques.☆11Updated 2 months ago
- A feedback-driven fault injection tool for reproducing distributed systems failures☆16Updated 6 months ago
- -☆11Updated 2 years ago
- Materiale didattico per gli studenti di Computer Engineering presso il Politecnico di Torino (classe L-8 ed LM-32).☆63Updated 5 months ago
- A CallGraph Generation LLVM Pass for C and C++ program☆30Updated 3 years ago
- Materiale per il corso di paradigmi di programmazione☆41Updated last year
- UNIPI Computer Engineering github: a collection of utilities and infos about all the exams☆42Updated 4 months ago
- Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.☆439Updated last month
- Reference setup for Linux kernel development in VSCode☆296Updated 3 weeks ago
- Notes from the course 01TYMOV of Prof. Antonio Lioy, POLITECNICO DI TORINO A.A. 2020/21.☆15Updated last year
- This is a repository for the LinkedIn Learning course Virtualization with KVM and Qemu☆17Updated 2 years ago
- Mono-Repo for Open-TEE development☆26Updated 2 months ago
- Static Analysis Course☆78Updated last month
- Code for the "Bare Metal Series" videos☆220Updated last year
- Appunti di Linguaggi Formali e Compilatori - Prof.ssa P. Quaglia - Università di Trento☆33Updated last year
- configuration evolution dataset☆18Updated 4 years ago
- Embedded Linux and Build Systems (Yocto & Build Root)☆19Updated last year