Home
Contribute Contact Us Browse all meetings
Home Contribute Contact Us Browse all meetings
Rust Programming Language / Integrating Rust / 6 Feb 2018
Rust Programming Language / Integrating Rust / 6 Feb 2018
Previous Meeting Next Meeting
⏯
Add meeting Rate page Subscribe
youtube image
►
From YouTube: Sebastian Humenda - Rust On L4Re

Description

Safe Language Meets Safe Microkernel

Rust is a modern systems programming language with compiler-enforced memory-safety guarantees, safe concurrency and a powerful type system. L4Re offers safety features on the operating system level through isolation and virtualisation. Both together can form a unique combination for reliable and secure services. In this talk, I will present my port of Rust to L4Re and discuss some of the challenges of integrating the compiler Rustc into a different build system. I will also discuss future work on how to apply Rust's strong type system to L4Re IPC.

Microkernels Devroom @ FOSDEM 2018
https://fosdem.org/2018/schedule/event/microkernel_l4re_rust/

These talks have been recorded at FOSDEM (https://fosdem.org/)
This work is licensed under the Creative Commons Attribution 2.0 Belgium Licence.
To view a copy of this licence, visit http://creativecommons.org/licenses/by/2.0/be/deed.en

A

Order.

A

60.

A

You see.

A

It's more.

A

Good.

A

And.

A

This is football. The poor.

A

Guy go out to him.

A

I.

A

D.

A

D.

A

Ok, because of the fire, I.

A

60 mcconnell, what a vertex 360.

A

By link salmons last days, hollywood hits travels and best show.

A

6.

A

But they sing for me.

B

Today,.

A

Racing is immense.

A

They are Guaymas,, he did not tell me,.

A

Today,.

A

In his name.

A

We die faithful,.

A

That's right,.

A

And.

A

22, that's.

A

Why, and.

A

Ok, Sánchez,.

A

Or he.

A

Has taught the forinto six.

A

There,.

A

Or yes,.

A

Great,, the rest,.

A

King,, nothing is expensive,.

A

2.

A

And a lot,.

A

2,, it's a dress in the sun,.

A

Yes,.

A

Record.

A

And.

A

You.

A

Yes,.

A

No also.

A

March, without exception.

A

Are.

A

Many.

A

More.

A

And.

A

Never precision.

A

Or not.

A

And.

A

The gas more.

A

And.

A

Now they are constant.

A

Ok,.

A

Azmani.

B

Del.

A

Ente things is my life.

A

Until today, the casting waits to see until now. Yes, yes,.

A

The biggest, but not so excellent and exact formed in shape to discover.

A

Is problem.

A

2.

A

And d: yes, it is terrible if it is necessary.

A

ah You share.

A

Efe.

A

To me.

A

The first of the flowering many a lot.

A

Because I will be.

A

And yes,.

A

And.

A

You mount your 1st.

A

Smooth.

A

That's why users.

A

In 3.

A

S.

A

This volume, false.

A

2, the second expert.

A

Oh.

A

And yes, yes, yes,.

A

The virtues thank you, defenders.

A

Ok,.

A

This dam and declared himself in the subway and that's it by stuart de h,.

A

Blanco.

A

Yes,.

A

So.

A

I.

A

From the top.

A

And everyone to vice several leaves.

A

But they they are before front.

A

And I.

B

D x.

B

First, the focus of ads.

A

X.

A

What is.

B

Yes,.

A

Waiting for.

A

6.

A

3.

A

Ok,.