diff options
Diffstat (limited to 'build/src/drivers')
| -rw-r--r-- | build/src/drivers/plic.o | bin | 19664 -> 0 bytes |
| -rw-r--r-- | build/src/drivers/uart.o | bin | 86768 -> 0 bytes |
| -rw-r--r-- | build/src/drivers/virtio_dist.o | bin | 104488 -> 0 bytes |
3 files changed, 0 insertions, 0 deletions
diff --git a/build/src/drivers/plic.o b/build/src/drivers/plic.o Binary files differdeleted file mode 100644 index a41ab0f..0000000 --- a/build/src/drivers/plic.o +++ /dev/null diff --git a/build/src/drivers/uart.o b/build/src/drivers/uart.o Binary files differdeleted file mode 100644 index d50439d..0000000 --- a/build/src/drivers/uart.o +++ /dev/null diff --git a/build/src/drivers/virtio_dist.o b/build/src/drivers/virtio_dist.o Binary files differdeleted file mode 100644 index 594b0e7..0000000 --- a/build/src/drivers/virtio_dist.o +++ /dev/null |