Olivier Hault

Results 109 comments of Olivier Hault

> In the sense of running seL4 as a Guest OS? If so, can you share what sort of issues are currently preventing the OS from running within OpenVMM? I...

Hi @ikelos, thank you for your anwser, but my question was about to figure out what is the exhautive list of all Windows versions used to generate the content of...

@ikelos , @atcuno thank you for your answers. Indeed, my original question was limited to the three Symbol table pack files published on main [README.md](https://github.com/volatilityfoundation/volatility3#symbol-tables.) file of this repo. I...

Hi @mbr0wn, you will find some motivation at https://github.com/enjoy-digital/liteeth This question introduces another one, even more interesting about LiteX FPGA development for Etthus Research devices. USRP family could perhaps join...

@mbr0wn, I never ask about switching your entire archictecture, but only the opportunity to "sponsor" the fact that Etthus Research boards and devices could also be supported by LiteX framework....

@mbr0wn, could RFNoC be used with USRP B serie devices in USB3 or SDR equipments from third-parties ?

Hi @psrok1, can you please already post some early notes about this in the while of Documentation update because currently I cannot manage to run https://github.com/CERT-Polska/drakvuf-sandbox/releases/tag/v0.19.0-alpha2 ?