diff options
| author | Robert Norton | 2018-05-17 17:26:16 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-05-17 17:29:37 +0100 |
| commit | 2c5bbd6f7fbfdf32bafab50e36a1bebcd7cd8dab (patch) | |
| tree | d1da5c12d566d80a230520ca5bbbc88710e27fa5 /lib/hol | |
| parent | 1867ec89a4493ca6ce92c8926885c4090b6d3d5d (diff) | |
changes to for testing FreeBSD boot on MIPS: allowing loading raw file in ocaml main so that we can have simboot + kernel. Support UART output only.
Diffstat (limited to 'lib/hol')
0 files changed, 0 insertions, 0 deletions