misaka - Experimental x86_64 kernel project

  •        1

Misaka is an experimental x86_64 kernel. The primary goal for Misaka is to replace the kernel from ToaruOS while maintaining general compatibility with the userspace at a source level, porting to x86-64, and supporting SMP. Misaka is named after the main character of A Certain Scientific Railgun (とある科学の超電磁砲) in the same way that ToaruOS itself is named after the series and its predecessor, A Certain Magical Index (とある魔術の禁書目録).




Related Projects

BareMetal-OS-legacy - BareMetal is a 64-bit OS for x86-64 based computers

BareMetal is a 64-bit protected mode operating system for x86-64 compatible PCs, written entirely in assembly language, which boots from a hard drive or via the network. It features a command-line interface, support for BMFS-formatted hard drives and sound via the PC speaker. It can load external programs and has over 60 system calls. BareMetal can also utilize all available CPU's in the computer it is run on. At the moment there is no plan to build BareMetal into a general-purpose operating system like Windows, Mac OS X, or Linux; it is designed to be as lean as possible while still offering useful features.

zyan-disassembler-engine - Fast and lightweight x86/x86-64 disassembler library.

Fast and lightweight x86/x86-64 disassembler library.

Udis86 Disassembler for x86 and x86-64

Udis86 is an easy-to-use minimalistic disassembler library for the x86 and x86-64 instruction set architectures. The primary intent of the design and development of udis86 is to aid software development projects that entail binary code analysis.

udis86 - Disassembler Library for x86 and x86-64

Disassembler Library for x86 and x86-64

xbyak - a JIT assembler for x86(IA-32)/x64(AMD64, x86-64) MMX/SSE/SSE2/SSE3/SSSE3/SSE4/FPU/AVX/AVX2/AVX-512 by C++ header

This is a header file which enables dynamically to assemble x86(IA32), x64(AMD64, x86-64) mnemonic. header file only you can use Xbyak's functions at once if xbyak.h is included.

minilisp - A readable lisp in less than 1k lines of C

All those in 1000 lines of C. I didn't sacrifice readability for size. The code is in my opinion heavily commented to help the reader understand how all these features work. MiniLisp has been tested on Linux x86/x86-64 and 64 bit Mac OS. The code is not very architecture dependent, so you should be able to compile and run on other Unix-like operating systems.

x86/x86-64 assembler/jitter written in C#

The project goal is to develop a library for generating machine code irrelatively to machine architecture. Assembler-like C# API is a bonus.

mcsema - Framework for lifting x86, amd64, and aarch64 program binaries to LLVM bitcode

McSema is an executable lifter. It translates ("lifts") executable binaries from native machine code to LLVM bitcode. LLVM bitcode is an intermediate representation form of a program that was originally created for the retargetable LLVM compiler, but which is also very useful for performing program analysis methods that would not be possible to perform on an executable binary directly. McSema enables analysts to find and retroactively harden binary programs against security bugs, independently validate vendor source code, and generate application tests with high code coverage. McSema isn’t just for static analysis. The lifted LLVM bitcode can also be fuzzed with libFuzzer, an LLVM-based instrumented fuzzer that would otherwise require the target source code. The lifted bitcode can even be compiled back into a runnable program! This is a procedure known as static binary rewriting, binary translation, or binary recompilation.

LTC Linux Kernel Performance Project

Our mission is to make Linux better by improving Linux kernel performance, with special emphasis on SMP scalability. We measure, analyze, and improve kernel performance, focusing on platform-independent issues, by using open source workloads.

Ryu/x86 OS

Ryu/x86 OS is more or less an OS kernel, drivers, and shell for the x86 (386+) architecture. Written mostly in C and assembly, it is targeted at OS enthusiasts who wish to have a simple framework on which to build larger, more functional OSes.

Atlas 64

This project brings together many sub-projects with the goal of enhancing Linux performance on large systems. Sub-projects include ccNUMA, 64-bit x86, ACPI, etc. support for Linux.

yalo - Lisp OS running on bare metal x86-64 hardware (WIP)

The project is only at very very initial stage, with an assembler written in Common Lisp, and a 64 bit bootloader. Currently, cross compilation is needed to build one floppy image containing yalo.


An implementation of a light-weight stack-less jit compiler for x86 (32/64), ARM (v5/Thumb2), PowerPC (32/64), MIPS (32) and SPARC (32) architectures. It generates machine code from a platform independent (simplified) assembly language.

Nitrogen Assembler

Nitrogen Assembler. A new assembler for x86/x86-64.

Xen - Open Source Virtualization

The Xen hypervisor is a layer of software running directly on computer hardware replacing the operating system thereby allowing the computer hardware to run multiple guest operating systems concurrently. It suppors x86, x86-64, Itanium, Power PC, and ARM processors allow the Xen hypervisor to run on a wide variety of computing devices.

libjpeg-turbo - Main libjpeg-turbo repository

libjpeg-turbo is a JPEG image codec that uses SIMD instructions (MMX, SSE2, NEON, AltiVec) to accelerate baseline JPEG compression and decompression on x86, x86-64, ARM, and PowerPC systems. On such systems, libjpeg-turbo is generally 2-6x as fast as libjpeg, all else being equal. On other types of systems, libjpeg-turbo can still outperform libjpeg by a significant amount, by virtue of its highly-optimized Huffman coding routines. In many cases, the performance of libjpeg-turbo rivals that of proprietary high-speed JPEG codecs.libjpeg-turbo implements both the traditional libjpeg API as well as the less powerful but more straightforward TurboJPEG API. libjpeg-turbo also features colorspace extensions that allow it to compress from/decompress to 32-bit and big-endian pixel buffers (RGBX, XBGR, etc.), as well as a full-featured Java interface.

Triton - Triton is a Dynamic Binary Analysis (DBA) framework

Triton is a dynamic binary analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification passes, an SMT Solver Interface and, the last but not least, Python bindings. Based on these components, you are able to build program analysis tools, automate reverse engineering and perform software verification. As Triton is still a young project, please, don't blame us if it is not yet reliable. Open issues or pull requests are always better than troll =).

Yaxkin Linux

O Yaxkin Linux eacute; uma distribuiccedil;atilde;o baseada no Gentoo Linux compilado para arquitetura x86-64 (amd64) com suporte a multilib e x86 (i686), para uso em servidores. Acesse a paacute;gina de downloads para obter todas as versotilde;es, incluso LiveCD de recuperaccedil;atilde;o e LiveDVD de instalaccedil;atilde;o: * http://downloads.hackstore.com.br Acesse a documentaccedil;atilde;o oficial: * http://wiki.hackstore.com.br

misaka - A Python binding for Hoedown.

A CFFI binding for Hoedown (version 3), a markdown parsing library. Misaka has been tested on CPython 2.6, 2.7, 3.2, 3.3, 3.4, 3.5 and PyPy 2.6. It needs CFFI 1.0 or newer, because of this it will not work on PyPy 2.5 and older.

Nemesis Real Time OS Kernel

Nemesis is a tiny real time operating system kernel based on x86 PCs. Its main purpose is to serve as a simple but realistic example of an real time OS kernel running on real hardware..the purpose of this is that it can be embedded in small devices lik