Skip to content

mirage/mirage-www

Folders and files

NameName
Last commit message
Last commit date

Latest commit

811d43b · Oct 17, 2024
Oct 11, 2024
Oct 30, 2022
Oct 17, 2024
Sep 17, 2024
Apr 15, 2024
Oct 13, 2024
Dec 14, 2022
Jan 26, 2022
Jan 28, 2022
Apr 19, 2024
Apr 10, 2024
Apr 18, 2024
Jan 26, 2022
Apr 11, 2024
Apr 10, 2024
Oct 11, 2024
Apr 12, 2024
Oct 11, 2024
Oct 11, 2024
Apr 10, 2024
Apr 24, 2024

Repository files navigation

Mirageos.org

Website infrastructure and content for mirageos.org

Set up your development environment

You need opam. You can install it by following opam's documentation.

With opam installed, you can install the dependencies in a new local switch with:

make switch

Or globally, with:

make deps

Then, build the project with:

make build

Running the server

After building the project, you can run the server with:

make start

The server runs on port 8080 by default. To change the port, set the MIRAGE_WWW_PORT environment variable:

MIRAGE_WWW_PORT=8088 make start

To start the server in watch mode, you can run:

make watch

This will restart the server on filesystem changes and reload the pages automatically.

MirageOS unikernel

Alternatively, the mirage/ folder implements the webserver as a MirageOS 4 unikernel. To set it up, install the mirage tool:

opam install "mirage>=4.0.0"

Then, the unikernel can be configured:

mirage configure -f mirage/config.ml -t <TARGET> ...

Fetch the dependencies:

make depends

Build the unikernel:

dune build mirage/

Clean up:

mirage clean -f mirage/config.ml
rm -rf mirage/duniverse