selfe-start 0.1.0

Crate defining the entry point to the initial thread on seL4
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27

# Copyright (c) 2015 The Robigalia Project Developers
# Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
# http://www.apache.org/licenses/LICENSE-2.0> or the MIT license <LICENSE-MIT
# or http://opensource.org/licenses/MIT>, at your option. All files in the
# project carrying such notice may not be copied, modified, or distributed
# except according to those terms.
[package]
name = "selfe-start"
version = "0.1.0"
authors = ["Corey Richardson <corey@octayn.net>", "Russell Mull <russell@auxon.io>", "Zachary Pierce <zack@auxon.io>"]
description = "Crate defining the entry point to the initial thread on seL4"
documentation = "https://doc.robigalia.org/sel4_start"
repository = "https://gitlab.com/robigalia/sel4-start"
readme = "README.md"
license = "MIT/Apache-2.0"
resolver = "2"

[dependencies]
selfe-sys = "0.1"
selfe-runtime = "0.1"

[build-dependencies]
selfe-config = "0.2"

[features]
default = []
panic_handler = ["selfe-runtime/panic_handler"]