l3-ENSL/dendrobates-t-azureus
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Forked from https://github.com/GuillaumeDIDIER/dendrobates-t-azureus/
161 Commits 1 Branch 0 Tags 32 MiB
Rust 76.3%
Python 12.4%
Julia 7.3%
Shell 3.2%
Awk 0.8%
e4c838e8b0
Go to file
Guillume DIDIER e4c838e8b0 Rust nightly update - basic_timing_cache_channel 
Make sure this compiles with th newer nightly
2021-06-10 11:17:31 +02:00
.cargo Proper VGA driver, just missing print! / println! support. 2019-10-06 17:16:19 +02:00
.idea Start working on prefetcher reverse engineering experiment 2021-03-22 16:13:01 +01:00
aes-t-tables Rust nightly update - aes-t-tables 2021-06-10 11:16:09 +02:00
basic_timing_cache_channel Rust nightly update - basic_timing_cache_channel 2021-06-10 11:17:31 +02:00
cache_side_channel update AES for the new side channel API 2021-02-16 11:33:29 +01:00
cache_utils New bersion of the side channels, with common implementation for F+R and F+F 2021-01-26 10:03:50 +01:00
covert_channels_benchmark New version of the benchmark program 2021-01-28 09:36:15 +01:00
covert_channels_evaluation New bersion of the side channels, with common implementation for F+R and F+F 2021-01-26 10:03:50 +01:00
cpuid Fix compile issues on non std platform 2020-05-28 10:01:22 +02:00
flush_flush New bersion of the side channels, with common implementation for F+R and F+F 2021-01-26 10:03:50 +01:00
flush_reload New bersion of the side channels, with common implementation for F+R and F+F 2021-01-26 10:03:50 +01:00
polling_serial Various dependency updates - should now compile again 2020-09-29 10:51:24 +02:00
prefetcher_reverse Start working on prefetcher reverse engineering experiment 2021-03-22 16:13:01 +01:00
results-27-02-2020-60fe76e366 Add the results from teh measurements 2020-02-28 12:06:15 +01:00
scripts Get things to run under linux, also fix serial console 2019-11-12 18:04:11 +01:00
src Various warning enhancements 2020-07-20 13:44:33 +02:00
tests Refactor to start integrating frequency measurement and portability 2020-05-11 17:04:33 +02:00
turn_lock New bersion of the side channels, with common implementation for F+R and F+F 2021-01-26 10:03:50 +01:00
vga_buffer Various dependency updates - should now compile again 2020-09-29 10:51:24 +02:00
.gitignore AES experiment update 2020-12-08 09:45:24 +01:00
Cargo.lock Start working on prefetcher reverse engineering experiment 2021-03-22 16:13:01 +01:00
Cargo.toml Start working on prefetcher reverse engineering experiment 2021-03-22 16:13:01 +01:00
Readme.md Start D. Tintorius Azureus project 2019-10-01 14:45:32 +02:00
requirements.txt AES experiment update 2020-12-08 09:45:24 +01:00
rust-toolchain Figures 2021-01-05 11:39:49 +01:00
stty.sh Add a script with the correct serial port settings 2020-02-19 11:39:50 +01:00
x86_64-D.TinctoriusAzureus.json Proper VGA driver, just missing print! / println! support. 2019-10-06 17:16:19 +02:00

Readme.md

Dendrobates Tinctorius Azureus - The blue poison frog

This is a minimal kernel (written in rust) meant to help idissect (reverse engineer) Intel CPUs (hence the blue color of the chosen frog)

Everything remains to be done.

Design decision :

  • Will only ever have one user process

  • Should limit use of interrupts as much as possible

  • Should support as many instructions as possible, make sure to properly enable all floating points and vector extensions

  • Get a kernel to boot

  • Get serial console

  • Deal with cpuid / floating point niceties

  • Deal with the user mode switch