Skip to main content
Ctrl+K
CellulOS 0.1 documentation - Home CellulOS 0.1 documentation - Home
  • Welcome to CellulOS’s Wiki!

User Guide

  • Getting Started
    • Booting the System
  • Executing User Code
    • Spawning Common PDs
    • Flexible PD Configuration
  • Configuration Options
  • System Tests
  • Model State
  • Benchmarking

Development

  • Resource Servers
    • Requirements
    • Creation
    • Communications
    • Registry Library
    • Creating a Resource Server: Step by Step
  • Resources in CellulOS
  • Implementation Glossary
  • Virtual Machine Monitor
  • Troubleshooting Development Errors
  • Endpoint Component

Design

  • Design Overview
  • Apps
    • The Ramdisk Server
    • The File Server
    • The KVStore Server
  • Design Decisions
    • Preventing Deadlocks with Async Messages
    • Cleanup Policy Design
    • PD Configuration Design
      • PD Runtime Setup
      • Unified PD Entry and Exit Point
  • Design Quirks
  • Known Limitations
  • .md

Getting Started

Getting Started#

  • Booting the System
    • Booting on Qemu
    • Booting on Odroid-C4
      • Initial Setup
      • Running an image
      • Troubleshooting
        • Serial port continuously prints garbage

previous

Welcome to CellulOS’s Wiki!

next

Booting the System

By Sid Agrawal, Linh Pham, Arya Stevinson

© Copyright 2024, Sid Agrawal.