pintos-rs/rust, branch main
[no description]
move rust "libc" to separate crate and link with that instead
2020-11-24T14:08:20+00:00
Gustav Sörnäs
gustav@sornas.net
2020-11-24T14:08:20+00:00
eba74d74502641a4565dc6011db33742e8450680
minor
2020-11-24T00:33:41+00:00
Gustav Sörnäs
gustav@sornas.net
2020-11-24T00:33:41+00:00
5d05dc8aba6dc9d78211c79418f71e2c6c38fab1
also remove libpintos.a
2020-11-23T23:46:39+00:00
Gustav Sörnäs
gustav@sornas.net
2020-11-23T23:46:39+00:00
0f45ab11bd271535f178b58aab1ae9c36474d995
add rust release target, compile and copy libpintos
2020-11-23T23:41:57+00:00
Gustav Sörnäs
gustav@sornas.net
2020-11-23T23:41:57+00:00
c57b3079ef115ebf3a5fa25acdae043b31948ef3
update Makefile.userprog
2020-11-23T14:00:14+00:00
Gustav Sörnäs
gustav@sornas.net
2020-11-23T14:00:14+00:00
30c54113477b08c7650194a16cf7a63a7cdd142f
userprog makefile
2020-11-23T13:52:17+00:00
Gustav Sörnäs
gustav@sornas.net
2020-11-23T13:52:17+00:00
20eb8b73f7914c86812eda4b3b14ee2d0cd5a826