Skip to content

Commit

Permalink
last little tweaks
Browse files Browse the repository at this point in the history
  • Loading branch information
alevy committed Jul 12, 2017
1 parent 74bad09 commit 8565981
Show file tree
Hide file tree
Showing 5 changed files with 88 additions and 36 deletions.
2 changes: 1 addition & 1 deletion .travis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -8,5 +8,5 @@ env:

script:
- bundle exec jekyll build
- bundle exec htmlproofer --assume-extension --check-favicon --check-html --check-img-http ./_site/
- bundle exec htmlproofer --assume-extension --check-favicon --check-html --check-img-http ./_site/ --url-swap "https?\:\/\/(localhost\:4000|www\.tockos\.org):"

64 changes: 32 additions & 32 deletions Gemfile.lock
Original file line number Diff line number Diff line change
@@ -1,80 +1,80 @@
GEM
remote: https://rubygems.org/
specs:
activesupport (5.0.0.1)
concurrent-ruby (~> 1.0, >= 1.0.2)
activesupport (4.2.9)
i18n (~> 0.7)
minitest (~> 5.1)
thread_safe (~> 0.3, >= 0.3.4)
tzinfo (~> 1.1)
addressable (2.5.0)
addressable (2.5.1)
public_suffix (~> 2.0, >= 2.0.2)
colorator (1.1.0)
colored (1.2)
concurrent-ruby (1.0.2)
ethon (0.10.1)
ffi (>= 1.3.0)
ffi (1.9.14)
ffi (1.9.18)
forwardable-extended (2.6.0)
html-pipeline (2.4.2)
html-pipeline (2.6.0)
activesupport (>= 2)
nokogiri (>= 1.4)
html-proofer (3.6.0)
html-proofer (3.7.2)
activesupport (>= 4.2, < 6.0)
addressable (~> 2.3)
colored (~> 1.2)
mercenary (~> 0.3.2)
nokogiri (~> 1.5)
nokogiri (~> 1.7)
parallel (~> 1.3)
typhoeus (~> 0.7)
yell (~> 2.0)
i18n (0.7.0)
jekyll (3.2.1)
i18n (0.8.6)
jekyll (3.5.0)
addressable (~> 2.4)
colorator (~> 1.0)
jekyll-sass-converter (~> 1.0)
jekyll-watch (~> 1.1)
kramdown (~> 1.3)
liquid (~> 3.0)
liquid (~> 4.0)
mercenary (~> 0.3.3)
pathutil (~> 0.9)
rouge (~> 1.7)
safe_yaml (~> 1.0)
jekyll-mentions (1.1.3)
jekyll-mentions (1.2.0)
activesupport (~> 4.0)
html-pipeline (~> 2.3)
jekyll (~> 3.0)
jekyll-paginate (1.1.0)
jekyll-sass-converter (1.4.0)
jekyll-sass-converter (1.5.0)
sass (~> 3.4)
jekyll-seo-tag (2.0.0)
jekyll (~> 3.1)
jekyll-sitemap (0.10.0)
jekyll-seo-tag (2.2.3)
jekyll (~> 3.3)
jekyll-sitemap (1.1.1)
jekyll (~> 3.3)
jekyll-watch (1.5.0)
listen (~> 3.0, < 3.1)
kramdown (1.12.0)
liquid (3.0.6)
kramdown (1.14.0)
liquid (4.0.0)
listen (3.0.8)
rb-fsevent (~> 0.9, >= 0.9.4)
rb-inotify (~> 0.9, >= 0.9.7)
mercenary (0.3.6)
mini_portile2 (2.1.0)
minitest (5.9.0)
nokogiri (1.6.8)
mini_portile2 (~> 2.1.0)
pkg-config (~> 1.1.7)
parallel (1.11.1)
mini_portile2 (2.2.0)
minitest (5.10.2)
nokogiri (1.8.0)
mini_portile2 (~> 2.2.0)
parallel (1.11.2)
pathutil (0.14.0)
forwardable-extended (~> 2.6)
pkg-config (1.1.7)
public_suffix (2.0.5)
rb-fsevent (0.9.7)
rb-inotify (0.9.7)
ffi (>= 0.5.0)
rb-fsevent (0.10.2)
rb-inotify (0.9.10)
ffi (>= 0.5.0, < 2)
rouge (1.11.1)
safe_yaml (1.0.4)
sass (3.4.22)
thread_safe (0.3.5)
sass (3.4.25)
thread_safe (0.3.6)
typhoeus (0.8.0)
ethon (>= 0.8.0)
tzinfo (1.2.2)
tzinfo (1.2.3)
thread_safe (~> 0.1)
yell (2.0.7)

Expand All @@ -91,4 +91,4 @@ DEPENDENCIES
rouge

BUNDLED WITH
1.14.6
1.15.1
2 changes: 1 addition & 1 deletion _config.yml
Original file line number Diff line number Diff line change
Expand Up @@ -97,7 +97,7 @@ exclude:
- CNAME
- README.md
- vendor
gems:
plugins:
- jekyll-paginate
- jekyll-mentions
- jekyll-seo-tag
Expand Down
1 change: 0 additions & 1 deletion _includes/head.html
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,6 @@
</title>
<!-- SEO metas -->
<meta name="description" content="{% if page.description %}{{ page.description }}{% elsif page.excerpt %}{{ page.excerpt | strip_html | strip_newlines | truncate: 160 }}{% else %}{{ site.description }}{% endif %}">
<link rel="canonical" href="{{ page.url | replace:'index.html','' | prepend: site.baseurl | prepend: site.url }}">
<link rel="alternate" type="application/rss+xml" title="{{ site.title }}" href="{{ "/feed.xml" | prepend: site.baseurl | prepend: site.url }}">
<!-- Favicons -->
<link rel="apple-touch-icon" href="{{ site.baseurl }}/assets/img/logo_square_big.png">
Expand Down
55 changes: 54 additions & 1 deletion _pages/documentation/getting-started.md
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,57 @@ title: Getting Started
description: Tock Getting Started
permalink: /documentation/getting-started/
---
{% remote_markdown https://raw.githubusercontent.com/helena-project/tock/master/doc/Getting_Started.md %}


Tock is an embedded operating system designed for running multiple concurrent, mutually
distrustful applications on Cortex-M based embedded platforms. Tock's design
centers around protection, both from potentially malicious applications and
from device drivers. Tock uses two mechanisms to protect different components
of the operating system. First, the kernel and device drivers are written in
Rust, a systems programming language that provides compile-time memory safety,
type safety and strict aliasing. Tock uses Rust to protect the kernel (e.g. the
scheduler and hardware abstraction layer) from platform specific device drivers
as well as isolate device drivers from each other. Second, Tock uses memory
protection units to isolate applications from each other and the kernel.


Learn More
----------

How would you like to get started?

### Use Tock

First, follow our [getting started guide](https://github.com/helena-project/tock/blob/master/doc/Getting_Started.md) to setup
your system to compile Tock and Tock applications.

Then head to the [hardware page](/hardware)
to learn about the hardware platforms Tock supports. Also check out the
[tutorials](https://github.com/helena-project/tock/blob/master/doc/tutorials) to get started running apps with TockOS.


### Develop Tock

Read our [getting started guide](https://github.com/helena-project/tock/blob/master/doc/Getting_Started.md) to get the correct
version of the Rust compiler, then look through the `/kernel`, `/capsules`,
`/chips`, and `/boards` directories.

We're happy to accept pull requests and look forward to seeing how Tock grows.


### Learn How Tock Works

Both the design and implementation of Tock are documented in the
[docs](https://github.com/helena-project/tock/blob/master/doc) folder. Read through the guides there to learn about the kernel,
Tock's use of Rust, the build system, and applications.


### Keep Up To Date

Check out the [blog](/blog) where the **Talking Tock**
post series highlights what's new in Tock and follow
[@talkingtock](https://twitter.com/talkingtock) on Twitter.

You can also browse and subscribe to our [email
group](https://groups.google.com/forum/#!forum/tock-dev) to see discussions on
Tock development.

0 comments on commit 8565981

Please sign in to comment.