x86
Repositories (1660)
Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)
Pseudo-"operating system" portable between X86 and MSP430 with the goal of being portable to other uc architectures as well.
The Performance of Post-Quantum Key Encapsulation Mechanisms - A study on Consumer, Cloud and Mainframe Hardware. The full paper with figures and LaT...
x86 emulator on flash player
Nox is an x86 machine emulator
x80(i8080) vs x86
The first available version that supports the i386 architecture, released on 1988-09-05.
Assignments done as a part of the course Operating Systems-IITK, CS330
Plasma in 115 bytes for DOS in FASM
A very basic implementation of an operating system that can run multiple tasks "at the same time"
Latest versions of RosAsm by rosasmje, Guga. (original author: Betov)
A minimalist simple operating system
A small bootloader and operating environment
Friendly is an experimental, WIP x86 bootloader
Delphi binding for Intel X86 Encoder Decoder (Intel XED)
This is a very primitive operating system I will be writing from scratch.
A toy x86 operating system.
Avocado Bootloader is an Advanced X86 - X86_64 BIOS/UEFI multiprotocol bootloader.
Avocado Bootloader is an Advanced X86 - X86_64 BIOS/UEFI multiprotocol bootloader.
golphook.fun
golphook.fun
OBJ/OM, RDF/RDOFF investigation tool.
ISO Virtualisation in a Web Browser - Android, Mac, Linux & Windows
This tool allows customers of ETW host service apply security updates
Provides functions for not-so-common bit operations and more.
x86 compiler written on C from scratch.
Tool that allows you to enable infinite balls in Classic Windows game 'Pinball Space Cadet'
Photon is a minimalist bootloader, which may or may not be used with other projects.
The official HoundOS repository (kernel/os for my education)
Simple OS kernel developed for x86 platform
A set of CPU identification tools for Intel, AMD and ARM systems
Cloud HPC and Linux
Personal OS (16/32/64-bit kernel) experiment
A Simple base OS In multiple architectures to base any new OS types from
Implements and demos low level I/O procedures for reading/writing signed integers and floating point values
Interlocked was implemented by C/C++ inline Intel-x86 assembly.
This is a OSDev project
basic-linux-setup is an automated setup script for personalization of linux which includes a general purpose parameter preconfiguration which will be...
Classic game of Snake that runs from a boot sector
Intel 8080 emulator written in C99
ELL: a single sector Embedded LInux Loader for x86
Homemade Operating System for x86 computers
Cryptalk v1.0 source code.
HatchOS is an experimental GUI-based operating system designed for x86 computers.
Cvičení z předmětu Programování na strojové úrovni (ISU), druhý semestr bakalářského studia BIT na FIT VUT/BUT, ak.rok 2021/2022
not a simple kernel
A simple x86_64 Operating System Kernel Written in Rust :crab:
AddCommas
Cx Compiler: Compiler for modified C language to i386 DOS executables
A simple generic C wrapper for low level timers