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/
178 Commits 1 Branch 0 Tags 32 MiB
Rust 76.3%
Python 12.4%
Julia 7.3%
Shell 3.2%
Awk 0.8%
4cf1fa220f
Go to file
Guillume DIDIER 4cf1fa220f Backport from 5c9ac31ab the logic avoid unnecessary iterations 
Improved version of the covert channels do not need to iterate over all core pairs (they pick their own core pair, and already iterate on all of them as part of calibration).
This avoids an unnecessary n^4 complexity, and reduces it to n^2, where n is the number of cores.
2021-07-19 09:36:25 +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 Update the cache channel interface 2021-06-28 16:26:02 +02:00
basic_timing_cache_channel Fix compile issue 2021-07-19 09:33:54 +02:00
cache_side_channel Update the cache channel interface 2021-06-28 16:26:02 +02:00
cache_utils Rust nightly update - cache_utils 2021-06-10 11:19:00 +02:00
covert_channels_benchmark Backport from 5c9ac31ab the logic avoid unnecessary iterations 2021-07-19 09:36:25 +02:00
covert_channels_evaluation Rust nightly update - covert_channel_evaluation 2021-06-10 11:21:23 +02:00
cpuid Rust nightly update - cpuid 2021-06-10 11:21:38 +02:00
flush_flush Update the cache channel interface 2021-06-28 16:26:02 +02:00
flush_reload Hotfix naive basic timing cache channel for use in prefetcher experiments 2021-07-19 09:01:24 +02:00
polling_serial Rust nightly update - polling serial & vga_buffer 2021-06-10 11:22:50 +02:00
prefetcher_reverse Hotfix - Use naive F+R instead of F+R 2021-07-19 09:02:08 +02: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 Rust nightly update - dendrobates 2021-06-10 11:24:28 +02:00
tests Refactor to start integrating frequency measurement and portability 2020-05-11 17:04:33 +02:00
turn_lock Rust nightly update - turn_lock 2021-06-10 11:23:13 +02:00
vga_buffer Rust nightly update - polling serial & vga_buffer 2021-06-10 11:22:50 +02:00
.gitignore AES experiment update 2020-12-08 09:45:24 +01:00
Cargo.lock Update the cache channel interface 2021-06-28 16:26:02 +02:00
Cargo.toml Rust nightly update - dendrobates 2021-06-10 11:24:28 +02: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