upsampled

I think the first step to accomplish this is either: * define a device tree (dts) for the mini-rv32ima * make platform specific binding for the mini-rv32ima in OpenSBI The...

@ElectroBoy404NotFound as long as @cnlohr doesn't mind the chatter, feel free to share your notes here.

I'll see if I have time for a deeper dive later this month, but to start out: @cnlohr emulates a 8250 UART, The output buffer address is `0x10000000` and input...

nevermind this is already made https://github.com/cnlohr/mini-rv32ima/blob/master/mini-rv32ima/sixtyfourmb.dts

I think the `WithCustomWsClient` is a worth while feature. Unix Sockets may be a bit exotic but this would also allow for WebSockets to be proxied to HTTP3 Web Transport...

I get the same error. Loading from 8080 is triggering an error when trying to _script.js. 8081 is just a redirect. Terminal Output: ``` Unzipping assets... 2019/02/18 15:09:20 Listening on...

Looks like that found it ``` cannot find package "github.com/dave/dropper" in any of: /usr/local/go/src/github.com/dave/dropper (from $GOROOT) /mnt/c/Users/liamk/Projects/godir/src/github.com/dave/dropper (from $GOPATH) exit status 1 ``` I probably just needed to have Modules...

I ran `go get github.com/dave/dropper` and `go get -u github.com/dave/play` , then reinitialized (`go generate` step) and it is running locally now

Ok I have hacked together the first step of the Redirect: ```go type Logout struct { SP *samlsp.Middleware } func (l *Logout) ServeHTTP(w http.ResponseWriter, r *http.Request) { // THIS IS...

Ok I have gotten rid of the hack I used to get the session ID and got comfirmation that this is performing a good logout (the IDP is still keeping...