59 lines
1.0 KiB
C
59 lines
1.0 KiB
C
#include <stdio.h>
|
|
|
|
#include <aos/aos.h>
|
|
#include <aos/capabilities.h>
|
|
#include <aos/ram_alloc.h>
|
|
#include <aos/aos_rpc.h>
|
|
#include <mm/mm.h>
|
|
#include <grading.h>
|
|
#include <spawn/spawn.h>
|
|
|
|
#include <test_helper.h>
|
|
#include <test_mm.h>
|
|
#include <test_paging.h>
|
|
#include <test_spawn.h>
|
|
#include <test_ipc.h>
|
|
#include <test_fs.h>
|
|
#include <test_threads.h>
|
|
#include <test_stackoverflow.h>
|
|
|
|
extern coreid_t my_core_id;
|
|
|
|
void
|
|
grading_setup_bsp_init(int argc, char **argv) {
|
|
debug_printf("grading_setup_bsp_init(argc=%d)\n", argc);
|
|
}
|
|
|
|
void
|
|
grading_setup_app_init(struct bootinfo * bi) {
|
|
debug_printf("grading_setup_app_init(bi=%p)\n", bi);
|
|
}
|
|
|
|
void
|
|
grading_setup_noninit(int *argc, char ***argv) {
|
|
}
|
|
|
|
void
|
|
grading_test_mm(struct mm *test) {
|
|
testmm = test;
|
|
|
|
// do_test_mm();
|
|
// do_test_paging();
|
|
}
|
|
|
|
void
|
|
grading_test_early(void) {
|
|
// do_test_spawn();
|
|
// do_test_ipc();
|
|
// do_test_threads();
|
|
// do_test_stackoverflow();
|
|
}
|
|
|
|
void
|
|
grading_test_late(void) {
|
|
if (my_core_id == 0) {
|
|
do_test_spawn();
|
|
do_test_fs();
|
|
}
|
|
}
|