src/arm/PL1/kernel/demo_functionality.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

#ifndef DEMO_FUNCTIONALITY_H
#define DEMO_FUNCTIONALITY_H

void demo_paging_support(void);

void demo_current_mode(void);

//void demo_setup_libkernel(void);

void demo_setup_PL0(void);

//void demo_go_unprivileged(void);

//void demo_setup_interrupts(void);

#endif // DEMO_FUNCTIONALITY_H