Go to file
2021-11-24 17:20:04 +01: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 Fix deprecation warning 2021-10-13 14:08:57 +02:00
basic_timing_cache_channel Add the current experiments 2021-11-10 15:12:01 +01: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 Refactor ip_tool into cache_utils, start work on cache level calibration 2021-11-24 17:20:04 +01:00
covert_channels_benchmark Fix compile issues 2021-10-13 14:40:41 +02:00
covert_channels_evaluation Finish the function placement module (IP tool) 2021-10-20 13:57:57 +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 Refactor ip_tool into cache_utils, start work on cache level calibration 2021-11-24 17:20:04 +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 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 Stub the interface to create functions. 2021-10-19 16:17:44 +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

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