1 / 6

Rathaxes

Rathaxes. RATHAXES is :. A device driver generator. Multi Operating system. ?. OpenBSD. Windows. Linux. Other OS. Why Rathaxes ?. Driver is :. Hard to write Mono Operating System A Critical syste m component : Kernel panics . How is it possible?.

gavril
Download Presentation

Rathaxes

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  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

More Related