mirror of
https://github.com/drasko/codezero.git
synced 2026-01-12 02:43:15 +01:00
7a81db8782
Added setting of utcb address to l4_thread_control. This is going to be moved to exchange_registers() since we need to pass both the utcb physical and virtual address and exregs fits such context modification better than thread_control.
24 lines
379 B
C
24 lines
379 B
C
/*
|
|
* Container entry point for this task
|
|
*
|
|
* Copyright (C) 2007-2009 Bahadir Bilgehan Balban
|
|
*/
|
|
#include <posix/posix_init.h>
|
|
#include <l4lib/init.h>
|
|
#include <l4lib/utcb.h>
|
|
|
|
void main(void);
|
|
|
|
void __container_init(void)
|
|
{
|
|
/* Generic L4 thread initialisation */
|
|
__l4_init();
|
|
|
|
/* FS0 posix-service initialisation */
|
|
posix_service_init();
|
|
|
|
/* Entry to main */
|
|
main();
|
|
}
|
|
|