New partition API: part_resize

This can be used to enlarge or shrink an existing partition.
This commit is contained in:
Nikos Skalkotos
2017-07-29 20:51:04 +03:00
committed by Pino Toscano
parent b934614057
commit c355b744bf
4 changed files with 55 additions and 1 deletions

View File

@@ -484,6 +484,7 @@ let proc_nr = [
474, "internal_yara_scan";
475, "file_architecture";
476, "list_filesystems";
477, "part_resize";
]
(* End of list. If adding a new entry, add it at the end of the list