//----------------------------------------------------------------------------------------------------//
// @func - xilkernel_main
//! @desc
//! Entry point of the kernel
//! @return
//! - Nothing.
//! @note
//! - Routine does not return. (Caller does not get back control)
//----------------------------------------------------------------------------------------------------//
void xilkernel_main(void)
{
DBG_PRINT("XMK: Starting kernel.\r\n");
xilkernel_init ();
xilkernel_start ();
}
int main (void) {
print("-- Entering main() uB1 SENDER--\r\n");
xilkernel_init();
xmk_add_static_thread(main_prog,0);
xilkernel_start();
//Start Xilkernel
xilkernel_main ();
//Control does not reach here
}
int main()
{
init_platform();
/* Initialize xilkernel */
xilkernel_init();
/* add a thread to be launched once xilkernel starts */
xmk_add_static_thread(sort_main, 0);
/* start xilkernel - does not return control */
xilkernel_start();
/* Never reached */
cleanup_platform();
return 0;
}