Re: [UNIKRAFT PATCH, v2, 12/15] lib/ukring: Provide KConfig menu option for microlibrary

[Costin Lupu <costin.lupu@xxxxxxxxx>]

Hi Alexander,

This commit can be squashed (i.e. git squash) into patch 14/15 because
it's part of registering to Unikraft.

Please see inline.

On 7/21/20 6:39 PM, Alexander Jung wrote:
> This commit introduces Config.uk.
> 
> Signed-off-by: Alexander Jung <alexander.jung@xxxxxxxxx>
> ---
>  lib/ukring/Config.uk | 7 +++++++
>  1 file changed, 7 insertions(+)
>  create mode 100644 lib/ukring/Config.uk
> 
> diff --git a/lib/ukring/Config.uk b/lib/ukring/Config.uk
> new file mode 100644
> index 0000000..9d16224
> --- /dev/null
> +++ b/lib/ukring/Config.uk
> @@ -0,0 +1,7 @@
> +menuconfig LIBUKRING
> +  bool "ukring: Simple ring buffer interface"

I think we can get rid of 'Simple'. :)

> +  select LIBUKALLOC
> +  select LIBUKLOCK
> +  default n
> +  help
> +    Provide simple ring interface for handling object references.
>