40 lines
587 B
C
40 lines
587 B
C
#include <stdarg.h>
|
|
#include <stdio.h>
|
|
|
|
#include <aos/aos.h>
|
|
#include <aos/sys_debug.h>
|
|
#include <grading.h>
|
|
|
|
|
|
void grading_rpc_handle_number(uintptr_t val)
|
|
{
|
|
}
|
|
|
|
void grading_rpc_handler_string(const char* string)
|
|
{
|
|
}
|
|
|
|
void grading_rpc_handler_serial_getchar(void)
|
|
{
|
|
}
|
|
|
|
void grading_rpc_handler_serial_putchar(char c)
|
|
{
|
|
}
|
|
|
|
void grading_rpc_handler_ram_cap(size_t bytes, size_t alignment)
|
|
{
|
|
}
|
|
|
|
void grading_rpc_handler_process_spawn(char* cmdline, coreid_t core)
|
|
{
|
|
}
|
|
|
|
void grading_rpc_handler_process_get_name(domainid_t pid)
|
|
{
|
|
}
|
|
|
|
void grading_rpc_handler_process_get_all_pids(void)
|
|
{
|
|
}
|