Bedrock

Bedrock is a compact and portable 16-bit computer system, designed to be quick to implement and use.

Specifications

Core specifications

• Architecture specification
  This specification describes the architecture required to run Bedrock bytecode.
• Assembler specification
  This specification describes the syntax and semantics of the Bedrock assembler, which converts human-readable source code into Bedrock bytecode.
• Device interface specification
  This specification describes the standard device interfaces expected by Bedrock programs.

Auxillary specifications

• Bitmap font specification
  This specification describes a file format for proportional bitmap fonts, supporting characters from the Unicode basic multilingual plane.
• Program metadata specification
  This specification describes a format for including metadata in assembled Bedrock programs.

Manual

Assemblers

Emulators

bedrock-pc

bedrock-pc is a Bedrock assembler and emulator for Windows and Linux computers, written in Rust.

Source code can be found at code.benbridle.com/bedrock-pc.

The latest release is available from br-1.0.0-alpha4 as a pre-built Linux executable.

bedrock-nds

bedrock-nds is a Bedrock emulator for the Nintendo DS console. The program is written in C, using the BlocksDS SDK and libnds.

Source code can be found at code.benbridle.com/bedrock-nds.

REPL

The following bash program will provide a workable REPL environment for testing small pieces of Bedrock code. It assumes that the bedrock-pc emulator is available to the system as br.

#!/bin/bash
while true; do
    read -r -e -p ">>> " SOURCE &&
    echo "${SOURCE} HLT" | br asm | br -d -z 3;
    echo;
done

Programs

Applications

• Cobalt
  A focused and intuitive pixel art painting program.

Utilities

• lcd-clock.br (363 bytes)
  Small LCD clock program.
• sysinfo.br (4644 bytes)
  Displays information about the Bedrock system that the program is running on.

Demos

• alphabet-snake.br (1149 bytes)
  Graphical demo that has a chain of colour-changing letters following the mouse.
• laser-pointer.br (24 bytes)
  Graphical demo that simulates a green laser pointer in the dark.

Benchmarks

• numbers-benchmark.br (83 bytes)
  Prints all numbers from 65535 to 0 to the terminal. Uses the math device for decimal conversions.
• numbers-benchmark-nomath.br (232 bytes)
  Prints all numbers from 65535 to 0 to the terminal. Doesn’t use the math device for decimal conversions, instead an optimised double-dabble algorithm is used. Runs slower than the math version, but covers a wider range of instructions and is good for testing new emulators.