unikraft / app-redis

Redis on Unikraft
5 stars 12 forks source link

Update Redis app directory #20

Closed razvand closed 11 months ago

razvand commented 1 year ago

Rework the contents of the Redis app directory to make it more suitable for users (prime tool is KraftKit) and for developers (prime tools are Make, Kconfig, QEMU / Firecracker).

Move and output files in dedicated directories to keep the root directory clean: kraft.yaml, README.md, Makefile, Makefile.uk are the only files in the dedicated directories.

Update README.md according to the new structure.

Improve support for KraftKit: documentation, run scriipts, testing.

razvand commented 1 year ago

Do we only provide basic config files? (i.e. not the pie-paging etc. ones)

I will add all of them from the maintainer-tools repository.

Would it make sense to keep the config naming convention kraft uses (config.appname-arch...)?

My thought was to simplify the names as much as possible. But if more people think we should use config.appname-..., then I will update accordingly. Cc: @skuenzer , @nderjung , @andreittr