coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
libgcc Directory Reference
Directory dependency graph for libgcc:
src/arch/arm/libgcc

Files

file  libgcc.h [code]
 
file  udivmoddi4.c [code]
 
file  umoddi3.c [code]