zephyr/drivers/timer
Allan Stephens 5189844df5 Eliminate VxMicro branding in kernel code
Eliminates references to the obsolete OS name. In most cases the
name is simply removed, as it isn't necessary.

Change-Id: I32f9e7390e436aec008a9454b72657e129d65152
Signed-off-by: Allan Stephens <allan.stephens@windriver.com>
2016-02-05 20:14:15 -05:00
..
Kconfig Kconfig: remove DRV_ configs 2016-02-05 20:14:11 -05:00
Makefile Use ccflags-y and asflags-y instead of EXTRA_CFLAGS 2016-02-05 20:14:14 -05:00
i8253.c Eliminate VxMicro branding in kernel code 2016-02-05 20:14:15 -05:00