L4Re Operating System Framework
Interface and Usage Documentation
|
#include <l4/cxx/static_vector>
Go to the source code of this file.
Data Structures | |
class | L4::Kip::Mem_desc |
Memory descriptors stored in the kernel interface page. More... | |
Namespaces | |
namespace | L4 |
L4 low-level kernel interface. | |
L4::Kip class, memory descriptors.
Definition in file kip.