#include <bsp.h>
#include <bsp/bootcard.h>
#include <page_table.h>
These routines return control to 167Bug after a normal exit from the application.