1. Rathaxes

2. RATHAXES is : A device driver generator Multi Operating system ? OpenBSD Windows Linux Other OS

3. Why Rathaxes ? Driver is: Hard to write Mono Operating System A Critical system component : Kernel panics 

4. How isit possible? Part of the code is shared between OSes: device algorithms Concepts are shared Similar projects have been attempted before (DEVIL)

5. How Rathaxes works ?   157 KERNEL_INTERFACES interface_rs232   158 {   159     read(CONTEXT context, BUFFER output)   160     {   161         CONCAT(output, rcv_buff)   162             PRE   163             {   164                 WAIT(lsr.data_available, lsr.data_available->TRUE);   165             };   166     };   167    168     write(CONTEXT context, BUFFER input)   169     {   170         WAIT(lsr.thr_and_line, lsr.thr_and_line->empty_idle);   171         COPY(snd_buff, input)   172             PRE   173             {   174                 WAIT(lsr.thr_state, lsr.thr_state->empty);   175             };   176     };   177    178     on_plug(CONTEXT context)   179     {   180         SET(baudrate, 0d9600);   181    182         // Set mode 8 data bits, 1 stop bit, no parity   183         SET(lcr.word_lenght, lcr.word_lenght->_8bits);   184         SET(lcr.stop_bits, lcr.stop_bits->_1stop_bits);   185         SET(lcr.parity_type, lcr.parity_type->none);   186    187         SET(mcr.rts, 1);   188         SET(mcr.dts, 1);   189     }; Parsing Frontal BDSL BackEnd Parsing Frontal RDSL Files.rtx .C Files The compiler buildspiecesof code to prepare the C code generation Compiler generates C code ready to becompiled The compiler choosespiecesof code to generatefrom the back library Rtx files are parsed by the compiler Developerwriteshis driver in Rathaxes in rtx files Windows OpenBSD Others Linux Black Library

6. Thanks to Security and System researchLaboratory of (Epita, Epitech in France) The parsing and generationlanguageused by Rathaxes Rathaxes Student’sSchool