void __L4_Init( void )
{
L4_KernelInterfacePage_t *kip;
kip = L4_KernelInterface( NULL, NULL, NULL );
#define KIP_RELOC(a) ((L4_Word_t)kip + a)
__L4_Ipc = (__L4_Ipc_t) KIP_RELOC(kip->Ipc);
__L4_Lipc = (__L4_Lipc_t) KIP_RELOC(kip->Lipc);
__L4_Unmap = (__L4_Unmap_t) KIP_RELOC(kip->Unmap);
__L4_Schedule = (__L4_Schedule_t) KIP_RELOC(kip->Schedule);
__L4_ThreadSwitch = (__L4_ThreadSwitch_t) KIP_RELOC(kip->ThreadSwitch);
__L4_SystemClock = (__L4_SystemClock_t) KIP_RELOC(kip->SystemClock);
__L4_ExchangeRegisters = (__L4_ExchangeRegisters_t) KIP_RELOC(kip->ExchangeRegisters);
__L4_ThreadControl = (__L4_ThreadControl_t) KIP_RELOC(kip->ThreadControl);
__L4_SpaceControl = (__L4_SpaceControl_t) KIP_RELOC(kip->SpaceControl);
__L4_ProcessorControl = (__L4_ProcessorControl_t) KIP_RELOC(kip->ProcessorControl );
__L4_MemoryControl = (__L4_MemoryControl_t) KIP_RELOC(kip->MemoryControl);
if (kip->ArchSyscall0)
__L4_RtasCall = (__L4_RtasCall_t) KIP_RELOC(kip->ArchSyscall0);
#undef KIP_RELOC
}
void __L4_Init( void )
{
L4_KernelInterfacePage_t *kip;
kip = L4_KernelInterface( NULL, NULL, NULL );
__L4_Ipc = (__L4_Ipc_t) (kip->Ipc);
__L4_Lipc = (__L4_Lipc_t) (kip->Lipc);
__L4_Unmap = (__L4_Unmap_t) (kip->Unmap);
__L4_Schedule = (__L4_Schedule_t) (kip->Schedule);
__L4_ThreadSwitch = (__L4_ThreadSwitch_t) (kip->ThreadSwitch);
__L4_ExchangeRegisters = (__L4_ExchangeRegisters_t) (kip->ExchangeRegisters);
__L4_ThreadControl = (__L4_ThreadControl_t) (kip->ThreadControl);
__L4_SpaceControl = (__L4_SpaceControl_t) (kip->SpaceControl);
__L4_ProcessorControl = (__L4_ProcessorControl_t) (kip->ProcessorControl );
__L4_MemoryControl = (__L4_MemoryControl_t) (kip->MemoryControl);
}
void __LibL4_Init(void)
{
L4_Word_t dummy;
L4_KernelInterfacePage_t * kip = (L4_KernelInterfacePage_t*)
L4_KernelInterface(&dummy, &dummy, &dummy);
SET_SYSCALL(SpaceControl);
SET_SYSCALL(ThreadControl);
SET_SYSCALL(ProcessorControl);
SET_SYSCALL(MemoryControl);
SET_SYSCALL(Ipc);
SET_SYSCALL(Lipc);
SET_SYSCALL(Unmap);
SET_SYSCALL(ExchangeRegisters);
SET_SYSCALL(SystemClock);
SET_SYSCALL(ThreadSwitch);
SET_SYSCALL(Schedule);
}
void
freevms_main(void)
{
char *command_line;
# define ROOT_DEVICE_LENGTH 80
char root_device[ROOT_DEVICE_LENGTH];
# define CONSOLE_DEVICE_LENGTH 80
char console_device[CONSOLE_DEVICE_LENGTH];
L4_BootRec_t *boot_record;
L4_KernelInterfacePage_t *kip;
L4_ProcDesc_t *main_proc_desc;
L4_ThreadId_t root_tid;
L4_ThreadId_t s0_tid;
L4_Word_t api_flags;
L4_Word_t boot_info;
L4_Word_t i;
L4_Word_t kernel_id;
L4_Word_t kernel_interface;
L4_Word_t num_boot_info_entries;
L4_Word_t num_processors;
L4_Word_t page_bits;
L4_Word_t pagesize;
struct vms$meminfo mem_info;
vms$pd_initialized = 0;
notice("\n");
notice(">>> FreeVMS %s (R)\n", FREEVMS_VERSION);
notice("\n");
kip = (L4_KernelInterfacePage_t *) L4_KernelInterface(&kernel_interface,
&api_flags, &kernel_id);
notice(SYSBOOT_I_SYSBOOT "leaving kernel privileges\n");
notice(SYSBOOT_I_SYSBOOT "launching FreeVMS kernel with executive "
"privileges\n");
root_tid = L4_Myself();
s0_tid = L4_GlobalId(kip->ThreadInfo.X.UserBase, 1);
notice(SYSBOOT_I_SYSBOOT "booting main processor\n");
for(page_bits = 0; !((1 << page_bits) & L4_PageSizeMask(kip)); page_bits++);
pagesize = (((vms$pointer) 1) << page_bits);
notice(SYSBOOT_I_SYSBOOT "computing page size: %d bytes\n",
(int) pagesize);
num_processors = L4_NumProcessors((void *) kip);
switch(num_processors - 1)
{
case 0:
break;
case 1:
notice(SYSBOOT_I_SYSBOOT "booting %d secondary processor\n",
(int) (num_processors - 1));
break;
default:
notice(SYSBOOT_I_SYSBOOT "booting %d secondary processors\n",
(int) (num_processors - 1));
break;
}
for(i = 0; i < num_processors; i++)
{
main_proc_desc = L4_ProcDesc((void *) kip, i);
notice(SYSBOOT_I_SYSBOOT "CPU%d EXTFREQ=%d MHz, INTFREQ=%d MHz\n",
(int) i, (int) (main_proc_desc->X.ExternalFreq / 1000),
(int) (main_proc_desc->X.InternalFreq / 1000));
}
L4_Sigma0_GetPage(L4_nilthread, L4_Fpage(L4_BootInfo(kip), pagesize));
boot_info = L4_BootInfo((void *) kip);
num_boot_info_entries = L4_BootInfo_Entries((void *) boot_info);
boot_record = L4_BootInfo_FirstEntry((void *) boot_info);
for(i = 2; i < num_boot_info_entries; i++)
{
PANIC(L4_BootRec_Type(boot_record) != L4_BootInfo_SimpleExec);
command_line = L4_SimpleExec_Cmdline(boot_record);
if ((strstr(command_line, "vmskernel.sys") != NULL) && (i == 3))
{
break;
}
boot_record = L4_BootRec_Next(boot_record);
}
PANIC(L4_BootRec_Type(boot_record) != L4_BootInfo_SimpleExec);
command_line = L4_SimpleExec_Cmdline(boot_record);
notice(SYSBOOT_I_SYSBOOT "parsing command line: %s\n", command_line);
sys$parsing(command_line, (char *) "root", root_device,
ROOT_DEVICE_LENGTH);
notice(SYSBOOT_I_SYSBOOT "selecting root device: %s\n", root_device);
sys$parsing(command_line, (char *) "console", console_device,
CONSOLE_DEVICE_LENGTH);
notice(SYSBOOT_I_SYSBOOT "selecting console device: %s\n", console_device);
dbg$virtual_memory = (strstr(command_line, " dbg$virtual_memory") != NULL)
? 1 : 0;
dbg$sys_pagefault = (strstr(command_line, " dbg$sys_pagefault") != NULL)
? 1 : 0;
dbg$vms_pagefault = (strstr(command_line, " dbg$vms_pagefault") != NULL)
? 1 : 0;
// Starting virtual memory subsystem
sys$mem_init(kip, &mem_info, pagesize);
sys$bootstrap(&mem_info, pagesize);
sys$objtable_init();
sys$utcb_init(kip);
sys$pd_init(&mem_info);
sys$thread_init(kip);
sys$populate_init_objects(&mem_info, pagesize);
dev$init();
names$init();
sys$pager(kip, &mem_info, pagesize, root_device);
sys$init(kip, &mem_info, pagesize, root_device);
sys$loop();
notice(">>> System halted\n");
return;
}
