# Copyright (c) 2015 The Robigalia Project Developers # Licensed under the Apache License, Version 2.0 or the MIT license , 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 ", "Russell Mull ", "Zachary Pierce "] 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"]