ctf.lse.epita.fr

lse.epita.fr

EPITA Systems Laboratory - C!

https://www.lse.epita.fr/projects/c!.html

Is a programming language designed with system programming in mind and more specifically kernel programming. Is greatly inspired by C, but its syntax differs in a few key points in order to suppress a few ambiguities. Moreover it extends C with constructs which aims at simplifying system programming, such as syntactic sugar for often used constructs. C! Also adds object-oriented features. It enables us to focus on the frontend, and leaves machine code optimisation to tools that are proven reliable. AddPo...

lse.epita.fr

EPITA Systems Laboratory - RATHAXES

https://lse.epita.fr/projects/rathaxes.html

Rathaxes is a language for code once, compile everywhere device drivers development. Basically, it means that the developper writes the behavior of the hardware once. It will then be turned into calls to the kernel API targeted by the compiler. Using an internal template library, the compiler is able to translate its generic representation into a OS specific code. The ability to extend this template library enables Rathaxes to provide a driver environment for any OS which has been implemented.

lse.epita.fr

EPITA Systems Laboratory - BITS

https://lse.epita.fr/projects/bits.html

Bits was an educational kernel project which was designed to take a different approach to traditional kernel programming teaching by being highly modular. this enables students to work independantly on different subsystems and therefore increase productivity. Project is now superseded by STOS.

lse.epita.fr

EPITA Systems Laboratory - Team

https://lse.epita.fr/laboratory/team.html

Jean-François Nguyen Thanh Nhan. Christophe Fajardo y Romera.

lse.epita.fr

EPITA Systems Laboratory - Events

https://lse.epita.fr/laboratory/events.html

Alongside its courses and projects, LSE regularly organises lectures and talks open to campus students as well as outside people in order to either show the work of the laboratory or introduce new concepts and technologies. Every second thuesday of the month, the LSE organises lightning talks. A lightning talk take between 15 and 20 minutes and is a short perspective about a subject members have found interesting. LSE Summer Week, July 13-16 2016. LSE Summer Week, July 15-19 2015. HOWTO: Exploitation tec...

lse.epita.fr

EPITA Systems Laboratory - CNORM

https://lse.epita.fr/projects/cnorm.html

CNORM is a research C frontend developped in codeworker. Its features include analysing and extending C code. It is used by both the Rathaxes. Project and the KOOC. CNORM is available on Google Code.

lse.epita.fr

EPITA Systems Laboratory - Courses

https://lse.epita.fr/teaching/courses.html

The LSE gives EPITA and EPITECH students a series of courses on lab related topics. K is an introductory course on kernel programming for third-year EPITA students. This course objective is to develop an x86 toy kernel with capabilities similar to an arcade computer. The kernel is able to perform basic hardware handling (syscalls, timer, keyboard, etc) and to launch games (ELF binaries). Link to the course website: site. Link to the materials: materials. Computer Architecture and Assembly Language. Is te...

lse.epita.fr

EPITA Systems Laboratory - KOPUL

https://lse.epita.fr/projects/kopul.html

KOPUL : Kind Of Pack Unpack Language. KOPUL is an alternate solution to DSL such as ASN1, XDR, IDL, Datascript, Protobuf, and to the pack/unpack functions of Perl. It enables one to describe the layout of all binary data in memory or in a file. It uses LLVM. As a backend to be able to either generate an encoding/decoding library for the described file, or interpret KOPUL expressions at runtime thanks to LLVM’s Just In Time capabilities. KOPUL is available on Google Code.

lse.epita.fr

EPITA Systems Laboratory - mikro

https://lse.epita.fr/projects/mikro.html

Mikro is an experimental Micro Kernel written in C . This micro kernel intends to be very lightweight and flexible. The default compiler for mikro is clang. Currently only i386 is supported but we aim to support x86 64 and armv7. Mikro can be booted using any multiboot compliant bootloader. By default, it comes with a lightweight bootloader called mikrob. Libmikro: communication with the kernel.