issues
search
GaloisInc
/
BESSPIN-CloudGFE
The AWS cloud deployment of the BESSPIN GFE platform.
Apache License 2.0
2
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
security model of images and snapshot state
#23
kiniry
closed
4 years ago
1
state snapshots of images for bring-up/down
#22
kiniry
closed
4 years ago
6
synchronize smoketests across CloudGFE and GFE
#21
kiniry
closed
4 years ago
6
FreeBSD smoketests
#20
kiniry
opened
4 years ago
7
Linux smoketests
#19
kiniry
opened
4 years ago
4
FreeRTOS smoketests
#18
kiniry
closed
4 years ago
7
FreeBSD devices
#17
kiniry
closed
4 years ago
9
Linux devices
#16
kiniry
opened
4 years ago
6
FreeRTOS devices
#15
kiniry
closed
4 years ago
4
FETT Researcher documentation
#14
kiniry
closed
4 years ago
1
FETT developer documentation
#13
kiniry
closed
4 years ago
1
TA-1 documentation
#12
kiniry
closed
4 years ago
6
tear-down a specified instance
#11
kiniry
closed
4 years ago
0
spin-up a specified instance
#10
kiniry
closed
4 years ago
0
ensure all performers have AWS accounts
#9
kiniry
closed
4 years ago
7
bootstrap on current state of MIT work
#8
kiniry
closed
4 years ago
6
bi-directional UART block for BSV-based SoCs
#7
lolsborn
closed
4 years ago
7
reset support over PCIE
#6
lolsborn
closed
4 years ago
15
virtual JTAG / OpenOCD Support for BSV-based SoCs
#5
lolsborn
opened
4 years ago
14
load program into DRAM for BSV-based SoCs
#4
lolsborn
closed
4 years ago
16
wire up DDR in F1 to an IP block for BSV-based SoCs
#3
lolsborn
closed
4 years ago
7
integrate Ethernet IP strategy
#2
lolsborn
closed
4 years ago
5
block device support for BSV-based SoCs
#1
lolsborn
closed
4 years ago
18
Previous