You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
17 lines
446 B
17 lines
446 B
9 months ago
|
//! This example checks if memory protection keys (MPK) are available on the
|
||
|
|
//! current system using the
|
||
|
|
//! [`PoolingAllocationConfig::are_memory_protection_keys_available`] API.
|
||
|
|
|
||
|
|
use std::process::exit;
|
||
|
|
use wasmtime::*;
|
||
|
|
|
||
|
|
fn main() {
|
||
|
|
if PoolingAllocationConfig::are_memory_protection_keys_available() {
|
||
|
|
eprintln!("MPK is available");
|
||
|
|
exit(0);
|
||
|
|
} else {
|
||
|
|
eprintln!("MPK is not available");
|
||
|
|
exit(1);
|
||
|
|
}
|
||
|
|
}
|