OSDev.org

Hi,

I am currently writing my kernel in C, and compiling it with i686-elf toolchain, and until now I used to create "exhaustive object files list" in my makefile, like this :


It was working very well, despite the fact that I found it really dirty.
So today I decided to replace this list with wildcards, like this :



The problem I encounter is that when bootstrp.o (which contains _start) is not the first file in the argument list of ld, my kernel does not start because the instructions at 0x1000 are not from bootstrp.o.

Here is the code of bootstrp.asm :


And here is an extract of the disassembly of kernel.bin :


_start is located at 0x1740...

I don't know what I am doing wrong here, can somebody help me ?

Thanks by advance,
Ankeraout.

Not an expert on the tools, but..

Did you read the barebones tutorial? Specifically http://wiki.osdev.org/Bare_Bones#Linking_the_Kernel?

I'm guessing the wildcard expansion is sorting the files in alphabetical order, and that that's the order they're being packed into the output file, which could put your entry point further into the file.

You need a linker script to put your objects in the right order.

onlyonemac is right about default make sorting of the object file list not matching the order you expect.

open for yourself linker scripts.
put there something like this

I had to create my own script, but now it works !
Thank you all !

Note that if you put a function above _start() in bootstrp.c that _start() will no longer be the first function in the executable...

just mentioning it cause that gave me a couple hours consternation...

IIRC you should be able to arrange layout down to function level, look in LD scripts section for exact syntax.

Yah.. true... Just mentioned because of his script...

^ that was just a quick example. But I can't imagine why one would need to put his/her start function NOT at the top of his/her start file. Why? For the life to not look that easy? xD

There's no direct correspondence between the top of C source and where it ends up in the object file. You may have it at the top of your source. It may end up being the last function in the .o after some other functions.

right. except the file in question was from an assembly file.

That doesn't matter too much. You could declare multiple functions in asm file as well.

If you put functions A, B, C in your assembly in that order, they remain in the same order in the output file. Linker won't reorder functions inside input sections. It operates on sections as units. Merging them into output sections. It doesn't change symbol positions inside a section. I don't remember anything about linker scripts where one could shuffle functions inside a section. Nor linker does so. Unless it is some weird link time optimization which I am not aware of.

Thanks, but are you just trying to maintain discussion or want to get at something? I wrote linkers and have an idea how they work, thank you very much.