aboutsummaryrefslogtreecommitdiff
path: root/pk
AgeCommit message (Expand)AuthorFilesLines
2019-03-24Fix build with newer newlibAndrew Waterman2-2/+3
2019-02-28Stub out madvise syscall (#145)Luís Marques2-0/+2
2019-01-04Implement clock_gettime syscall (#139)Luís Marques1-1/+10
2019-01-04Page-align the writable data sectionAndrew Waterman1-1/+2
2019-01-04Clean up linker scripts a bitAndrew Waterman1-4/+1
2018-08-06Add some exception handling functions to s-mode to handle exception return fr...wxjstz1-0/+28
2018-07-09Properly license all nontrivial filesAndrew Waterman7-0/+14
2018-04-24Enable FPU in PK, regardless of FPU presenceAndrew Waterman1-1/+1
2018-02-01Bump the Linux version PK claims to supportAndrew Waterman1-1/+1
2017-12-12Bump encoding.hAndrew Waterman1-1/+1
2017-11-03Remove the platform interfacePalmer Dabbelt2-1/+1
2017-11-02Detect harts that can't boot Linux instead of hard-coding themPalmer Dabbelt1-0/+1
2017-10-19Order __page_alloc before writing vmrsAndrew Waterman1-2/+6
2017-08-29Stub out sys_prlimit64Andrew Waterman2-0/+2
2017-08-02Add a platform interfacePalmer Dabbelt1-0/+1
2017-04-18Increase PK stack size to 3% of memory, up to 8 MiBAndrew Waterman1-1/+1
2017-03-27Separate page faults from physical memory access exceptionsAndrew Waterman1-3/+3
2017-03-23pk: does not use dtbWesley W. Terpstra1-1/+1
2017-03-22SBI: a0+a1 hold hartid+dtb pointer between boot loader stagesfdtWesley W. Terpstra1-3/+3
2017-03-21Allow PK access to user memoryAndrew Waterman1-0/+1
2017-02-22Fix PK bootAndrew Waterman1-3/+6
2017-02-20Don't block for acks on console writesAndrew Waterman3-8/+9
2017-02-17WIP towards ECALL interface for SBIAndrew Waterman2-2/+1
2017-02-15Cleanly separate HTIF code; don't poll keyboard on timer interruptAndrew Waterman1-2/+2
2016-12-06avoid non-standard predefined macrosAndrew Waterman4-4/+4
2016-11-13Add ability to hard-code an initial environmentAndrew Waterman1-2/+18
2016-11-13For RV32, mmap offset is in 4 KiB incrementsAndrew Waterman1-2/+6
2016-11-13Cap pk memory size to 2 GiB for RV32Andrew Waterman1-0/+5
2016-11-13Fix ld.so load address at 4 KiBAndrew Waterman1-6/+10
2016-11-13Add syscall stubs to get through libpthread initializersAndrew Waterman2-0/+4
2016-11-02Acquire write permissions before zeroing page in ELF loaderAndrew Waterman2-2/+6
2016-09-21make sure pages for ELF sections have correct protection (#40)Howard Mao2-2/+20
2016-09-09Add -p flag to pk to disable demand pagingAndrew Waterman3-3/+7
2016-08-16add htif section in linker script, with ALIGNs to prevent MMIO and data from ...Sagar Karandikar1-0/+10
2016-08-10when -s is passed, print time, instret, cycle, and CPIAndrew Waterman3-6/+19
2016-08-09Disallow execution of RVC binaries on non-RVC pkAndrew Waterman2-0/+6
2016-07-29Align pk trap_entry for RVCAndrew Waterman1-0/+1
2016-07-12zero-extend RV32 physical addresses for HTIFAndrew Waterman2-2/+2
2016-07-12Remove uarch countersAndrew Waterman4-51/+0
2016-07-06Udpate to new PTE formatAndrew Waterman1-27/+11
2016-04-30Move DRAM to high addressesAndrew Waterman6-41/+40
2016-04-20pk: proxy chdir syscall to fesvrGarret Kelly1-0/+6
2016-04-06Don't assume existence of uarch countersAndrew Waterman4-50/+46
2016-04-06Use panic, not die, to terminate elf loaderAndrew Waterman1-1/+2
2016-03-09Refactor pk, bbl, machine into separate librariesAndrew Waterman39-4076/+213
2016-03-05Fix ifdef guard on FCSR instructionsAndrew Waterman1-1/+1
2016-03-05get rid of struct mainvarsAndrew Waterman4-30/+33
2016-03-05Disentangle PK and BBL a bitAndrew Waterman21-218/+226
2016-03-04Begin refactoring emulation codeAndrew Waterman12-720/+771
2016-03-03Don't request KB interrupt til first call to sbi_console_getcharAndrew Waterman3-9/+6