Config.uk: Change newlib dependency to musl

Signed-off-by: Darius-Andrei Jipa <jipad16@yahoo.com>
Reviewed-by: Eduard Vintilă <eduard.vintila47@gmail.com>
Reviewed-by: Stefan Jumarea <stefanjumarea02@gmail.com>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #7

patches: Remove outdated patch

The patch was:
* Replacing the lua `main` symbol with `lua_main`.
* Removing checking that the given argument was a script, instead
  checking if there is an initrd filesystem present and trying to
  execute it.

The `main` symbol is already replaced in the preprocessing stage by
adding `-Dmain=lua_main` in the `Makefile.uk` flags, so renaming it is
not needed.

Trying to execute the initrd without properly extracting it will
obviously fail, since `lua` will not be able to read the script properly.
This will result in an `malformed number near '0707010..'` error.

The check for initrd is not needed at all, since the fs driver is
transparent for the application, and the script can be accessed as an
usual file, regardless of the fs driver (initrd, 9pfs, etc.).

Signed-off-by: Stefan Jumarea <stefanjumarea02@gmail.com>
Reviewed-by: Eduard Vintilă <eduard.vintila47@gmail.com>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #8

lua/Makefile.uk: Bump version to 5.4.4

Tested under x86_64, runs in `linuxu` and `kvm` using the Lua app in the
`app-lua` repository.

Signed-off-by: Jalil David Salamé Messina <jalil.salame@tum.de>
Reviewed-by: Razvan Deaconescu <razvan.deaconescu@cs.pub.ro>
Approved-by: Razvan Deaconescu <razvan.deaconescu@cs.pub.ro>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #4

lua/Makefile.uk: Bump to Lua version 5.4.3

Signed-off-by: Fredrik Bakken <Fredrik.Bakken@gmail.com>
Reviewed-by: Mocanu Gabriel <gabi.mocanu98@gmail.com>
Approved-by: Razvan Deaconescu <razvan.deaconescu@cs.pub.ro>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Pull-Request: #2

liblua: Include signal dependency

Signed-off-by: Sharan Santhanam <sharan.santhanam@neclab.eu>
Reviewed-by: Alexander Jung <a.jung@lancs.ac.uk>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Pull-Request: #1

Fix broken behaviour when given append parameter.

This patch makes it so that Lua now goes straight into interactive
mode when not given initrd as a parameter; previosuly it was assuming
that the --append parameter was a file name to be read and executed,
which was broken.

Signed-off-by: Felipe Huici <felipe.huici@neclab.eu>
Reviewed-by: Simon Kuenzer <simon.kuenzer@neclab.eu>

Prevent make from deleting archive headers.

Add a PRECIOUS target to make sure that make does not treat archive
headers as intermediate and ends up deleting them.

Signed-off-by: Felipe Huici
Reviewed-by: Roxana Nicolescu <nicolescu.roxana1996@gmail.com>

Add optional main()

We add a menu option to provide a main() function, and set it to on by
default so that in the standard case a user can choose a platform,
compile and run.

Signed-off-by: Felipe Huici <felipe.huici@neclab.eu>
Reviewed-by: Roxana Nicolescu <nicolescu.roxana1996@gmail.com>

Fix typo in Makefile.uk

Change CPPINCLUDES to CXXINCLUDES

Signed-off-by: Felipe Huici <felipe.huici@neclab.eu>
Reviewed-by: Roxana Nicolescu <nicolescu.roxana1996@gmail.com>

Add dependencies to Config.uk

Select newlib, uktime and ukunistd as hard dependencies.

Signed-off-by: Felipe Huici <felipe.huici@neclab.eu>
Reviewed-by: Roxana Nicolescu <nicolescu.roxana1996@gmail.com>

Remove exportsyms.uk .

We may re-introduce it at some later point in time if needed.

Signed-off-by: Felipe Huici <felipe.huici@neclab.eu>
Reviewed-by: Roxana Nicolescu <nicolescu.roxana1996@gmail.com>

Export symbols

Export lua symbols

Signed-off-by: Felipe Huici <felipe.huici@neclab.eu>
Reviewed-by: Jia He <justin.he@arm.com>

Add patches directory

Patch to rename main function and to add initrd support to main loop.

Signed-off-by: Felipe Huici <felipe.huici@neclab.eu>
Reviewed-by: Jia He <justin.he@arm.com>

Add Makefile.uk

Add lua port Makefile.uk

Signed-off-by: Felipe Huici <felipe.huici@neclab.eu>
Reviewed-by: Jia He <justin.he@arm.com>

Introduce library skeleton

We use the BSD-3-Clause license for this library glue code.

Signed-off-by: Felipe Huici <felipe.huici@neclab.eu>
Reviewed-by: Jia He <justin.he@arm.com>

Initial commit (empty)