Certificates

Author	grave@ipno.in2p3.fr
Branch	org.os-lovelace
Changelog	* first compilation of a 64 bits lovelace - kernel doesn't boot, grub complains about multiboot header not found need to investigate multiboot specifiaction deeper
Date	2010-06-06T19:51:15

Revision Details

Oldrevision	Old revision is: [cd268c48..] (diff)
Addfile	Add file: asm/loader-64.s Add file: ld-scripts/linker-64.ld Add file: src/arch_32.ads Add file: src/arch_64.ads
Patch	Patch file GNUmakefile (diff) Patch file lovelace.gpr (diff) Patch file old_src/lovelace-stage1-memory-paging.adb (diff) Patch file old_src/lovelace-stage1-memory.ads (diff) Patch file patches/runtime_base_patch (diff) Patch file runtime_kernel/GNUmakefile (diff) Patch file src/kernel.adb (diff) Patch file src/lovelace-stage1-console.adb (diff) Patch file src/lovelace-stage1.ads (diff) Patch file src/lovelace.ads (diff)