Awesome Open Source

Programming Languages

Search results for operating system gdb

operating-system x

11 search results found

Embox ⭐ 1,051

Modular and configurable OS for embedded applications

Freenos ⭐ 670

FreeNOS (Free Niek's Operating System) is an experimental microkernel based operating system for learning purposes written in C++. You may use the code as you wish under the terms of the GPLv3.

an experimental 64-bit operating system

An educational 32-bit linux-like Operating System, with public bachelor- and master-level course slides.

Go GDB/MI interface

Single-address-space capability-based nanokernel

Mooc_os_lab ⭐ 51

OS Labs for MOOC

A simple MI interface to LLDB for Eclipse

Draw the traces of OS(Linux, xv6, ...) kernel functions in a graph and link graph nodes to the source codes

x86_64 OS Reference in C and Assembly

Rust implementation of Xinu educational operating system

Kaos Operating System 400

Proj7 Terminus ⭐ 19

可运行OS的RISCV-64的硬件模拟器设计与实现

Learning Mit 6.828 ⭐ 16

something you need in MIT 6.828 Fall 2019

Xinu Kernel DeBugger (xkdb) - GDB for Xinu backends

Docker Os161 ⭐ 12

Docker image for building, testing, and running OS161, a BSD-like OS running on MIPS architecture.

Detailed solutions to assignments of MIT's Operating Systems Engineering course

A mini operating system based on Orange's

Os 4 Risc V ⭐ 8

Snickeros ⭐ 8

A from-baremetal-to-OS project targetting the Krtkl Snickerdoodle. Currently in very-early development.

As the name suggests, it 's an OS.

x86 Homebrew'd Kernel

Darling Gdb ⭐ 6

GDB that can debug Mach-Os on Linux

Small realtime OS for ARM

Creating an operating system from scratch

half-baked Silvis OS kernel

Docker Cs350 Os161 ⭐ 5

Build-Test Script and Docker image for os161 in University of Waterloo CS350 Operating Systems

Related Searches

C Operating System (1,831)

Shell Operating System (1,635)

Javascript Operating System (1,476)

C Plus Plus Operating System (1,257)

Kernel Operating System (926)

Objective C Operating System (920)

Python Gdb (398)

Operating System Qemu (352)

Operating System X86 (297)

1-11 of 11 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.