configure.ac: use = instead of == to check for equality (#157)

== is not specified by POSIX and will fail if a POSIX shell is called
which is done by the configure script.

Related to: https://github.com/void-linux/void-packages/issues/10949

Revert "Don't require a RISC-V libc and crt when configuring (#132)" (#140)

This reverts commit a02257a861a4d13f31868a27c197cfc5576101e1.

Don't require a RISC-V libc and crt when configuring (#132)

Properly license all nontrivial files

Replace the --enable-32bit option by --with-arch

Get rid of the --enable-32bit option and switch to use --with-arch,
which is more standard because it matches the GCC build.

If --with-arch is not specified, it defaults to whatever the
compiler's default is.

The --with-abi is not necessary for this project.
Unconditionally compile it with a no-float ABI.

Fix build with compilers defaulting to PIE (#90)

Debian toolchain defaults to PIE, and I guess that will also be the case
of most distributions. This cause bbl to be non-functional.

This patch fixes that by adding -fno-PIE in the default CFLAGS.

Changed install_subdir to $host_alias with substituted 64->32 instead… (#89)

* Changed install_subdir to $host_alias with substituted 64->32 instead of hardcoded riscv[32|64]-unknown-elf

* Updated readme to reflect changes in install_subdir.

Don't link build-id string

Closes #88

Remove the platform interface

We now automatically detect everything that the platform interface used
to be used for, so it's now obsolete!

Add the '--enable-print-device-tree' argument

I'm trying to debug some device tree problems while booting Linux and
figured it would be really nice to have access to the device tree while
trying to debug these problems. I think this might be useful for lots
of people, so I went ahead and cleaned up the code enough that it should
actaully work in most cases.

Add the '--with-platform' argument and the sifive-vc707-devkit platform

Since we don't have a coherent platform specification right now, we've
ended up with slightly different platforms between spike and our FPGA
dev kit. For now I've added an autoconf option that allows users to
select the relevant platform.

Add a platform interface

SiFive's pk fork is the second one I've had to maintain, and it's a huge
pain because people keep just leaving changes all over the tree. I want
to introduce an interface that the platform-specific details can live
behind so I don't have to keep doing these painful merges.

Don't block for acks on console writes

Support 32bit build (#27)

* Support configuration for a 32-bit build.

* Regenerate configure.

Remove vestigial configure search for riscv-isa-run/spike

Refactor pk, bbl, machine into separate libraries

Yuck.

Fix build using glibc toolchain

Update to new privileged spec

Don't automatically set --host

Don't rely on the C library

Don't assume null pointers can't be dereferenced

This option breaks vm_init's access to word 0 to obtain the memory capacity.

Disable pedantic warning under gcc 4.9.1

Fixed -lgcc bug in configure.ac (needed for -m32)

use string.h functions in newlib (-lc)

rename binary to pk; change argv handling

the new fesvr approach makes argv[0] = pk, rather than user program's name

Added rough emulation support for div/rem/mul.

configure argument --host=riscv is now implied

temporary undoing of renaming

Renamed packages

[pk] 32bit kernel + FPU emulation now compiles

[opcodes, pk, sim, xcc] made jumps shorter and PC-relative

[pk, sim] added FPU emulation support to proxy kernel

[pk,fesvr] improved proxykernel build system

Now uses a modified MCPPBS. Add --host=riscv to configure path.

Front-end server now just searches PATH for riscv-pk, so just install the pk
to somewhere in your path.