]> xenbits.xensource.com Git - people/pauldu/mini-os.git/commit
mini-os: enable compiler check for printk format types
authorThomas Leonard <talex5@gmail.com>
Wed, 17 Jun 2015 10:08:20 +0000 (11:08 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 25 Jun 2015 10:42:00 +0000 (11:42 +0100)
commit1855e8b2e884a16fd9afd2b3d72fc7552bbf406d
tree131b42cb0ba4bcaecaa9c128431d070a711f96cf
parentedfd5aae6ec5ba7d0a8834a3e9dfe5e69424150a
mini-os: enable compiler check for printk format types

Signed-off-by: Thomas Leonard <talex5@gmail.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
14 files changed:
arch/x86/mm.c
arch/x86/sched.c
arch/x86/traps.c
blkfront.c
include/console.h
lib/sys.c
lwip-arch.c
minios.mk
mm.c
netfront.c
sched.c
test.c
tpm_tis.c
xenbus/xenbus.c