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/
190 Commits 1 Branch 0 Tags 32 MiB
Rust 76.3%
Python 12.4%
Julia 7.3%
Shell 3.2%
Awk 0.8%
646db42766
Go to file
Guillume DIDIER 646db42766 Start work on a Cache Slicing type that fallsback gracefully, for cache attack purposes. 
It falls back to using the cache line virtual addr (without offset) as the hash when the hashing function is unknown.
Still work in progress to implment all the required functions, and then adpat any user to thechange in types.
2021-09-20 15:44:14 +02:00
.cargo Proper VGA driver, just missing print! / println! support. 2019-10-06 17:16:19 +02:00
.idea Rust Update, clean up MMappedMemory 2021-09-20 14:45:40 +02:00
aes-t-tables Change the implementation of various traites to ensure test_single is low overhead 2021-07-21 17:29:02 +02:00
basic_timing_cache_channel Rust Update, clean up MMappedMemory 2021-09-20 14:45:40 +02:00
cache_side_channel Change the implementation of various traites to ensure test_single is low overhead 2021-07-21 17:29:02 +02:00
cache_utils Start work on a Cache Slicing type that fallsback gracefully, for cache attack purposes. 2021-09-20 15:44:14 +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 Update, clean up MMappedMemory 2021-09-20 14:45:40 +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 Rust Update, clean up MMappedMemory 2021-09-20 14:45:40 +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