Submission for Project: IDL Writer / Verification

[Rishik-Y]

Description:

Implement a Physical Memory Protection (PMP) check according to Chapter 3.7 of the RISC-V privleged manual. The program is written in Rust.

Submission Details

Directory: submissions/mohit/

Files:

* `pmp_checker.rs`: rust program for PMP check.
* `pmp_configuration.txt`: Example configuration file.
* `Cargo.toml`: Dependencies file
* `Instructions_to_run.txt`: Detailed Instruction on how to run and command usage

Usage:

To compile a Rust program, run the following command:

   `pmp_checker --config <CONFIG> --address <ADDRESS> --mode <MODE> --operation <OPERATION>`