You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
11 lines
206 B
C
11 lines
206 B
C
4 years ago
|
#include <iostream>
|
||
|
#include <fstream>
|
||
|
#include <sstream>
|
||
|
#include <memory>
|
||
|
#include <sysinfo.h>
|
||
|
#include <shell.h>
|
||
|
|
||
|
void check_vt_support();
|
||
|
bool check_iommu();
|
||
|
void enable_iommu();
|
||
|
void configure_iommu();
|