]> xenbits.xensource.com Git - mini-os.git/commit
projects / mini-os.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b08019f) | patch
Mini-OS: link kernel separately
authorJuergen Gross <jgross@suse.com>
Mon, 27 Nov 2023 10:24:52 +0000 (11:24 +0100)
committerJulien Grall <jgrall@amazon.com>
Mon, 4 Dec 2023 16:52:57 +0000 (16:52 +0000)
commit939c1b886ee2242ef4b88d2e50907424606f4780
tree5ea18beadb49089ab79b1ecf0d13fe42d829a691tree
parentb08019f0b2fbc30c75169a160acb9fd9af5d68f4commit | diff
Mini-OS: link kernel separately

Add an additional link step with linking all Mini-OS kernel binaries
into a single object file.

This is done in preparation of hiding Mini-OS internal symbols before
linking the kernel with libraries and an application.

Signed-off-by: Juergen Gross <jgross@suse.com>
Reviewed-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Makefile diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.