11 #include "include/options.h"
14 extern void Interrupts_Setup(void);
15 extern void Arch_LoadBootModules(void);
16 extern void Heap_Install(void);
17 extern void Threads_Init(void);
18 extern void System_Init(const char *Commandline);
19 extern void Time_Setup(void);
20 extern void Debug_int_SerialIRQHandler(int IRQ, void *unused);
24 Uint32 ARMv7_int_HandleSyscalls(Uint32 Num, Uint32 *Args);
29 LogF("Acess2 ARMv7 v"EXPAND_STR(KERNEL_VERSION)"\n");
30 LogF(" Git Hash %s\n", gsGitHash);
31 LogF(" Build %i\n", BUILD_NUM);
35 LogF("Heap Setup...\n");
38 LogF("Threads Init...\n");
41 LogF("VFS Init...\n");
45 // - most ARMv7 configs use a GIC
46 Module_EnsureLoaded("armv7_GIC");
47 IRQ_AddHandler(UART0_IRQ, Debug_int_SerialIRQHandler, NULL);
52 LogF("Moving to arch-independent init\n");
53 #if PLATFORM_is_tegra2
54 System_Init("Acess2.armv7.bin /Acess=initrd: -VTerm:Video=Tegra2Vid");
56 System_Init("Acess2.armv7.bin /Acess=initrd: -VTerm:Video=PL110");
58 // System_Init("Acess2.armv7.bin /Acess=initrd:");
60 LogF("End of kmain(), for(;;) Threads_Sleep();\n");
65 void Arch_LoadBootModules(void)
69 Uint32 ARMv7_int_HandleSyscalls(Uint32 Num, Uint32 *Args)
71 Uint32 ret = -1, err = 0;
73 ENTER("iNum xArgs[0] xArgs[1] xArgs[2] xArgs[3]",
74 Num, Args[0], Args[1], Args[2], Args[3]
79 // Log_Debug("ARMv7", "__clear_cache(%p, %p)", Args[0], Args[1]);
82 Args[1] += 0xFFF; Args[1] &= ~0xFFF;
84 for( addr = Args[0]; addr < Args[1]; addr += 0x1000 )
86 LOG("addr = %p", addr);
87 __asm__ __volatile__ (
88 "mcrlt p15, 0, %0, c7, c5, 1;\n\t"
89 "mcrlt p15, 0, %0, c7, c6, 1;\n\t"
97 Args[0] = ret; // RetLow
99 Args[2] = err; // Errno