Discover oxidecomputer/cobalt Open Source project

Stars
96
Rank 351,245 (Top 7 %)
Language Bluespec
License
Mozilla Public Li...
Created almost 4 years ago
Updated 10 months ago

oxidecomputer

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

A collection of common Bluespec interfaces/modules.

hubris

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.

Rust

2,912

dropshot

expose REST APIs from a Rust program

Rust

855

progenitor

An OpenAPI client generator

humility

typify

compiler from JSON Schema into idiomatic Rust types

Rust

425

helios

Helios: Or, a Vision in a Dream. A Fragment.

Rust

367

oxide-and-friends

Show notes from Oxide and Friends recordings

Rust

308

omicron

Omicron: Oxide control plane

Rust

251

cio

Rust libraries for APIs needed by our automated CIO.

Rust

247

propolis

VMM userspace for illumos bhyve

crucible

console

design-site

We are looking for designers who code to help build a new user experience for computing!

CSS

third-party-api-clients

A place for keeping all our generated third party API clients.

Rust

usdt

Dust your Rust with USDT probes

Rust

steno

distributed sagas

Rust

phbl

Pico Host Boot Loader

Rust

tockilator

Deducing Tock execution flows from Ibex Verilator traces

Rust

serde_tokenstream

serde::Deserializer for proc_macro/proc_macro2::TokenStream

Rust

buildomat

a software build labour-saving device

Rust

oxide.rs

The Oxide Rust SDK and CLI

Rust

opte

packets go in, packets go out, you can't explain that

Rust

fable

TOML deck generator with custom templates and schema validation

CSS

cancel-safe-futures

Alternative future adapters that provide cancel safety.

Rust

helios-engvm

Tools for creating and using Helios images on i86pc (classic PC) physical and virtual machines

Rust

pki-playground

Tool for generating non-trivial X.509 certificate chains

Rust

expectorate

I'm especially good at expectorating

Rust

maghemite

A routing stack written in Rust.

Rust

oxide.ts

TypeScript client for the Oxide API

TypeScript

aws-wire-lengths

simple command line for various AWS management tasks

Rust

fs3-rs

Extended utilities for working with files and filesystems in Rust.

Rust

lpc-link2-re

Reverse engineering the LPC-Link2 USB interface

Rust

lethe

A basic log-structured flash datastore

Rust

terraform-provider-oxide

Oxide Terraform provider

poptrie

A poptrie implementation

Rust

oxide.go

The Go SDK for Oxide.

cli-old

The command line tool for Oxide.

Rust

design-system

Home of reusable design assets and tokens for oxide internal sites

TypeScript

rfsx

A XMODEM sender using libftdi

Rust

amd-apcb

AMD Generic Encapsulated Software Architecture Platform Security Processor Configuration Block manipulation library

Rust

rustfmt-wrapper

A simple wrapper around rustfmt to use it as a library for use when generating code

Rust

rfb

Rust

async-bb8-diesel

Safe asynchronous access to Diesel and the bb8 connection manager

Rust

xfr

An atomic ring for processing memory-mapped frames.

Rust

idolatry

An experimental IPC interface definition language for Hubris.

Rust

bootleby

Rust

openapi-lint

Validate an OpenAPI schema against some rules

Rust

dropkick

punt your dropshot service into the cloud

Rust

zone

Rust

hif

HIF: The Hubris/Humility Interchange Format

Rust

bhyve-api

Rust library interface to Bhyve ioctl API

Rust

overwatch

A P4-powered packet tracer.

Rust

offline-keystore

yubihsm-setup replacing the yubico cruft with our own cruft!

Rust

react-asciidoc

A React renderer for AsciiDoc. Built on top of Asciidoctor.js.

JavaScript

eos

A build tool for illumos.

Rust

ch-oxidase

A port of Cloud Hypervisor to run on Illumos and the Bhyve kernel space

Rust

softnpu

Software Network Processing Unit

Rust

sprockets

Now's the time on sprockets when we dance

Rust

wfm-to-pcap

.wfm to .pcap decoder

Rust

transceiver-control

Crate for controlling optical transceivers over the network

Rust

lpc55_support

Support tooling for flashing the LPC55

Rust

reqwest-conditional-middleware

A middleware wrapper that enables (or disables) a wrapped Reqwest middleware on a per-request basis

Rust

lpc55s69_rompatch_sample

A sample showing issues with the LPC55 mystery rom patch

diesel-dtrace

A diesel connection with DTrace probes for connections and queries

Rust

miniz

toy in-memory implementation of Zanzibar data model

Rust

dice-util

utilities for cert template generation and manufacturing / certifying DeviceIds

Rust

sshauth

A library for SSH key based (agents or static files) authentication tokens

Rust

garbage-compactor

terrible build scripts

Shell

slog-dtrace

A slog drain for emitting logging messages to DTrace

Rust

falcon

Fast Assessment Laboratory for Computers On Networks

Rust

smf

Rust

p9fs

A Plan 9 file system crate

Rust

ispf

An Internet packet format Serde implementation

Rust

nixie-tubes

Oxide's collection of assorted NixOS thingamajigs

Nix

tlvc

TLV-C encoding support.

Rust

thouart

Some helpful code for implementing CLI tools for connecting to simulated remote terminals

Rust

clock

wall clock software for the Oxide office

Rust

qemu-systick-bug

Program demonstrating bug in QEMU's SysTick emulation

Rust

tsc-simulator

Rust tool to calculate and simulate the TSC and other time-related values for live migration

Rust

pmbus

A no_std crate for PMBus manipulation

Rust

qorb

Rust

identicon

TypeScript

helios-omicron-brand

A zone brand for Omicron components running under Helios

Rust

cockroach

CockroachDB 22.1.x long-term maintenance branch

serde_human_bytes

Serialize [u8; N] as bytes or as human-readable strings, depending on the format.

Rust

oxide.rs-old

The Rust API client for Oxide.

Rust

sb2_poc

Proof of concept for SB2 exploits

dhcpv6

dhpcv6 encoding/decoding

Rust

netadm-sys

A network administration library and CLI for illumos

Rust

tofino

tofino support stuff

Rust

omicron-package

Tools to create Omicron-branded Zones

Rust

partial-struct

Rust

slog-error-chain

Logging Rust errors with context

Rust

renovate-config

Oxide's shared renovate configuration

ordered-toml

toml-rs except preserves table ordering

Rust

management-gateway-service

Crates shared between MGS in omicron and its agent task in hubris

Rust

kstat-rs

Rust interface to illumos libkstat

Rust

tree-sitter-p4

P4 grammar for tree-sitter

JavaScript

100

helios-omnios-build

Shell

oxidecomputer/cobalt

oxidecomputer

Reviews

Repository Details

More Repositories