@@ -3,7 +3,10 @@ title = "Arvo"
3template = "doc.html"
3template = "doc.html"
6−**Arvo** is the Urbit operating system and kernel. Arvo's state is a pure function of its [event log](../eventlog), and it serves as the Urbit event manager. It contains [vanes](../vane), which are kernel modules that perform essential system operations. Arvo itself can only deal with one file at a time. For more, it relies on [Ford](../ford), the build-system vane.
6+**Arvo** is the Urbit operating system and kernel. Arvo's state is a pure
7+function of its [event log](../eventlog), and it serves as the Urbit event
8+manager. It contains [vanes](../vane), which are kernel modules that perform
9+essential system operations.
8Arvo being purely functional means that the state of the operating system at a given moment is completely determined by the sequence of events in the event log. In other words, the state of an Arvo instance is given by a lifecycle function
11Arvo being purely functional means that the state of the operating system at a given moment is completely determined by the sequence of events in the event log. In other words, the state of an Arvo instance is given by a lifecycle function
@@ -19,13 +22,19 @@ Here, [Vere](../vere) is the virtual machine running Urbit.
20Arvo is located in `/home/sys/arvo.hoon` within your urbit.
23Arvo is located in `/home/sys/arvo.hoon` within your urbit.
25+Arvo vanes include [Ames](../ames) for networking, [Behn](../behn) for timing,
22−Arvo vanes include [Ames](../ames) for networking, [Behn](../behn) for timing, [Clay](../clay) for filesystem and typed revision control, [Dill](../dill) for terminal driving, [Eyre](../eyre) for web services, [Ford](../ford) for building, and [Gall](../gall) for application management.
26+[Clay](../clay) for filesystem and typed revision control, [Dill](../dill) for
27+terminal driving, [Eyre](../eyre) for web services, [Ford](../ford) for
28+building, and [Gall](../gall) for application management.
24Vanes and other programs for Arvo are written in [Hoon](../hoon).
30Vanes and other programs for Arvo are written in [Hoon](../hoon).
26−A ship creates its own copy of Arvo via a bootstrap sequence known as a [Pill](../pill).
32+A ship creates its own copy of Arvo via a bootstrap sequence known as a
28### Further Reading
35### Further Reading
30−- [The Arvo tutorial](@/docs/tutorials/arvo/_index.md): An in-depth technical guide to Arvo and its vanes.
37+- [The Arvo tutorial](@/docs/tutorials/arvo/_index.md): An in-depth technical
38+ guide to Arvo and its vanes.
31−- [The Technical Overview](@/docs/tutorials/concepts/technical-overview.md): An overview of all of Urbit.
39+- [The Technical Overview](@/docs/tutorials/concepts/technical-overview.md): An
40+ overview of all of Urbit.