Anonymous user
Ada Bare Bones: Difference between revisions
→Raspberry Pi
| [unchecked revision] | [unchecked revision] |
No edit summary |
|||
Line 790:
The config.txt file can contain aline "kernel=<name>" where you can name the kernel image anything you like.
Ideally for development we would use an emulator or some kind of netbooting facility so we don't have to keep switching the SD Card from the Pi to the PC and vice versa, this would get tedious really fast.
===Toolchain===
Then GNAT is built, it automatically builds:
# The compiler
# The runtime
# The tools (gnatmake, gnatlink, gnatls, etc.).
Unfortunately, the toolchain cannot be built for bare machine targets straight out of the box like a C compiler can be. A number of files need to be modified:
====gcc/ada/adaint.c====
====gcc/ada/adaint.h====
====gcc/ada/gcc-interface/Makefile.in====
====gcc/ada/gsocket.h====
====gcc/ada/mlib-tgt-specific-bare.adb====
Can we get rid of this?
====gcc/ada/s-oscons-tmplt.c====
====gcc/ada/system-bare-armel.ads====
====gnattools/configure[.ac]====
===U-Boot===
By following the information starting on the [http://kernelnomicon.org/?p=92 FreeBSD] porting page, we can build u-boot for RPi.
<source lang="bash">
git clone git://github.com/gonzoua/u-boot-pi.git
cd u-boot-pi
make rpi_b_config
</source>
==Testing==
| |||