[robigalia-dev] Today's status: rust-sel4

Graham Northup grahamnorthup at yahoo.com
Sat Jan 2 15:31:27 EST 2016


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

"sel4" and "seL4" are such PITAs to type :P

All of that sounds actually fun; let me know if I can help in some
silly way!

Thanks,
Graham

On 01/02/2016 07:36 AM, Corey Richardson wrote:
> Hi all,
> 
> It's finally started happening. I used to write "self" instead of
> "sel4", and now I'm writing "sel4" instead of "self". Send help.
> 
> In other news, the first draft of rust-sel4 is pushed to 
> https://gitlab.com/robigalia/rust-sel4
> 
> This is the basic high-level interface to kernel objects, but
> there's still some more work to do for object allocation. I did an
> inspection of sel4-sys and found a number of silly bugs and even a
> missing syscall (NBRecv).
> 
> The next thing to do code-wise is define some more opinionated
> interfaces to start creating the "personality" for Robigalia. I'm
> not quite sure how I want it to feel yet. I'll tinker around with
> some ideas.
> 
> However, the next thing I'm going to work on is documentation. I
> want to polish up the READMEs and crate documentation, and start on
> some small examples using each of the crates.
> 
> I'm going to document setting up a Rust environment for
> cross-compiling without using the Vagrant VM.
> 
> I'm going to rewrite the README for the devbox.
> 
> I'm going to create the homepage for good this time, maybe not with
> much content yet.
> 
> I'm planning a series of documents introducing newcomers to
> microkernels, osdev, seL4, Rust, and the combination of the four.
> They might published as a blog post of some kind, although I really
> dislike the blog-post format for that sort of thing.  They'll
> probably end up as files in meta.
> 
> I've also updated doc.robigalia.org. It needs a nicer index page,
> ideally generated from the list of crates, though I'll probably put
> that off until CI.
> 
> Until next time, -- cmr +16032392210 http://octayn.net/
> 
> 
> 
> _______________________________________________ robigalia-dev
> mailing list robigalia-dev at lists.robigalia.org 
> http://lists.robigalia.org/listinfo/robigalia-dev
> 
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJWiDOYAAoJEF0ADm9Tk3b7LOMQAL+jpcSE2UqaVNf2wi0zdZzw
Bu3GaG8zDmFdSFUSblIw+4iTg6tqbDOYJPs9jewwU0+wgmetlutxMCa+fyHj+lGm
8mrGVRRvOeMGC/bfiG5NHL9khO5xzltdVUNA35Ipbj32Lov2rpMQa6XN87UZ4CzT
UBxcmEzls07sok7EdKJQGcNhZpQw5b7Bvg9tTLHUYUi9RI6oGjrfTfxpkfB+T0KJ
deBiICKoIjdLmI85YJ7SLon/lM9OAZX3vwj5Z0e/f+mk1OE+BbJTc2AsuMiL9UMx
FHhezHsGfjdfp3xp6o6Tkbvj7vdd0HBUj928P7dvLTF8sY8y7D4Dm5/BxaiJO/Qj
W/85oTY4fMvlH8NfkTeeboiuFXmOHIM9OkUZuX0cx3gpZsxlI7PU4JoUhMWoxGhK
dreq9UwGHUFdim57hXTmMyxc45fM09xsUw2XC4OinQNrMstR7IbqKY4s5EhOFfQg
Y27+wRyr1tjC8vzO04WVYVNRyaikGZSbiQhk7KKVeuTn72gpexxCPCdt+vOwvLiv
qtS8wLTjd7CXgm4A3o42hO+phN3Ak8G+lAq26QUhCcU+91ivwUimDwxxloW6DBcO
Qy3gbiixBKmq3flwYwhWcdxffHHmly0SWC4VX0Md+xCxXB8V5Jpq+ddHgD4AHP70
Z6+mgehHLRZwq369yM+r
=4S2p
-----END PGP SIGNATURE-----



More information about the robigalia-dev mailing list