Skip to content


  • Arctic Code Vault Contributor


@moulecorp @bootlin


  1. Linux kernel source tree

    C 98k 33.5k

  2. TLS proxy routing TCP connections to backends based on the TLS SNI in the TLS handshake

    Go 2 1

  3. Helps you create beer recipes and makes your life easier in the (home)brewing process.

    Go 2

  4. Simple stupid pastebin

    PHP 19 6

  5. Bootlin embedded Linux and kernel training materials

    TeX 164 73

  6. Backport git commits on tracked files from a branch to the local one

    Python 1

217 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

September 2020

Created a pull request in SELinuxProject/refpolicy that received 1 comment

Set of fixes made while using a minimal Buildroot generated system

Hello, While working on adding SELinux support in Buildroot (a tool widely used to generate small or embedded Linux systems), I came across multipl…

+50 −1 1 comment

Seeing something unexpected? Take a look at the GitHub profile guide.

You can’t perform that action at this time.