Certificates

Author	grave@ipno.in2p3.fr
Branch	org.os-lovelace
Changelog	* build with gnat-4.4 OK - lovelace.elf produced - pb with grub to generate fd.img => need to use grub-pc to generate new floppy image
Date	2010-05-24T19:55:46

Revision Details

Oldrevision	Old revision is: [58cb6f08..] (diff)
Delete	Delete: patches/sinit_adb_patch
Rename	Rename patches to debian/patches
Adddir	Add directory: debian
Addfile	Add file: copyright Add file: src/boards/x86/asm.h Add file: src/boards/x86/memcpy.S Add file: src/boards/x86/memmove.S
Patch	Patch file GNUmakefile (diff) Patch file README (diff) Patch file config/GNUmakefile.mk (diff) Patch file config/boards/qemu_x86.mk (diff) Patch file debian/patches/runtime_base_patch (diff) Patch file debian/patches/series (diff) Patch file lovelace.gpr (diff) Patch file runtime_kernel/GNUmakefile (diff) Patch file src/boards/qemu_x86/bootstrap_common.adb (diff) Patch file src/boards/qemu_x86/lovelace-stage1-interrupts.adb (diff) Patch file src/boards/qemu_x86/lovelace-stage1-interrupts.ads (diff) Patch file src/boards/x86/lovelace-stage1-memory-paging.adb (diff) Patch file src/boards/x86/multiboot.adb (diff) Patch file src/core/lovelace-cpu_context.ads (diff) Patch file src/core/lovelace-signals.adb (diff) Patch file src/core/lovelace-signals.ads (diff) Patch file src/core/lovelace-stage1-memory-generic_allocation.adb (diff) Patch file src/core/lovelace-tasking-threads.adb (diff) Patch file src/core/lovelace-tasking-threads.ads (diff) Patch file src/core/lovelace-time.adb (diff) Patch file src/core/lovelace-time.ads (diff)