• Stars
    star
    532
  • Rank 83,377 (Top 2 %)
  • Language
    Rust
  • License
    MIT License
  • Created about 5 years ago
  • Updated 2 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

πŸ„ an alleged 'operating system'

mycelium

someday this will do stuff

Documentation (HEAD) MIT licensed Test Status Sponsor @hawkw on GitHub Sponsors

what is it?

this repository contains Mycelium, an alleged "operating system", and a collection of Rust libraries written as part of its development. eventually, Mycelium will be a microkernel-ish operating system that runs on commodity desktop hardware, executes WebAssembly modules in both kernel- and user-space, and implements the WebAssembly System Interface (or WASI) as its syscall layer.

right now, though, it runs...one webassembly module, which prints "hello world" and immediately exits. so that's coming along great, thanks for asking.

crates

"what if the real operating system was the libraries we wrote along the way?"

in the process of implementing Mycelium itself, we've written a whole bunch of Rust libraries, which also live in this repository. some of these libraries may be generally useful for other projects, and have been or will be published to crates.io.

the general-purpose crates in this repository include:

in addition, beyond the kernel itself, this repository also contains the following Mycelium components:

  • hal-core: the core interface definitions of Mycelium's (admittedly somewhat half-baked) hardware abstraction layer,
  • hal-x86_64: implementations of the Mycelium HAL for 64-bit x86 (amd64) CPUs,
  • mycotest: testing utilities for Mycelium's in-kernel tests,
  • inoculate: Mycelium's Horrible Build Toolβ„’

how do i run it?

so...how do i actually build and run Mycelium?

the easiest way to run the Mycelium kernel (using the QEMU emulator) is to use inoculate, Mycelium's Horrible Build Toolβ„’. to launch Mycelium in QEMU, run

cargo run-x64

see CONTRIBUTING.md for details on development environment setup and tools.

More Repositories

1

tinymetrics

a minimal, allocation-free Prometheus/OpenMetrics metrics implementation for `no-std` and embedded Rust.
Rust
300
star
2

thingbuf

in-place allocation-reusing queues for Rust
Rust
282
star
3

sharded-slab

a lock-free concurrent slab (experimental)
Rust
268
star
4

seax

A VM-based runtime environment for functional programming languages
Rust
45
star
5

mnemosyne

A functional systems programming language with compile-time memory management
Rust
30
star
6

async-workshop

Rust
21
star
7

dotfiles

my dot files
Shell
19
star
8

decaf

like Java, but less so
Scala
17
star
9

tokio-trace-prototype

Rust
16
star
10

flake

eliza's entire computer: the git repo
Nix
16
star
11

eclss

Environmental Controls and Life Support Systems
Rust
14
star
12

matchers

Rust
11
star
13

seax_svm

Seax Virtual Machine
Rust
9
star
14

eliza_error

Rust
7
star
15

homebrew-x86_64-pc-elf

Homebrew formulae to install the x86_64-pc-elf cross compiler toolchain.
Ruby
7
star
16

multipass

yes, she knows it's a multipass. anyway, we're in love.
Rust
7
star
17

seax_scheme

Seax Scheme compiler
Rust
6
star
18

traverse

Doing science with filesystem traversal!
Python
6
star
19

tokio-trace

Rust
6
star
20

natatorium

"natatorium" is a fancy word for "swimming pool"
Rust
5
star
21

segvec

Rust
5
star
22

henrys_thing

a thing 4 henry
Rust
5
star
23

recipes

programs for making food!
4
star
24

async-cancel

fast, cheap, and out of control task cancelation
Rust
4
star
25

l-systems

L-Systems fun in Scala and Processing
Scala
3
star
26

hyper-compress

Compression middleware for Hyper
Rust
3
star
27

Orbit

Minimal SublimeText colorschemes intended for use with the Spacegray UI.
3
star
28

dtab.rs

a Rust library for parsing and constructing Finagle/Linkerd delegation tables
Rust
3
star
29

sqlviz

Quick SQL schema analysis & visualization in Python
Python
3
star
30

lin

Generic linear algebra in Rust
Rust
3
star
31

prologue

is_prolog(prologue) :- true
Rust
3
star
32

homebrew-grub

Homebrew tap for building GRUB
Ruby
3
star
33

grist

a simple Git web service in Rust
Rust
2
star
34

vupdaters

Streacom VU-Dials utilities
Rust
2
star
35

huffman.rs

A full-featured Huffman coding implementation in Rust
Rust
2
star
36

cargo-hell

hubris torment nexus
Rust
2
star
37

FitLine

FitBit analytics in PyLab
Python
2
star
38

tower-breaker

tower circuit-breaking experiments
Rust
2
star
39

advent-code

Haskell
2
star
40

seax_util

General purpose bits for compilers targeting the Seax platform
Rust
2
star
41

deebee

A tiny database
Scala
2
star
42

USL

USL is the Useless Stack Language - a toy stack-based language implemented by Hawk Weisman and Max Clive for Computer Science 420 at Allegheny College.
TeX
2
star
43

eclss-nostd

Environmental Control and Life Support Systems
Rust
2
star
44

floating-pointless

software floating-point arithmetic in Rust (for educational purposes only)
Rust
1
star
45

cordyceps

Rust intrusive collections library
1
star
46

snapmap

Rust
1
star
47

haskell-common

General-purpose Haskell code, mostly for practice
Haskell
1
star
48

rush

bad shell do not use
Rust
1
star
49

cs382-final

Final project for Computer Science 382: Visual Computing at Allegheny College.
Rust
1
star
50

CS111

CS111 junk
Java
1
star
51

weathergirl-rs

Rust
1
star
52

pyANOVA

Python command-line statistics tools, just for fun.
Python
1
star
53

unstable-macros

macros to reduce the boilerplate of conditionally supporting unstable Rust
Rust
1
star
54

cargo-loom

a Cargo command for running `loom` tests
Rust
1
star
55

old-dotfiles

my dot files
Python
1
star
56

tokio-fswatch

Rust
1
star
57

locality

Rust
1
star
58

CMPSC440

Computer Science 440 at Allegheny College
Java
1
star
59

JForthEngine

A simple Forth Virtual Machine in Java.
Java
1
star
60

hacktor

a secret thing
Rust
1
star
61

scala-common

General-purpose Scala code bits
Scala
1
star
62

DunGen

A quick 2D dungeon generator for roguelikes and such
Scala
1
star
63

ionesco

libraries for Scala and JavaScript interoperation
Scala
1
star
64

map_ext.rs

Extensions to Rust's std::collections::HashMap and std::collections::BTreeMap.
Rust
1
star
65

carrden

Carrden web app project
HTML
1
star
66

sen5x-rs

Rust
1
star
67

homebrew-cross

Ruby
1
star
68

routekicking

linkerd HTTPRoute policy tire-kicking
1
star
69

MIPSCodeGeneration

Experiments with code generation in C and MIPS. Currently targeting the MARSBot graphics turtle that ships with MARS4.4, may later add code generation for other applications.
Assembly
1
star
70

line-filter

a `tracing` filter for enabling individual events by line
Rust
1
star
71

weathergirl

a cute little arduino weather station
C++
1
star
72

breadplan

A simple Python script to generate baking plans for the recipes in Tartine Bread
Mathematica
1
star
73

senior-thesis

TeX
1
star
74

hawkw.github.io

CSS
1
star
75

thoughts

A place to collect notes and ideas.
1
star
76

scattergather

utilities to help make vectored IO easy
Rust
1
star
77

futures-log

A logging wrapper around Rust Futures and Streams, to help with debugging
Rust
1
star
78

lazy

Rust
1
star
79

Sieve

Contains an implementation of the Sieve of Eratosthenes in Java and C for CMPSC220 Lab 1
Java
1
star
80

tokio-buffer-repro

Rust
1
star