Path: csiph.com!news.swapon.de!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!news.misty.com!news.iecc.com!.POSTED.news.iecc.com!nerds-end
From: "lpsantil@gmail.com" <lpsantil@gmail.com>
Newsgroups: comp.compilers
Subject: Re: Advice on C libraries
Date: Tue, 24 Nov 2015 15:53:03 -0800 (PST)
Organization: Compilers Central
Lines: 8
Sender: news@iecc.com
Approved: comp.compilers@iecc.com
Message-ID: <15-11-004@comp.compilers>
References: <15-10-005@comp.compilers>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Injection-Info: miucha.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="17091"; mail-complaints-to="abuse@iecc.com"
Keywords: library
Posted-Date: 27 Nov 2015 11:15:35 EST
X-submission-address: compilers@iecc.com
X-moderator-address: compilers-request@iecc.com
X-FAQ-and-archives: http://compilers.iecc.com
Xref: csiph.com comp.compilers:1646

There's also newlib libc [0] that RedHat built specifically for
embedding.  There's also a porting tutorial at the OSDev wiki [1].
OSDev wiki also lists PDclib.

[0] https://sourceware.org/newlib/
[1] http://wiki.osdev.org/Porting_Newlib
[2] http://pdclib.e43.eu/