diff options
| author | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-03-01 16:43:59 -0800 |
|---|---|---|
| committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-03-01 16:46:08 -0800 |
| commit | 5e29b5ccff5958ce4e8ddfd9feefdb6d562843f9 (patch) | |
| tree | 32d1708f7fab5c2d3c592600cc8eddc9a2ca3920 /pk/pk.h | |
| parent | dea1fa15f2712b7f6540c41832322c813591315f (diff) | |
| download | pk-5e29b5ccff5958ce4e8ddfd9feefdb6d562843f9.zip pk-5e29b5ccff5958ce4e8ddfd9feefdb6d562843f9.tar.gz pk-5e29b5ccff5958ce4e8ddfd9feefdb6d562843f9.tar.bz2 | |
Use RV configuration string instead of device tree
Diffstat (limited to 'pk/pk.h')
| -rw-r--r-- | pk/pk.h | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -74,6 +74,7 @@ void handle_fault_store(trapframe_t*); void prepare_supervisor_mode(); void boot_loader(struct mainvars*); void run_loaded_program(struct mainvars*); +void parse_config_string(); void boot_other_hart(); typedef struct { |