aboutsummaryrefslogtreecommitdiff
path: root/configure
AgeCommit message (Collapse)AuthorFilesLines
2023-01-05Regenerated the configure file with autoconf 2.71 (#288)Kenneth Ostby1-1262/+2101
Regenerated the configure file using autoconf 2.71 to avoid the Syntax error problem when running on OSX/AArch64.
2022-04-20Link -lgcc if it existsLucheng Zhang1-14/+128
2020-10-31Disable device tree filter when load a dts from file (#219)Yan1-1/+28
* add device tree in elf, using --with-dts to add the absolute path of device tree * Disable device tree filter * Remove *.dtb dependence, when the --with-dts option is not used
2020-10-30Revert "Disable device tree filter when load a dts from file (#217)"Andrew Waterman1-25/+1
This reverts commit a161e6f3ef31004e47a5b94b85c2e84b764f8637. Resolves #218
2020-10-29Disable device tree filter when load a dts from file (#217)Yan1-1/+25
* add device tree in elf, using --with-dts to add the absolute path of device tree * Disable device tree filter
2020-02-02Support manually zeroing out BSS when booting (#188)James Clarke1-0/+15
Some ELF loaders, in particular gdb's load command for dynamically loading files into memory, which is often used to load binaries onto FPGAs over JTAG, do not zero out BSS, leaving the memory in whatever state it was previously in. Thus, introduce a new --enable-zero-bss configure flag, which will include code to zero out BSS when booting.
2019-12-09Added --with-abi configure option (#183)Nick Knight1-0/+11
* Added --with-abi configure option * Revised to preserve original semantics when user specifies --with-arch but not --with-abi or when the user specifies --with-arch but not --host.
2019-08-14Mark PK as version 1.0.0v1.0.0Palmer Dabbelt1-25/+13
Why not? Signed-off-by: Palmer Dabbelt <palmer@dabbelt.com>
2019-06-11configure: Add option to set physical memory start addressGabriel L. Somlo1-0/+18
For systems where physical memory is mapped to a start address different from 0x80000000, allow the default to be overridden using the --with-mem-start argument to the configure script. Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>
2019-01-15Revert "Don't require a RISC-V libc and crt when configuring (#132)" (#140)Andrew Waterman1-1/+0
This reverts commit a02257a861a4d13f31868a27c197cfc5576101e1.
2019-01-04Don't require a RISC-V libc and crt when configuring (#132)James Clarke1-0/+1
2018-07-12configure: Add --enable-boot-machine in BBLHesham Almatary1-0/+15
If --enable-boot-machine is passed, BBL disables VM and runs the payload in machine mode. This is useful for payloads (e.g. RTOSes or other OSes) that want to run only in machine mode while still relying on bbl/pk for system calls and emulation
2018-07-10Don't look for riscv_logo.txt if logo is not enabledAndrew Waterman1-3/+13
2018-06-21Replace the --enable-32bit option by --with-archZong Li1-26/+11
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.
2018-05-22RISC-V: Support separate firmware and kernel payloadMichael Clark1-3/+12
Support for separate firmware and kernel payload is added by updating BBL to read optional preloaded kernel address attributes from device-tree using a similar mechanism to that used to pass init ramdisk addresses to linux kernel. chosen { riscv,kernel-start = <0x00000000 0x80200000>; riscv,kernel-end = <0x00000000 0x80590634>; }; These attributes are added by QEMU and read by BBL when combining -bios <firmware-image> and -kernel <kernel-image> options. e.g. $ qemu-system-riscv64 -machine virt -bios bbl -kernel vmlinux With this change, bbl can be compiled without --with-payload and the dummy payload alignment is altered to make the memory footprint of the firmware-only bbl smaller. The dummy payload message is updated to indicate the alternative load method. This load method could also be supported by a first stage boot loader that reads seperate firmware and kernel from SPI flash. The main advantage of this new mechanism is that it eases kernel development by avoiding the riscv-pk packaging step after kernel builds, makes building per repository artefacts for CI simpler, and mimics bootloaders on other platforms that can load a kernel image file directly. Ultimately BBL should use an SPI driver to load the kernel image however this mechanism supports use cases such such as QEMU's -bios, -kernel and -initrd options following examples from other platforms that pass kernel entry to firmware via device-tree. Cc: Palmer Dabbelt <palmer@sifive.com> Cc: Alistair Francis <Alistair.Francis@wdc.com> Signed-off-by: Michael Clark <mjc@sifive.com>
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/+3
* 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-03Allow users to pick a logoPalmer Dabbelt1-0/+14
2017-11-03Remove the platform interfacePalmer Dabbelt1-60/+0
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/+16
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/+14
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-0/+46
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-3/+201
2016-07-16Support 32bit build (#27)Prashanth Mundkur1-4/+40
* Support configuration for a 32-bit build. * Regenerate configure.
2016-07-08Remove vestigial configure search for riscv-isa-run/spikeAndrew Waterman1-120/+1
2016-03-09Refactor pk, bbl, machine into separate librariesAndrew Waterman1-11/+212
Yuck.
2016-02-19Remove --disable-atomics flag; rely on -march setting insteadAndrew Waterman1-15/+0
2015-05-10Fix build using glibc toolchainAndrew Waterman1-1/+1
2015-05-02Add ASCII art boot logoAndrew Waterman1-0/+14
It's only printed when booting the Linux kernel. Feel free to improve the quality of the ASCII art. It looks like this when rendered: vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv vvvvvvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvv rrrrrrrrrrrrr vvvvvvvvvvvvvvvvvvvvvv rr vvvvvvvvvvvvvvvvvvvvvv rr vvvvvvvvvvvvvvvvvvvvvvvv rr rrrr vvvvvvvvvvvvvvvvvvvvvvvvvv rrrr rrrrrr vvvvvvvvvvvvvvvvvvvvvv rrrrrr rrrrrrrr vvvvvvvvvvvvvvvvvv rrrrrrrr rrrrrrrrrr vvvvvvvvvvvvvv rrrrrrrrrr rrrrrrrrrrrr vvvvvvvvvv rrrrrrrrrrrr rrrrrrrrrrrrrr vvvvvv rrrrrrrrrrrrrr rrrrrrrrrrrrrrrr vv rrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrrrrrr rrrrrrrrrrrrrrrrrrrrrr INSTRUCTION SETS WANT TO BE FREE
2015-03-12Update to new privileged specAndrew Waterman1-94/+3
2015-01-02Don't automatically set --hostAndrew Waterman1-107/+106
2014-10-26Don't rely on the C libraryAndrew Waterman1-2/+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-3/+1
2013-05-23use string.h functions in newlib (-lc)Andrew Waterman1-0/+2
2013-05-22properly search for the new isa simulator (spike)Stephen Twigg1-2/+2
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-11-17fix spinlocks; add --disable-atomics cfg optAndrew Waterman1-0/+15
2012-09-07Added rough emulation support for div/rem/mul.Christopher Celio1-259/+382
2011-06-19configure argument --host=riscv is now impliedcs250Andrew Waterman1-0/+6
2011-06-19temporary undoing of renamingAndrew Waterman1-0/+5380
2011-06-19Renamed packagesAndrew Waterman1-5380/+0
2011-04-09[xcc,pk,sim,opcodes] added first RVC instructionAndrew Waterman1-37/+0
2011-03-24[pk] 32bit kernel + FPU emulation now compilesAndrew Waterman1-0/+2
2011-01-10[pk] added --disable-fp-emulation option for code sizeAndrew Waterman1-0/+15
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-0/+92
2010-08-24[pk] proxy kernel support for mixed 32b/64b operationAndrew Waterman1-0/+51