Ada Bare Bones: Difference between revisions

From OSDev.wiki
Jump to navigation Jump to search
[unchecked revision][unchecked revision]
Content added Content deleted
 
Line 6: Line 6:


==Preface==
==Preface==

One of the first things people ask on the Ada IRC channel on Freenode is "Can Ada be used for OS development?" to which the answer is a resounding '''yes'''. But there are 2 problems:

# The people asking this question are new to Ada, and
# GNAT is not the easiest compiler to build.

Therefore these users don't understand what it takes to get the compiler into a useable state.

As you may have seen from other bare bones tutorials on this site, they state that you must have a compiler built which can handle [[ELF]] files, the usual way is by building GCC which targets i386-elf or some other similar architecture. The problem here is that GNAT will not build for these targets out of the box without messing with it's makefile.


==GNAT and the Ada runtime system (RTS)==
==GNAT and the Ada runtime system (RTS)==

Revision as of 12:27, 13 June 2012

Difficulty level

Medium
Kernel Designs
Models
Other Concepts

In this tutorial we will compile a simple Ada kernel and boot it.

WAIT! Have you read Getting Started, Beginner Mistakes, and some of the related OS theory?

Preface

One of the first things people ask on the Ada IRC channel on Freenode is "Can Ada be used for OS development?" to which the answer is a resounding yes. But there are 2 problems:

  1. The people asking this question are new to Ada, and
  2. GNAT is not the easiest compiler to build.

Therefore these users don't understand what it takes to get the compiler into a useable state.

As you may have seen from other bare bones tutorials on this site, they state that you must have a compiler built which can handle ELF files, the usual way is by building GCC which targets i386-elf or some other similar architecture. The problem here is that GNAT will not build for these targets out of the box without messing with it's makefile.

GNAT and the Ada runtime system (RTS)

Configuring the RTS

Files

startup.s

multiboot.ads

vga_console.ads and vga_console.adb

kernel.adb

linker.ld