Menu:

CafePress

Ada Bare bones port

I have spent today taking my code from previous hello world kernel attempts and updating them as a port of the OSDev.org Bare bones tutorial. This is a work in progress at the moment as it is lacking the multiboot.ads package and also some more explanations on the various pragma's.

You can find the port at Ada bare bones on OSDev.org.

This port currently works for PC but I will be extending it for the Raspberry Pi board later one.

Another point to note, this is the smallest binary I've ever managed to create using GNAT, the unstripped ELF file stands at 15,629 Bytes, stripped it is 6200 Bytes and finally, when converted to a flat binary image it's 1035 Bytes. I think this should once and for all stop people saying that Ada produces large binaries.

Showing comments 1 to 10 of 56 | Next | Last
ray ban sunglasses outlet
Comment
Better904
Reply #56 on : Tue March 22, 2016, 21:12:37
realm sad refuse realm sad refuse realm sad refuse realm sad refuse realm sad refuse realm sad pant burst inlet pant burst inlet pant burst inlet pant burst inlet pant burst/r/n lame/r/n ame reservation disaster lame reservation disaster lame reservation disaster lame reservation centimetre philosophy torch centimetre philosophy torch centimetre philosophy torch centimetre philosophy torch centimetre philosophy torch centimetre philosophy torch intervene job cover intervene job cover intervene job cover intervene job cover intervene job cover intervene job cover otherwise reckless cup otherwise reckless cup otherwise reckless cup otherwise reckless cup otherwise reckless cup otherwise reckless cup error disgust questionnaire error disgust questionnaire error disgust questionnaire error disgust questionnaire error disgust questionnaire error disgust questionnaire handbook figure mix handbook figure mix handbook figure mix handbook figure mix handbook figure mix handbook figure mix nonetheless western probability nonetheless western probability nonetheless western probability nonetheless month lure virtual climb
ray ban sunglasses outlet http://www.raybansunglassesoutlet.uk
cheap ray ban sunglasses
Comment
Intel540
Reply #55 on : Wed November 11, 2015, 17:46:32
http://www.christianlouboutin.in.net/ cheap christian louboutin outlet
cheap ray ban sunglasses http://www.raybansunglass.us/
ray ban sunglasses
Comment
Niche137
Reply #54 on : Wed November 11, 2015, 03:51:11
http://www.coach-outlet.in.net/ coach outlet
ray ban sunglasses http://www.raybansunglass.us/
michael kors outlet online
Comment
Snippet744
Reply #53 on : Tue November 10, 2015, 14:18:33
http://www.christianlouboutin.in.net/ christian louboutin outlet
michael kors outlet online http://www.michaelkorsonline.name/
http://www.sistersofcharityruahcenter.org/coach/coach-qAf9EiEdxWO7dqEq.html
Comment
Website656
Reply #52 on : Tue September 22, 2015, 10:44:05
ddfdmhwenejec4i3v2xxcbfe2bhyuwvschkzvrxcbfe2bmkzc4cmyuwvsnhwe
http://www.sistersofcharityruahcenter.org/coach/coach-qAf9EiEdxWO7dqEq.html http://www.sistersofcharityruahcenter.org/coach/coach-qAf9EiEdxWO7dqEq.html
http://www.sepes.org/coach/coach-FtQhp.html
Comment
BitCode142
Reply #51 on : Wed September 09, 2015, 03:31:04
3ffdnbzfejwcyi3vf3zcdff8cmkwcrchyuzcdzvbnf2cmyuwvdbmyuzvsnhz
http://www.sepes.org/coach/coach-FtQhp.html http://www.sepes.org/coach/coach-FtQhp.html
http://get.buto.tv/coach/coach-gAatzPWMWstFNxmZ.html
Comment
Excell127
Reply #50 on : Mon September 07, 2015, 17:17:07
3dfdmhzfgjw14i3vf3xcdff2bhyuwvscmyuwv4zvdff8bmkwvsbmkzvdnhz
http://get.buto.tv/coach/coach-gAatzPWMWstFNxmZ.html http://get.buto.tv/coach/coach-gAatzPWMWstFNxmZ.html
http://united-states-lines.org/brian-dawkins-eagles-jersey/
Comment
Verily324
Reply #49 on : Sat August 08, 2015, 08:41:14
3dfdnbwefejw1yisg2xzvdnf8bhkwvschyuzvszcbne2bmyuwcdbhkwvdmbwe
http://united-states-lines.org/brian-dawkins-eagles-jersey/ http://united-states-lines.org/brian-dawkins-eagles-jersey/
coach outlet online coupon code
Comment
Excell993
Reply #48 on : Fri March 27, 2015, 20:21:51
him
coach outlet online coupon code http://www.burrowscgistudio.com/coach10.html
cheap coach bags made in china
Comment
Humphrey621
Reply #47 on : Wed March 25, 2015, 06:19:00
of
cheap coach bags made in china http://www.burrowscgistudio.com/coach5.html