diff options
| author | Danny Milosavljevic <dannym@scratchpost.org> | 2020-11-30 22:31:00 +0100 |
|---|---|---|
| committer | Danny Milosavljevic <dannym@scratchpost.org> | 2020-11-30 22:31:38 +0100 |
| commit | ad01213837a3eeb4c3eb8954dcc35ab9c4c2c3b7 (patch) | |
| tree | 554205dd4299d05fa7d4f1cd7dce811ea20bca9c /gnu | |
| parent | 4f318f7403ced45be5ae34c3f44c158b480072ea (diff) | |
gnu: Add fiano-fmap.
* gnu/packages/admin.scm (fiano-fmap): New variable.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/admin.scm | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gnu/packages/admin.scm b/gnu/packages/admin.scm index d8d6dcaead..e595ad3702 100644 --- a/gnu/packages/admin.scm +++ b/gnu/packages/admin.scm @@ -4259,3 +4259,11 @@ disk utilization, priority, username, state, and exit code.") (arguments `(#:import-path "github.com/linuxboot/fiano/cmds/utk" #:unpack-path "github.com/linuxboot/fiano")))) + +(define-public fiano-fmap + (package + (inherit fiano) + (name "fiano-fmap") + (arguments + `(#:import-path "github.com/linuxboot/fiano/cmds/fmap" + #:unpack-path "github.com/linuxboot/fiano")))) |