Bruce Leidl 77b5a6a60b rename linux-citadel to citadel-kernel		2018-02-03 17:54:51 -05:00
..
files	rename linux-citadel to citadel-kernel	2018-02-03 17:54:51 -05:00
citadel-kernel_4.9.65.bb	rename linux-citadel to citadel-kernel	2018-02-03 17:54:51 -05:00
citadel-kernel.inc	rename linux-citadel to citadel-kernel	2018-02-03 17:54:51 -05:00