<commit_before># sel4-tutorials
Various tutorials for using seL4, its libraries, and tools.

## Prerequisites
Download the prerequisites for building and running the tutorial code following the [instructions](Prerequisites.md).

### Virtual Machine Image
You can also download a [VirtualBox virtual machine appliance](https://www.dropbox.com/s/w22i3mv2cnl8106/sel4-tutorial-lubuntu-15.04-v1.ova?dl=0) (2.6GB, based on Lubuntu 15.04 and using [VirtualBox 5.0.0](https://www.virtualbox.org/wiki/Downloads)) with all the prerequisites installed.

## Tutorial Code
The tutorial exercises are available in `apps/`.
This directory contains partially completed code and comments on how to complete it.  Sample solutions are available in `solutions/`.

To get a copy of the seL4 API and library exercise code and all libraries and tools needed to build and run it do the following:
    mkdir sel4-tutorials
    cd sel4-tutorials
    repo init -u http://github.com/sel4-projects/sel4-tutorials-manifest
    repo sync -m sel4-tutorials.xml

To get a copy of the CAmkES exercise code and all libraries and tools needed to build and run it do the following:
    mkdir camkes-tutorials
    cd camkes-tutorials
    repo init -u http://github.com/sel4-projects/sel4-tutorials-manifest
    repo sync -m camkes-tutorials.xml<commit_msg>Fix up README.md formatting<commit_after># sel4-tutorials
Various tutorials for using seL4, its libraries, and tools.

## Prerequisites
Download the prerequisites for building and running the tutorial code following the [instructions](Prerequisites.md).

### Virtual Machine Image
You can also download a [VirtualBox virtual machine appliance](https://www.dropbox.com/s/w22i3mv2cnl8106/sel4-tutorial-lubuntu-15.04-v1.ova?dl=0) (2.6GB, based on Lubuntu 15.04 and using [VirtualBox 5.0.0](https://www.virtualbox.org/wiki/Downloads)) with all the prerequisites installed.

## Tutorial Code
The tutorial exercises are available in [`apps`](apps).
This directory contains partially completed code and comments on how to complete it.  Sample solutions are available in [`solutions`](solutions).

To get a copy of the seL4 API and library exercise code and all libraries and tools needed to build and run it do the following:

        mkdir sel4-tutorials
        cd sel4-tutorials
        repo init -u http://github.com/sel4-projects/sel4-tutorials-manifest
        repo sync -m sel4-tutorials.xml

To get a copy of the CAmkES exercise code and all libraries and tools needed to build and run it do the following:

        mkdir camkes-tutorials
        cd camkes-tutorials
        repo init -u http://github.com/sel4-projects/sel4-tutorials-manifest
        repo sync -m camkes-tutorials.xml
{'fraction_non_alphanumeric': 0.07726432532347505, 'fraction_numerical': 0.025138632162661736, 'mean_word_length': 3.983425414364641, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 4, 'lorem ipsum': 0, 'www.': 4, 'xml': 4}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 6, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3884477', 'n_tokens_mistral': 855, 'n_tokens_neox': 779, 'n_words': 306}