Making a firewall using eBPFs and cgroups
eBPFs are fun. They present an easy way to insert pieces of code in the kernel which are compiled to opcodes which are guaranteed to not crash it: The instru...
Posts by Category
Coding
Implementing Signal’s Double Ratchet algorithm
I’ve been reading up on the Double Ratchet algorithm and its implementations lately, as it’s an exciting piece of crypto that offers some very nice guarantee...
Rust-OS Kernel - Task scheduler
This post is about writing a simple, round-robin task scheduler for my Rust kernel. It builds on some concepts I wrote about in my previous post: To userspac...
Rust-OS Kernel - To userspace and back!
This post documents my attempts to manage to jump (or return?) from kernel-space to usermode in my Rust kernel so that it can do what a kernel is supposed to...
WASM Game of Life
This is an implementation of Game Of Life in Rust compiled to WASM based on the Rust and WASM book. This means it’s Rust, running on the browser, faster than...
Rust-OS Kernel buddy allocator - Part 3: Allocator manager
Previous post: Part 2: Buddy allocator
Rust-OS Kernel buddy allocator - Part 2: Buddy allocator
Previous post: Part 1: Creating a simple allocator.
Rust-OS Kernel buddy allocator - Part 1: Creating a simple allocator
This relates to my very-much-in-development kernel in Rust: https://github.com/nikofil/rust-os
First month of GSoC 2017
The first month of my Google Summer of Code is already coming to an end, and the Phase 1 evaluation is also around the corner, which coincidentally is also t...
Kernel
Rust-OS Kernel - Task scheduler
This post is about writing a simple, round-robin task scheduler for my Rust kernel. It builds on some concepts I wrote about in my previous post: To userspac...
Rust-OS Kernel - To userspace and back!
This post documents my attempts to manage to jump (or return?) from kernel-space to usermode in my Rust kernel so that it can do what a kernel is supposed to...
Rust-OS Kernel buddy allocator - Part 3: Allocator manager
Previous post: Part 2: Buddy allocator
Rust-OS Kernel buddy allocator - Part 2: Buddy allocator
Previous post: Part 1: Creating a simple allocator.
Rust-OS Kernel buddy allocator - Part 1: Creating a simple allocator
This relates to my very-much-in-development kernel in Rust: https://github.com/nikofil/rust-os
Fixing the Dell XPS 13’s double space issue (with Linux kernel modules!)
Some days ago I bought the Dell XPS 13 9350. One of the most popular laptops, still quite expensive two years after its launch. While setting it up, I soon f...
Rust
Rust-OS Kernel - Task scheduler
This post is about writing a simple, round-robin task scheduler for my Rust kernel. It builds on some concepts I wrote about in my previous post: To userspac...
Rust-OS Kernel - To userspace and back!
This post documents my attempts to manage to jump (or return?) from kernel-space to usermode in my Rust kernel so that it can do what a kernel is supposed to...
WASM Game of Life
This is an implementation of Game Of Life in Rust compiled to WASM based on the Rust and WASM book. This means it’s Rust, running on the browser, faster than...
Rust-OS Kernel buddy allocator - Part 3: Allocator manager
Previous post: Part 2: Buddy allocator
Rust-OS Kernel buddy allocator - Part 2: Buddy allocator
Previous post: Part 1: Creating a simple allocator.
Rust-OS Kernel buddy allocator - Part 1: Creating a simple allocator
This relates to my very-much-in-development kernel in Rust: https://github.com/nikofil/rust-os
C
Fixing the Dell XPS 13’s double space issue (with Linux kernel modules!)
Some days ago I bought the Dell XPS 13 9350. One of the most popular laptops, still quite expensive two years after its launch. While setting it up, I soon f...
GSoC
First month of GSoC 2017
The first month of my Google Summer of Code is already coming to an end, and the Phase 1 evaluation is also around the corner, which coincidentally is also t...
Go
First month of GSoC 2017
The first month of my Google Summer of Code is already coming to an end, and the Phase 1 evaluation is also around the corner, which coincidentally is also t...
Writeups
E-class < 3.6 code execution
I’ve been planning to do this write-up for a while now, but I decided to wait for at least 40 days after reporting this bug before disclosing it, as it conce...
Exploits
E-class < 3.6 code execution
I’ve been planning to do this write-up for a while now, but I decided to wait for at least 40 days after reporting this bug before disclosing it, as it conce...
Encryption
Implementing Signal’s Double Ratchet algorithm
I’ve been reading up on the Double Ratchet algorithm and its implementations lately, as it’s an exciting piece of crypto that offers some very nice guarantee...
Python
Implementing Signal’s Double Ratchet algorithm
I’ve been reading up on the Double Ratchet algorithm and its implementations lately, as it’s an exciting piece of crypto that offers some very nice guarantee...
Security
Making a firewall using eBPFs and cgroups
eBPFs are fun. They present an easy way to insert pieces of code in the kernel which are compiled to opcodes which are guaranteed to not crash it: The instru...