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/
176 Commits 1 Branch 0 Tags 32 MiB
Rust 76.3%
Python 12.4%
Julia 7.3%
Shell 3.2%
Awk 0.8%
78c4018a04
Go to file
Guillume DIDIER 78c4018a04 Document issues around number of handles per page / cache line 
The two channel used to have different invariants. Currently the enforcement of any limitation of handle per page or handle per cache line has been removed, hence document this issue in the code.
2021-07-19 09:17:09 +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 Document issues around number of handles per page / cache line 2021-07-19 09:17:09 +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 Update the cache channel interface 2021-06-28 16:26:02 +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