X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/35719fdd2ff27177690edb32843d32e092a006e3..5658d2ec9c1081516a8868259fa867926e25ab3f:/kernel/fiasco/src/kern/arm/bsp/s3c/Kconfig

diff --git a/kernel/fiasco/src/kern/arm/bsp/s3c/Kconfig b/kernel/fiasco/src/kern/arm/bsp/s3c/Kconfig
index 7ae57fcaf..3e777f3fa 100644
--- a/kernel/fiasco/src/kern/arm/bsp/s3c/Kconfig
+++ b/kernel/fiasco/src/kern/arm/bsp/s3c/Kconfig
@@ -1,4 +1,4 @@
 # PF: S3C2410
 # PFDESCR: Samsung S3C2410 Platform
 # PFDEPENDS: ARM
-# PFCAN: CAN_ARM_CPU_920T
+# PFSELECT: CAN_ARM_CPU_920T