GENADEV OSAn AArch64 hobbyist OS for the Raspberry Pi 3 B+
Stars: ✭ 14 (-94.53%)
bleeding-edge-toolchainAll-in-one script to build bleeding-edge-toolchain for ARM microcontrollers
Stars: ✭ 60 (-76.56%)
FrostedFrosted: Free POSIX OS for tiny embedded devices
Stars: ✭ 194 (-24.22%)
Raspberry Pi OsLearning operating system development using Linux kernel and Raspberry Pi
Stars: ✭ 11,000 (+4196.88%)
Talksschedule and materials about my presentations
Stars: ✭ 245 (-4.3%)
TockA secure embedded operating system for microcontrollers
Stars: ✭ 3,258 (+1172.66%)
zeptoforthA not-so-small Forth for Cortex-M
Stars: ✭ 70 (-72.66%)
MylinuxmyLinux is a small UNIX like OS for embedded systems based on Westermo NetBox
Stars: ✭ 53 (-79.3%)
Shadow Box For ArmShadow-Box: Lightweight and Practical Kernel Protector for ARM (Presented at BlackHat Asia 2018)
Stars: ✭ 64 (-75%)
SynestiaosThe Synestia Operating System
Stars: ✭ 159 (-37.89%)
gdb 2 rootThis python script adds some usefull command to stripped vmlinux image
Stars: ✭ 20 (-92.19%)
rnkrnk is a RTOS targeting ARM architecture.
Stars: ✭ 22 (-91.41%)
m3forthm3forth is a forth cross-compiler for cortex-m3 ARM microcontrollers
Stars: ✭ 16 (-93.75%)
metal.testDeprecated, superseded by https://github.com/metal-ci/test
Stars: ✭ 41 (-83.98%)
PikortA tiny Linux-like real-time kernel optimized for ARM Cortex-M chips
Stars: ✭ 268 (+4.69%)
Peda ArmGDB plugin peda for arm
Stars: ✭ 110 (-57.03%)
kernelMain kernel tree
Stars: ✭ 28 (-89.06%)
Rt ThreadRT-Thread is an open source IoT operating system.
Stars: ✭ 6,466 (+2425.78%)
PrettyosA Preemptive Hard Real Time kernel for embedded devices.
Stars: ✭ 36 (-85.94%)
BuildArmbian Linux build framework
Stars: ✭ 1,827 (+613.67%)
JingosJingOS - The World’s First Linux-based OS design for Tablets
Stars: ✭ 101 (-60.55%)
asm2cfgPython command-line tool and GDB extension to view and save x86, ARM and objdump assembly files as control-flow graph (CFG) pdf files
Stars: ✭ 42 (-83.59%)
slabdbgGDB plug-in that helps exploiting the Linux kernel's SLUB allocator
Stars: ✭ 55 (-78.52%)
FukuroSimple microkernel (early stage)
Stars: ✭ 18 (-92.97%)
ipolyglotA polyglot kernel for Jupyter notebooks based on GraalVM.
Stars: ✭ 59 (-76.95%)
asl-interpreterExample implementation of Arm's Architecture Specification Language (ASL)
Stars: ✭ 78 (-69.53%)
baking-piMy code for Baking Pi - Operating Systems Development online course by Cambridge University (Raspberry Pi 3 update)
Stars: ✭ 22 (-91.41%)
rxinuRust implementation of Xinu educational operating system
Stars: ✭ 26 (-89.84%)
PSBicepThis is the repo for the Bicep PowerShell Module.
Stars: ✭ 67 (-73.83%)
torokernelThis repository contains the source code of the unikernel toro
Stars: ✭ 107 (-58.2%)
RocketOSRocketOS is a Unix based OS that uses legacy BIOS and GRUB and is written in C17. It is being developed for educational purposes primarily, but it still is a serious project. It is currently in its infancy.
Stars: ✭ 23 (-91.02%)
GeoNonceSetter12Nonce Setter for iOS 12.0 -> 12.2 and 12.4 pre-A12
Stars: ✭ 37 (-85.55%)
LudOSA toy monolithic kernel written in C++
Stars: ✭ 38 (-85.16%)
ensSupports de cours
Stars: ✭ 13 (-94.92%)
rpi-couchdbCouchDB Docker 🐳 for Raspberry Pi. Part of OLE's Treehouses Project.
Stars: ✭ 30 (-88.28%)
0026-azure-automation-plus-dsc-labThis template deploys a new automation lab environment that can be used for training, practice and demonstrations for Azure Automation, Windows Powershell, Windows Powershell DSC, PowerShell Core and Powershell DSC for Linux topics. For a more detailed explanation of the use cases for building an atuomation lab, please see: https://www.linkedin.…
Stars: ✭ 20 (-92.19%)
drone-cortexmARM® Cortex®-M platform crate for Drone, an Embedded Operating System.
Stars: ✭ 31 (-87.89%)
static-web-serverA blazing fast and asynchronous web server for static files-serving. ⚡
Stars: ✭ 230 (-10.16%)
systembootSystemBoot is a LinuxBoot distribution that works as a system firmware + bootloader, based on u-root
Stars: ✭ 103 (-59.77%)
devops-governanceExample end-to-end Governance Model from CI/CD to Azure Resource Manager. Use this project to deploy example AAD, ARM and Azure DevOps resources to learn about e2e RBAC.
Stars: ✭ 79 (-69.14%)
pps-gen-gpioLinux kernel PPS generator using GPIO pins
Stars: ✭ 25 (-90.23%)
linux-1.0Linux Kernel 1.0
Stars: ✭ 81 (-68.36%)
Exploit-DevelopmentExploit Development - Weaponized Exploit and Proof of Concepts (PoC)
Stars: ✭ 84 (-67.19%)
Kaminou-KernelJust another (unfinished) kernel from scratch...
Stars: ✭ 32 (-87.5%)
LemonosThe Lemon Operating System https://lemonos.org
Stars: ✭ 260 (+1.56%)
CVE-StockpileMaster list of all my vulnerability discoveries. Mostly 3rd party kernel drivers.
Stars: ✭ 41 (-83.98%)
KDBGThe windows kernel debugger consists of two parts, KMOD which is the kernel driver handling ring3 request and KCLI; the command line interface for the driver. It originated due to insufficient useability with CheatEngine's DBVM driver while debugging games running under certain AntiCheat software.
Stars: ✭ 28 (-89.06%)
Sphinx-BerylliumSphinx Custom Kernel for Pocophone F1 (Beryllium)
Stars: ✭ 23 (-91.02%)
pearlfanGNU/Linux kernel driver and libusb app for a Pearl's USB LED fan
Stars: ✭ 20 (-92.19%)
insightA Tcl/Tk Frontend for GDB. This is an AppImage(Portable Package) of insight for the sake of Jeff Duntemann's amazing book.
Stars: ✭ 31 (-87.89%)
camflow-devGenerates kernel patch for CamFlow Linux Provenance Capture.
Stars: ✭ 19 (-92.58%)
lo2sLinux OTF2 Sampling - A Lightweight Node-Level Performance Monitoring Tool
Stars: ✭ 24 (-90.62%)
cvehoundCheck linux sources dump for known CVEs.
Stars: ✭ 74 (-71.09%)
bcnnA minimalist Deep Learning framework for embedded Computer Vision
Stars: ✭ 39 (-84.77%)
kernel xiaomi ginkgoQuicksilveR Kernel Source For Xiaomi Redmi Note 8/8T, Fork of https://github.com/ghostrider-reborn/android_kernel_xiaomi_ginkgo
Stars: ✭ 20 (-92.19%)