aboutsummaryrefslogtreecommitdiff
path: root/util-linux/freeramdisk.c
diff options
context:
space:
mode:
Diffstat (limited to 'util-linux/freeramdisk.c')
-rw-r--r--util-linux/freeramdisk.c30
1 files changed, 30 insertions, 0 deletions
diff --git a/util-linux/freeramdisk.c b/util-linux/freeramdisk.c
index a89ae1a39..8bc2c443b 100644
--- a/util-linux/freeramdisk.c
+++ b/util-linux/freeramdisk.c
@@ -8,6 +8,36 @@
*
* Licensed under GPLv2, see file LICENSE in this source tree.
*/
+//config:config FDFLUSH
+//config: bool "fdflush"
+//config: default y
+//config: select PLATFORM_LINUX
+//config: help
+//config: fdflush is only needed when changing media on slightly-broken
+//config: removable media drives. It is used to make Linux believe that a
+//config: hardware disk-change switch has been actuated, which causes Linux to
+//config: forget anything it has cached from the previous media. If you have
+//config: such a slightly-broken drive, you will need to run fdflush every time
+//config: you change a disk. Most people have working hardware and can safely
+//config: leave this disabled.
+//config:
+//config:config FREERAMDISK
+//config: bool "freeramdisk"
+//config: default y
+//config: select PLATFORM_LINUX
+//config: help
+//config: Linux allows you to create ramdisks. This utility allows you to
+//config: delete them and completely free all memory that was used for the
+//config: ramdisk. For example, if you boot Linux into a ramdisk and later
+//config: pivot_root, you may want to free the memory that is allocated to the
+//config: ramdisk. If you have no use for freeing memory from a ramdisk, leave
+//config: this disabled.
+
+//applet:IF_FDFLUSH(APPLET_ODDNAME(fdflush, freeramdisk, BB_DIR_BIN, BB_SUID_DROP, fdflush))
+//applet:IF_FREERAMDISK(APPLET(freeramdisk, BB_DIR_SBIN, BB_SUID_DROP))
+
+//kbuild:lib-$(CONFIG_FDFLUSH) += freeramdisk.o
+//kbuild:lib-$(CONFIG_FREERAMDISK) += freeramdisk.o
//usage:#define freeramdisk_trivial_usage
//usage: "DEVICE"