diff options
Diffstat (limited to 'util-linux/freeramdisk.c')
| -rw-r--r-- | util-linux/freeramdisk.c | 30 |
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" |