aboutsummaryrefslogtreecommitdiff
path: root/configure.ac
AgeCommit message (Collapse)AuthorFilesLines
2018-03-21Fix build with compilers defaulting to PIE (#90)aurel321-1/+1
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.
2018-03-16Changed install_subdir to $host_alias with substituted 64->32 instead… (#89)Rishi Khan1-2/+2
* 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.
2018-03-15Don't link build-id stringAndrew Waterman1-0/+2
Closes #88
2017-11-03Remove the platform interfacePalmer Dabbelt1-7/+1
We now automatically detect everything that the platform interface used to be used for, so it's now obsolete!
2017-08-03Add the '--enable-print-device-tree' argumentPalmer Dabbelt1-0/+5
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.
2017-08-02Add the '--with-platform' argument and the sifive-vc707-devkit platformPalmer Dabbelt1-0/+6
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.
2017-08-02Add a platform interfacePalmer Dabbelt1-1/+1
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.
2017-02-20Don't block for acks on console writesAndrew Waterman1-0/+2
2016-07-16Support 32bit build (#27)Prashanth Mundkur1-3/+32
* Support configuration for a 32-bit build. * Regenerate configure.
2016-07-08Remove vestigial configure search for riscv-isa-run/spikeAndrew Waterman1-1/+0
2016-03-09Refactor pk, bbl, machine into separate librariesAndrew Waterman1-1/+1
Yuck.
2015-05-10Fix build using glibc toolchainAndrew Waterman1-1/+1
2015-03-12Update to new privileged specAndrew Waterman1-2/+3
2015-01-02Don't automatically set --hostAndrew Waterman1-2/+0
2014-10-26Don't rely on the C libraryAndrew Waterman1-1/+0
2014-09-11Don't assume null pointers can't be dereferencedAndrew Waterman1-1/+1
This option breaks vm_init's access to word 0 to obtain the memory capacity.
2014-09-11Disable pedantic warning under gcc 4.9.1Andrew Waterman1-1/+1
2013-07-01Fixed -lgcc bug in configure.ac (needed for -m32)Christopher Celio1-2/+1
2013-05-23use string.h functions in newlib (-lc)Andrew Waterman1-0/+1
2013-01-25rename binary to pk; change argv handlingAndrew Waterman1-1/+1
the new fesvr approach makes argv[0] = pk, rather than user program's name
2012-09-07Added rough emulation support for div/rem/mul.Christopher Celio1-1/+1
2011-06-19configure argument --host=riscv is now impliedcs250Andrew Waterman1-0/+2
2011-06-19temporary undoing of renamingAndrew Waterman1-0/+103
2011-06-19Renamed packagesAndrew Waterman1-103/+0
2011-03-24[pk] 32bit kernel + FPU emulation now compilesAndrew Waterman1-0/+1
2010-11-21[opcodes, pk, sim, xcc] made jumps shorter and PC-relativeAndrew Waterman1-1/+1
2010-10-15[pk, sim] added FPU emulation support to proxy kernelAndrew Waterman1-1/+1
2010-08-18[pk,fesvr] improved proxykernel build systemAndrew Waterman1-0/+102
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.