[robigalia-dev] New site, what examples/tutorials do you want to see?

Killian Coddington coddinkn at clarkson.edu
Tue Jan 5 09:38:30 EST 2016


The new site is nice both aesthetics and functionally. I like the simpe
white with black text but not hideous look. I would like to start
contributing again and in a hopefully more significant capacity.

I know one of your previous emails mentioned a java script demo, I am
uncertain I understand exactly what that would be but Im willing to take
that on as it seems like a fairly well defined/self-contained task, I just
might need some clarification about it.

After completing that in a (hopefully) somewhat timely fashion I'd like to
continue contributing as much as I can, this project seems cool and like a
great learning opportunity and I don't want to miss being involved due to

Let me know if there is anything else you think I could be helpful with,
and again good job with the site. Also feel free to harrass me (of course
in compliance with the code of conduct) about contributing or failing to
stay involved at least in knowing whats going on.


On Tue, Jan 5, 2016 at 12:56 AM, Corey Richardson <corey at octayn.net> wrote:

> New site is up: https://robigalia.org/
> Any and all feedback (content, style) requested.
> Source is at:
> https://gitlab.com/robigalia/meta/tree/master/docs
> In particular note the new content,
> https://robigalia.org/build-environment.html
> https://robigalia.org/contributing.html
> Next up, copying that CONTRIBUTING.md all over the damn place, and come up
> with a LICENSE file so gitlab stops bugging me.
> READMEs still need to be edited (and one written for the devbox), tutorials
> need to be written, and example code needs to be written.
> I need to expand the introduction to have a brief background on
> microkernels,
> Rust, and seL4.
> What examples/tutorials would you like to see? I plan on writing a crate
> for
> using the x86 VGA framebuffer and an example using that. I also want to
> port
> the official sel4 tutorials, though not CAmkES:
> https://github.com/seL4-projects/sel4-tutorials
> Once that's done, it's time to announce! This will involve a post to the
> sel4
> mailing list, hacker news, the rust subreddit, and the rust community
> forums.
> I expect it to make a small "plish" with decent reception (read: upvotes)
> and
> no new contributors, but a lot of interest in where the project goes.
> --
> cmr
> +16032392210
> http://octayn.net/
> _______________________________________________
> robigalia-dev mailing list
> robigalia-dev at lists.robigalia.org
> http://lists.robigalia.org/listinfo/robigalia-dev
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.robigalia.org/pipermail/robigalia-dev_lists.robigalia.org/attachments/20160105/102fdce6/attachment.html>

More information about the robigalia-dev mailing list